255 search results - page 18 / 51 » A Virtual Machine for a Process Calculus |
IPPS
1998
IEEE
13 years 12 months ago
1998
IEEE
Abstract. Several computing environments including wide area networks and nondedicated networks of workstations are characterized by frequent unavailability of the participating ma...
OSDI
2002
ACM
14 years 8 months ago
2002
ACM
This paper shows how to quickly move the state of a running computer across a network, including the state in its disks, memory, CPU registers, and I/O devices. We call this state...
DAGSTUHL
2007
13 years 9 months ago
2007
: This is a position paper introducing blob computing: A Blob is a generic primitive used to structure a uniform computing substrate into an easier-to-program parallel virtual mach...
ECTEL
2006
Springer
13 years 11 months ago
2006
Springer
More and more CoPs have chosen virtual environments and services to support their activities. However, recent research has underlined several problems: the lack of adequate scaffol...
CEFP
2005
Springer
14 years 1 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...