publié le: May 2009
We present a new approach to adding state and state-changing commands to a term language. As a formal semantics it can be seen as a generalization of...
publié le: June 2009
We have built a runtime compilation system that takes unmodified sequential binaries and improves their performance on off-the-shelf multiprocessors...
Proof Carrying Code provides trust in mobile code by requiring certificates that ensure the code adherence to specific conditions. The prominent appr...
Contracts are behavioral descriptions of Web services. We devise a theory of contracts that formalizes the compatibility of a client with a service,...
We motivate and describe improved fast simulation techniques for the accelerated performance evaluation of highly available services. In systems that...