1917 search results - page 97 / 384 » The York Abstract Machine |
101
click to vote
IPPS
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—A premier goal of resource allocators in virtualization environments is to control the relative resource consumption of the different virtual machines, and moreover, to ...
SAC
2004
ACM
15 years 5 months ago
2004
ACM
is an abstract graph reduction machine for the implementation of lazy functional languages. Categorical multi-combinators served as a basis for the evaluation model of µΓCMC. Th...
FATES
2003
Springer
15 years 5 months ago
2003
Springer
We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call seq...
IEEEPACT
2000
IEEE
15 years 4 months ago
2000
IEEE
ÐThis paper presents a multithreaded abstract machine for the TyCO process calculus. We argue that process calculi provide a powerful framework to reason about fine-grained parall...
HCI
2007
15 years 1 months ago
2007
Coupling is the action of binding two entities so that they can operate together to provide new functions. In this article, we propose a formal definition for coupling and present ...