351 search results - page 57 / 71 » A Fault-Tolerant Java Virtual Machine |
WSTFEUS
2003
IEEE
14 years 1 months ago
2003
IEEE
System software for future computing environments becomes more complex and heterogeneous. Portability becomes one of the important properties of the future system software. Compon...
ECOOPWEXCEPTION
2000
Springer
14 years 2 days ago
2000
Springer
Abstract. This paper describes a scheme of manipulating (partial) continuations in imperative languages such as Java and C++ in a portable manner, where the portability means that ...
TOOLS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that ar...
CD
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper reports on the experiences we gained while trying to build an interpreter for a new programming language aimed at developing strong mobile software. The interp...
APLAS
2003
ACM
13 years 11 months ago
2003
ACM
Abstract. Much work has been done in verifying a compiler specification, both in hand-written and mechanical proofs. However, there is still a gap between a correct compiler specif...