• Suche: "Java memory"

Treffer 1 - 20 von 1.037

1

Mining Java Memory Errors using Subjective Interesting Subgroups with Hierarchical Targets
Remil, Youcef ; Bendimerad, Anes ; Chambard, Mathieu ; et al.

Computer Science - Infor... Computer Science - Artif... Computer Science - Softw...
Report
Merkliste
2

Dieses Ergebnis kann Gästen nicht angezeigt werden.

3

Dieses Ergebnis kann Gästen nicht angezeigt werden.

4

Dieses Ergebnis kann Gästen nicht angezeigt werden.

5

Dieses Ergebnis kann Gästen nicht angezeigt werden.

6

Dieses Ergebnis kann Gästen nicht angezeigt werden.

7

JDMM: A Java Memory Model for Non-Cache-Coherent Memory Architectures
Memory management
Zakkak, Foivos S. ; Pratikakis, Polyvios
ACM SIGPLAN notices. 49(11):83-92

Konferenz
Merkliste
10

The Safety-Critical Java Memory Model: A Formal Account
International symposium of formal methods
Cavalcanti, A. ; Wellings, A. ; Woodcock, J.
LECTURE NOTES IN COMPUTER SCIENCE. (6664):246-261

Konferenz
Merkliste
11

A Study of Java's Non-Java Memory
Object oriented programming, systems, languages and applications
Ogata, K. ; Mikurube, D. ; Kawachiya, K. ; et al.
ACM SIGPLAN NOTICES. 45(10):191-204

Konferenz
Merkliste
12

Verification of Causality Requirements in Java Memory Model Is Undecidable
Parallel processing and applied mathematics
Botincan, M. ; Glavan, P. ; Runje, D.
LECTURE NOTES IN COMPUTER SCIENCE. (6068):62-67

Konferenz
Merkliste
13

On Validity of Program Transformations in the Java Memory Model
Object-oriented programming; ECOOP 2008
Sevcik, J. ; Aspinall, D.
LECTURE NOTES IN COMPUTER SCIENCE. :27-51

Konferenz
Merkliste
14

The Java Memory Model: Operationally, Denotationally, Axiomatically
Programming languages and systems; ESOP 2007; European Symposium on Programming
Cenciarelli, P. ; Knapp, A. ; Sibilio, E.
LECTURE NOTES IN COMPUTER SCIENCE. (4421):331-346

Konferenz
Merkliste
15

Dieses Ergebnis kann Gästen nicht angezeigt werden.

16

The Java Memory Model
POPL 2005: the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages
Manson, J. ; Pugh, W. ; Adve, S. V.
ACM SIGPLAN NOTICES. 40(1):378-391

Konferenz
Merkliste
18

Impact of Java Memory Model on Out-of-Order Multiprocessors
Parallel architecture and compilation techniques; PACT 2004
Mitra, T. ; Roychoudhury, A. ; Shen, Q.
INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURE AND COMPILATION TECHNIQUES. :99-110

Konferenz
Merkliste
20

Analyzing the CRF Java Memory Model
Asia-Pacific software engineering conference
Yang, Y. ; Gopalakrishnan, G. ; Lindstrom, G.
ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE. :21-28

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

Filter