3872 search results - page 59 / 775 » The Java memory model |
102
click to vote
JTRES
2009
ACM
15 years 4 months ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...
122
click to vote
IWEB
1998
15 years 1 months ago
1998
In this paper we introduce a workflow management system, called WebFlow, which is based on the world wide web and Java as its basic technologies. Java is used as the build time (m...
JVM
2001
15 years 1 months ago
2001
Modern computer systems are becoming more powerful and are using larger memories. However, except for very high end systems, little attention is being paid to high availability. T...
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
Garbage collection yields numerous software engineering benefits, but its quantitative impact on performance remains elusive. One can compare the cost of conservative garbage col...
113
click to vote
TACAS
1998
Springer
15 years 4 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...