Výsledky vyhľadávania - "Java memory model"

Verification of Causality Requirements in Java Memory Model Is Undecidable

Autori: Matko Botincan Paola Glavan Davor Runje

Zdroj: Lecture Notes in Computer Science ISBN: 9783642144028

Predmety: Java memory model, multithreading, verifcation

Prístupová URL adresa: http://web.math.hr/%7Emabotinc/downloads/ppam09.pdf
https://www.bib.irb.hr/456978

Verication of Causality Requirements in Java Memory Model is Undecidable

Autori: Glavan, Paola Botinčan, Matko

Predmety: Java memory model, verifcation, multithreading

Distributed Algorithms: A Case Study of the Java Memory Model

Autori: Glavan, Paola Botinčan, Matko

Predmety: Abstract state machines, Distributed algorithms, Java memory model

Prístupová URL adresa: http://ikt.hia.no/asm07/

Distributed Algorithms: A Case Study of the Java Memory Model

Autori: Botinčan, Matko Glavan, Paola Runje, Davor a ďalší

Prispievatelia: Botinčan, Matko Glavan, Paola Runje, Davor a ďalší

Predmety: Java memory model, Distributed algorithms, Abstract state machines

Prístupová URL adresa: https://www.bib.irb.hr/322235

Verified compilation of Concurrent Managed Languages

Autori: Jagannathan,Suresh Vitek,Jan Purdue University West Lafayette United States

Prispievatelia: Jagannathan,Suresh Vitek,Jan Purdue University West Lafayette United States

Predmety: Computer Programming and Software, COMPUTER PROGRAM VERIFICATION, methodology, PROGRAMMING LANGUAGES, reasoning, Program verification, compiler design, concurrency, memory models, theorem proving, garbage collection, java memory model

Popis súboru: text/html

Relation: http://www.dtic.mil/docs/citations/AD1043395

Dostupnosť: http://www.dtic.mil/docs/citations/AD1043395
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=AD1043395

Access Path Based Dataflow Analysis For Sequential And Concurrent Programs

Autori: Arnab De, *

Thesis Advisors: D'souza, Deepak

Predmety: Dataflow Analysis, Java (Computer Program Language), Concurrent Programs - Syntax and Semantics, Concurrent Programs - Dataflow Analysis, Flow-Sensitive Pointer Analysis, Null-Pointer Analysis, Sequential Programs - Syntax and Semantics, Flow-Sensitive Dataflow Analysis, Concurrent Java Programs, Sequential Programs - Dataflow Analysis, Acess Path Based Dataflow Analysis, Relaxed Memory Model, Java Memory Model, Computer Science

Relation: G25774

Dostupnosť: http://etd.iisc.ernet.in/handle/2005/2564
http://etd.ncsi.iisc.ernet.in/abstracts/3331/G25774-Abs.pdf

Model checking a cache coherence protocol for a Java DSM implementation: Model checking a cache coherence protocol of a Java DSM implementation

Autori: Jun Pang 0001 Wan J. Fokkink Rutger F. H. Hofman a ďalší

Zdroj: Proceedings International Parallel and Distributed Processing Symposium. :10

Predmety: formal specification, Model checking, SDG 16 - Peace, Specification and verification (program logics, model checking, etc.), Cache coherence protocols, Logic, Theory of programming languages, 0102 computer and information sciences, 02 engineering and technology, Java memory model, 01 natural sciences, Justice and Strong Institutions, model checking, μCRL, Theoretical Computer Science, \(\mu\)CRL, Computational Theory and Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Formal specification, cache coherence protocols, Software

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/5123665
https://doi.org/10.1016/j.jlap.2006.08.007
https://research.vu.nl/en/publications/9060872b-a2f3-41ce-a456-14588e2cdffe
https://hdl.handle.net/1871.1/9060872b-a2f3-41ce-a456-14588e2cdffe

An ASM-based Approach to Modeling Memory Models

Autori: Matko Botinčan Paola Glavan Davor Runje a ďalší

Prispievatelia: Matko Botinčan Paola Glavan Davor Runje a ďalší

Zdroj: http://www.fsb.hr/~drunje/papers/jucs-asm07.pdf.

Predmety: Key Words, Java memory model, distributed algorithms, abstract state machines Category, F.1.2, D.1.3

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.5067

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.5067
http://www.fsb.hr/~drunje/papers/jucs-asm07.pdf

Verification of Causality Requirements in Java Memory Model is Undecidable

Autori: Matko Botinčan Paola Glavan Davor Runje a ďalší

Prispievatelia: Matko Botinčan Paola Glavan Davor Runje a ďalší

Zdroj: http://web.math.hr/%7Emabotinc/downloads/ppam09.pdf.

Predmety: Java memory model, multithreading, verification

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.181.9; http://web.math.hr/%7Emabotinc/downloads/ppam09.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.181.9
http://web.math.hr/%7Emabotinc/downloads/ppam09.pdf

Distributed Algorithms: A Case Study of the Java Memory Model

Autori: Matko Botinčan Paola Glavan Davor Runje a ďalší

Prispievatelia: Matko Botinčan Paola Glavan Davor Runje a ďalší

Zdroj: http://www.fsb.hr/~drunje/papers/asm2007-mm.pdf.

Predmety: Java memory model, distributed algorithms, abstract state machines

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.135.7448

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.135.7448
http://www.fsb.hr/~drunje/papers/asm2007-mm.pdf

Formalization of the Java Memory Model

Autori: Glavan, Paola

Predmety: DASM, formalization, partial orders, complexity results for verification problem, ASM, Java memory model

Prístupová URL adresa: https://www.bib.irb.hr/402749

Модель памяти Java

Autori: Бакунова, О. М. Хмелевская, А. Л. Ефимук, Н. А. a ďalší

Predmety: публикации ученых, JVM, Java memory model, HotSpot virtual machine, garbage collector

Popis súboru: application/pdf

Relation: Модель памяти Java / О. М. Бакунова [и др.] // Web of Scholar. – 2018. – 6(24), Vol.1. – P. 29–32.; https://libeldoc.bsuir.by/handle/123456789/34287

Dostupnosť: https://libeldoc.bsuir.by/handle/123456789/34287

Access Path Based Dataflow Analysis For Sequential And Concurrent Programs

Autori: Arnab De, * D'Souza, Deepak

Prispievatelia: Arnab De, * D'Souza, Deepak

Predmety: Dataflow Analysis, Java (Computer Program Language), Concurrent Programs - Syntax and Semantics, Concurrent Programs - Dataflow Analysis, Flow-Sensitive Pointer Analysis, Null-Pointer Analysis, Sequential Programs - Syntax and Semantics, Flow-Sensitive Dataflow Analysis, Concurrent Java Programs, Sequential Programs - Dataflow Analysis, Acess Path Based Dataflow Analysis, Relaxed Memory Model, Java Memory Model, Computer Science

Popis súboru: application/pdf

Relation: G25774; https://etd.iisc.ac.in/handle/2005/2564

Dostupnosť: https://etd.iisc.ac.in/handle/2005/2564
http://etd.iisc.ac.in/static/etd/abstracts/3331/G25774-Abs.pdf

Impact of Java memory model on out-of-order multiprocessors

Autori: SHEN QINGHUA COMPUTER SCIENCE ABHIK ROYCHOUDHURY a ďalší

Prispievatelia: SHEN QINGHUA COMPUTER SCIENCE ABHIK ROYCHOUDHURY a ďalší

Predmety: Memory consistency model, Java multithreading, Java Memory Model, Shared-memory multiprocessors, Out-of-order execution, Memory barrier

Relation: https://scholarbank.nus.edu.sg/handle/10635/14107; NOT_IN_WOS

Dostupnosť: https://scholarbank.nus.edu.sg/handle/10635/14107

Cooking the Books: Formalizing JMM Implementation Recipes

Autori: Petri, Gustavo Vitek, Jan Jagannathan, Suresh

Témy: Concurrency, Java, Memory Model, Relaxed-Memory, Data processing Computer science, InProceedings, publishedVersion