• Suche: "java memory model"

Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 1 - 16 von 16

1

DiSquawk : 512 cores, 512 memories, 1 JVM
Zakkak, Foivos S. ; Pratikakis, Polyvios
Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools. :1-12

Konferenz
Zur Merkliste hinzufügen
2

Prescient memory: exposing weak memory model behavior by looking into the future
Cao, Man ; Roemer, Jake ; Sengupta, Aritra ; et al.
Proceedings of the 2016 ACM SIGPLAN International Symposium on Memory Management. :99-110

Konferenz
Zur Merkliste hinzufügen
3

Data caching, garbage collection, and the Java memory model
Puffitsch, Wolfgang
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems. :90-99

Konferenz
Zur Merkliste hinzufügen
4

Making the java memory model safe
Lochbihler, Andreas
ACM Transactions on Programming Languages and Systems (TOPLAS). 35(4):1-65

Fachzeitschrift
Zur Merkliste hinzufügen
5

Model checking a cache coherence protocol of a Java DSM implementation
Pang, Jun ; Fokkink, Wan ; Hofman, Rutger ; et al.
In Journal of Logic and Algebraic Programming 2007 71(1):1-43

Fachzeitschrift
Zur Merkliste hinzufügen
6

Verified compilation of Concurrent Managed Languages
Jagannathan,Suresh ; Vitek,Jan ; Purdue University West Lafayette United States

Computer Programming and... COMPUTER PROGRAM VERIFIC... methodology PROGRAMMING LANGUAGES reasoning Program verification …
Fachzeitschrift
Zur Merkliste hinzufügen
7

Access Path Based Dataflow Analysis For Sequential And Concurrent Programs
Arnab De, *

Dataflow Analysis Java (Computer Program L... Concurrent Programs - Sy... Concurrent Programs - Da... Flow-Sensitive Pointer A... Null-Pointer Analysis …
Dissertation
Zur Merkliste hinzufügen
8

Making the java memory model safe
Lochbihler, Andreas
ACM Transactions on Programming Languages and Systems, 35 (4)

Languages Theory Data race freedom Java memory model Operational semantics Type safety
Fachzeitschrift
Zur Merkliste hinzufügen
9

Nitpicking C++ concurrency
Blanchette, Jasmin Christian ; Weber, Tjark ; Batty, Mark ; et al.
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

SAT solving JAVA memory model Isabelle/HOL Higher-order logic Concurrency C plus plus memory model …
Fachzeitschrift
Zur Merkliste hinzufügen
10

An ASM-based Approach to Modeling Memory Models
Matko Botinčan ; Paola Glavan ; Davor Runje ; et al.
http://www.fsb.hr/~drunje/papers/jucs-asm07.pdf.

Key Words Java memory model distributed algorithms abstract state machines... F.1.2 D.1.3
Fachzeitschrift
Zur Merkliste hinzufügen
11

Verification of Causality Requirements in Java Memory Model is Undecidable
Matko Botinčan ; Paola Glavan ; Davor Runje ; et al.
http://web.math.hr/%7Emabotinc/downloads/ppam09.pdf.

Java memory model multithreading verification
Fachzeitschrift
Zur Merkliste hinzufügen
12

Distributed Algorithms: A Case Study of the Java Memory Model
Matko Botinčan ; Paola Glavan ; Davor Runje ; et al.
http://www.fsb.hr/~drunje/papers/asm2007-mm.pdf.

Java memory model distributed algorithms abstract state machines
Fachzeitschrift
Zur Merkliste hinzufügen
13

Модель памяти Java
Бакунова, О. М. ; Хмелевская, А. Л. ; Ефимук, Н. А. ; et al.

публикации ученых... JVM Java memory model HotSpot virtual machine garbage collector
Zur Merkliste hinzufügen
14

Access Path Based Dataflow Analysis For Sequential And Concurrent Programs
Arnab De, * ; D'Souza, Deepak

Dataflow Analysis Java (Computer Program L... Concurrent Programs - Sy... Concurrent Programs - Da... Flow-Sensitive Pointer A... Null-Pointer Analysis …
Dissertation
Zur Merkliste hinzufügen
15

Impact of Java memory model on out-of-order multiprocessors
SHEN QINGHUA ; COMPUTER SCIENCE ; ABHIK ROYCHOUDHURY ; et al.

Memory consistency model Java multithreading Java Memory Model Shared-memory multiproce... Out-of-order execution Memory barrier
Dissertation
Zur Merkliste hinzufügen
16

Dieses Ergebnis kann Gästen nicht angezeigt werden.

Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter