Search Results - "Java memory"
-
1
Authors: et al.
Contributors: et al.
Source: 2023 IEEE International Conference on Data Mining Workshops (ICDMW). :1221-1230
Subject Terms: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], FOS: Computer and information sciences, AIOps Java Memory Analysis Data Mining Subgroup Discovery Subjective Interestingness, Computer Science - Artificial Intelligence, AIOps, Computer Science - Information Theory, Information Theory (cs.IT), Java Memory Analysis, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, Software Engineering (cs.SE), Computer Science - Software Engineering, Artificial Intelligence (cs.AI), 0202 electrical engineering, electronic engineering, information engineering, Data Mining, Subgroup Discovery, [INFO.INFO-IR] Computer Science [cs]/Information Retrieval [cs.IR], Subjective Interestingness
File Description: application/pdf
-
2
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 -
3
-
4
Authors: et al.
Contributors: et al.
Subject Terms: General Terms Languages, Experimentation. Keywords Real-time systems, Java Memory management
File Description: application/pdf
-
5
-
6
Authors: et al.
Contributors: et al.
Subject Terms: Java memory model, Distributed algorithms, Abstract state machines
Access URL: https://www.bib.irb.hr/322235
-
7
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/inria-00070555 ; [Research Report] RR-5452, INRIA. 2005, pp.24.
Subject Terms: JAVA OBJECTS BEHAVIOURS, JAVA MEMORY, OBJECTS MAPPING IN MEMORY, MOBILE DEVICES, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
-
8
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
-
9
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
-
10
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 -
11
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
-
12
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
-
13
Authors: et al.
Contributors: et al.
Subject Terms: Key words, Java programming language, Java bytecode, embedded system, real-time system, Java memory, Java processor, Java Virtual Machine (JVM
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.9226; http://php.cse.psu.edu/~vijay/javaworkshop/8/w99_sub2.pdf
-
14
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
-
15
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
-
16
Authors: et al.
Contributors: et al.
Subject Terms: Java memory model, distributed algorithms, abstract state machines
File Description: application/pdf
-
17
-
18
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
-
19
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
-
20
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
Nájsť tento článok vo Web of Science 
Full Text Finder