Sciweavers

454 search results - page 7 / 91
» Design and Implementation of the Virtual Machine Constructin...
Sort
View
WDAG
2005
Springer
90views Algorithms» more  WDAG 2005»
14 years 29 days ago
Proving Atomicity: An Assertional Approach
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...
Gregory Chockler, Nancy A. Lynch, Sayan Mitra, Jos...
ISCA
2006
IEEE
131views Hardware» more  ISCA 2006»
14 years 1 months ago
Reducing Startup Time in Co-Designed Virtual Machines
A Co-Designed Virtual Machine allows designers to implement a processor via a combination of hardware and software. Dynamic binary translation converts code written for a conventi...
Shiliang Hu, James E. Smith
ICCS
2001
Springer
13 years 12 months ago
Distributed Name Service in Harness
Abstract. The Harness metacomputing framework is a reliable and flexible environment for distributed computing. A shortcoming of the system is that services are dependent on a nam...
Tomasz Tyrakowski, Vaidy S. Sunderam, Mauro Miglia...
PLILP
1998
Springer
13 years 11 months ago
Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine
This paper shows how lazy functional programs can be made mobile by compiling them for the Java Virtual Machine. The Haskell compiler it describes is based on the h ,Gi-machine, wh...
David Wakeling
EUROSYS
2008
ACM
14 years 4 months ago
Parallax: virtual disks for virtual machines
Parallax is a distributed storage system that uses virtualization to provide storage facilities specifically for virtual environments. The system employs a novel architecture in ...
Dutch T. Meyer, Gitika Aggarwal, Brendan Cully, Ge...