31 search results - page 4 / 7 » Deterministic Execution of Java's Primitive Bytecode Operati... |
111
click to vote
HOTOS
1997
IEEE
15 years 3 months ago
1997
IEEE
We are building an operating system in which an integral run-time code generator constantly strives to improve the quality of already executing code. Our system is based on a plat...
109
click to vote
SOSP
2009
ACM
15 years 8 months ago
2009
ACM
Reproducing bugs is hard. Deterministic replay systems address this problem by providing a high-fidelity replica of an original program run that can be repeatedly executed to zer...
100
click to vote
CHARME
2003
Springer
15 years 4 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
101
click to vote
POS
1998
Springer
15 years 3 months ago
1998
Springer
Persistent programming languages manage volatile memory as a cache for stable storage, imposing a read barrier on operations that access the cache, and a write barrier on updates ...
118
click to vote
CL
2008
Springer
14 years 11 months ago
2008
Springer
One of the most promising approaches to Java acceleration in embedded systems is a bytecode-to-C ahead-of-time compiler (AOTC). It improves the performance of a Java virtual machi...