587 search results - page 10 / 118 » Improving the Java memory model using CRF |
AAAI
2006
13 years 8 months ago
2006
Planning in partially-observable dynamical systems is a challenging problem, and recent developments in point-based techniques such as Perseus significantly improve performance as...
ICSM
2009
IEEE
14 years 2 months ago
2009
IEEE
Many of the problems that occur in long-running systems involve the way that the system uses memory. We have developed a framework for extracting and building a model of the heap ...
NPC
2010
Springer
13 years 5 months ago
2010
Springer
Java is one of the most popular programming languages in today’s software development, but the adoption of Java in some areas like high performance computing, gaming, and media p...
CONCURRENCY
1998
13 years 7 months ago
1998
We consider the problem of converting C pointers to the less flexible concept of references. Our main application is converting scientific applications from C to Java. We provid...
FM
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...