Search Results - "Java Memory Model"
-
1
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783642144028
Subject Terms: Java memory model, multithreading, verifcation
Access URL: http://web.math.hr/%7Emabotinc/downloads/ppam09.pdf
https://www.bib.irb.hr/456978
https://rd.springer.com/chapter/10.1007/978-3-642-14403-5_7
https://link.springer.com/chapter/10.1007/978-3-642-14403-5_7
https://core.ac.uk/display/34008208
https://dblp.uni-trier.de/db/conf/ppam/ppam2009-2.html#BotincanGR09 -
2
-
3
-
4
Authors: et al.
Contributors: et al.
Subject Terms: Java memory model, Distributed algorithms, Abstract state machines
Access URL: https://www.bib.irb.hr/322235
-
5
Authors:
Contributors:
Subject Terms: 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
File Description: text/html
-
6
Authors: Arnab De, *
Thesis Advisors: D'souza, Deepak
Subject Terms: 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
-
7
Authors: et al.
Source: Proceedings International Parallel and Distributed Processing Symposium. :10
Subject Terms: Model checking, SDG 16 - Peace, Cache coherence protocols, Logic, 0102 computer and information sciences, 02 engineering and technology, Java memory model, 01 natural sciences, Justice and Strong Institutions, μCRL, Theoretical Computer Science, Computational Theory and Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Formal specification, Software
Access URL: https://research.vu.nl/en/publications/9060872b-a2f3-41ce-a456-14588e2cdffe
https://hdl.handle.net/1871.1/9060872b-a2f3-41ce-a456-14588e2cdffe
https://www.narcis.nl/publication/RecordID/oai%3Aresearch.vu.nl%3Apublications%2F9060872b-a2f3-41ce-a456-14588e2cdffe
https://ieeexplore.ieee.org/document/1213433/
http://satoss.uni.lu/members/jun/papers/JLAP07.pdf
https://research.vu.nl/en/publications/model -checking-a-cache-coherence-protocol-for-a-java -dsm-implemen
https://dblp.uni-trier.de/db/conf/ipps/ipdps2003.html#PangFHV03
https://www2.informatik.uni-erlangen.de/publication/download/proto_proof.pdf -
8
Authors: Lochbihler, Andreas
Source: ACM Transactions on Programming Languages and Systems, 35 (4)
Subject Terms: Languages, Theory, Data race freedom, Java memory model, Operational semantics, Type safety
Relation: info:eu-repo/semantics/altIdentifier/wos/000329182700001; http://hdl.handle.net/20.500.11850/80224
Availability: https://hdl.handle.net/20.500.11850/80224
-
9
Authors: et al.
Source: Blanchette , J C , Weber , T , Batty , M , Owens , S & Sarkar , S 2011 , Nitpicking C++ concurrency . in Proceedings of the 2011 Symposium on Prinicples and Practices of Declarative Programming (PDP'11) . PPDP'11 - Proceedings of the 2011 Symposium on Principles and Practices of Declarative Programming , ACM , New York, NY , pp. 113-123 , 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming , Odense , Denmark , 20/07/11 . https://doi.org/10.1145/2003476.2003493
Subject Terms: SAT solving, JAVA memory model, Isabelle/HOL, Higher-order logic, Concurrency, C plus plus memory model, Nitpick, Kodkod, Model finding
Relation: urn:ISBN:9781450307765
-
10
Authors: et al.
Contributors: et al.
Subject Terms: Key Words, Java memory model, distributed algorithms, abstract state machines Category, F.1.2, D.1.3
File Description: application/pdf
-
11
Authors: et al.
Contributors: et al.
Subject Terms: Java memory model, multithreading, verification
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.181.9; http://web.math.hr/%7Emabotinc/downloads/ppam09.pdf
-
12
Authors: et al.
Contributors: et al.
Subject Terms: Java memory model, distributed algorithms, abstract state machines
File Description: application/pdf
-
13
-
14
Authors: et al.
Subject Terms: публикации ученых, JVM, Java memory model, HotSpot virtual machine, garbage collector
File Description: application/pdf
Relation: Модель памяти Java / О. М. Бакунова [и др.] // Web of Scholar. – 2018. – 6(24), Vol.1. – P. 29–32.; https://libeldoc.bsuir.by/handle/123456789/34287
Availability: https://libeldoc.bsuir.by/handle/123456789/34287
-
15
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
Relation: G25774; https://etd.iisc.ac.in/handle/2005/2564
-
16
Authors: et al.
Contributors: et al.
Subject Terms: Memory consistency model, Java multithreading, Java Memory Model, Shared-memory multiprocessors, Out-of-order execution, Memory barrier
Relation: http://scholarbank.nus.edu.sg/handle/10635/14107; NOT_IN_WOS
Availability: http://scholarbank.nus.edu.sg/handle/10635/14107
-
17
Nájsť tento článok vo Web of Science 
Full Text Finder