3872 search results - page 25 / 775 » The Java memory model |
AAAI
2007
15 years 2 months ago
2007
ECOOP
2008
Springer
15 years 1 months ago
2008
Springer
Wildcards are a complex and subtle part of the Java type system, present since version 5.0. Although there have been various formalisations and partial type soundness results conce...
141
click to vote
ASPLOS
2011
ACM
14 years 3 months ago
2011
ACM
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...
CARDIS
2008
Springer
15 years 1 months ago
2008
Springer
When it comes to security, an interesting difference between Java Card and regular Java is the absence of an on-card bytecode verifier on most Java Cards. In principle this opens u...
110
click to vote
WSC
1997
15 years 1 months ago
1997
The paper present a layered design for a discrete event simulation framework based on the Java programming language. A description of this project’s goals and motivation is foll...