3872 search results - page 29 / 775 » The Java memory model |
SRDS
2007
IEEE
15 years 6 months ago
2007
IEEE
In this work we investigate software aging phenomena inside the Java Virtual Machine (JVM). Starting from an experimental campaign on real world testbeds, this work isolates the c...
109
click to vote
ISORC
2005
IEEE
15 years 5 months ago
2005
IEEE
One of the main challenges in getting acceptance for safe object-oriented languages in hard real-time systems is to combine automatic memory management with hard real-time constra...
123
click to vote
FMICS
2009
Springer
15 years 3 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
SENSYS
2009
ACM
15 years 6 months ago
2009
ACM
The programming and retasking of sensor nodes could benefit greatly from the use of a virtual machine (VM) since byte code is compact, can be loaded on demand, and interpreted on...
SPIN
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...