3341 search results - page 369 / 669 » A Communication Virtual Machine |
155
click to vote
LCPC
2004
Springer
16 years 18 days ago
2004
Springer
We explore the effectiveness of using traces in optimization. We build a trace collection system for the Jikes Research Virtual Machine and create traces based on the execution of...
197
click to vote
ECBS
2003
IEEE
16 years 16 days ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
174
click to vote
WSTFEUS
2003
IEEE
16 years 15 days 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...
186
click to vote
APLAS
2003
ACM
16 years 15 days ago
2003
ACM
This paper studies the problem of resource availability in the context of mobile code for embedded systems such as smart cards. It presents an architecture dedicated to controlling...
170
click to vote
IPPS
2002
IEEE
16 years 5 days ago
2002
IEEE
HARNESS is an experimental metacomputing system that supports dynamic software reconfiguration, both of the resources that comprise the virtual machine and the services provided t...