351 search results - page 59 / 71 » A Fault-Tolerant Java Virtual Machine |
RTA
2007
Springer
14 years 1 months ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
AICCSA
2006
IEEE
13 years 11 months ago
2006
IEEE
Poor memory management leads to memory leaks, which cause significant performance degradation and failure of software. If ignored, such leaks can potentially cause security breach...
IWMM
2000
Springer
13 years 11 months ago
2000
Springer
The IA-64, Intel's 64-bit instruction set architecture, exhibits a number of interesting architectural features. Here we consider those features as they relate to supporting ...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
This paper presents the design and the implementation of an interface software component between OLE for Process Control (OPC) formatted data and the Global ...
ENTCS
2007
13 years 7 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...