1234 search results - page 196 / 247 » Privacy-preserving Virtual Machine |
224
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
We apply speculative multithreading to sequential Java programs in software to achieve speedup on existing multiprocessors. A common speculation library supports both Java bytecod...
218
click to vote
RTA
2007
Springer
16 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...
203
click to vote
ICAC
2006
IEEE
16 years 1 months ago
2006
IEEE
— The need for self-healing software to respond with a reactive, proactive or preventative action as a result of changes in its environment has added the non-functional requireme...
185
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
For many performance analysis problems, the ability to reason across traces is invaluable. However, due to non-determinism in the OS and virtual machines, even two identical runs ...
212
click to vote
MM
2006
ACM
16 years 1 months ago
2006
ACM
This paper describes an interactive installation work set in a large dome space. The installation is an audio and physical rerendition of an interactive writing work. In the origi...