1833 search results - page 42 / 367 » Mechanized Verification with Sharing |
OSDI
1994
ACM
14 years 9 days ago
1994
ACM
This paper describes the design and evaluation of SAM, a shared object system for distributed memory machines. SAM is a portable run-time system that provides a global name space ...
ACSD
2005
IEEE
14 years 4 months ago
2005
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, syst...
ICCAD
1997
IEEE
14 years 3 months ago
1997
IEEE
- Task preemption is a critical enabling mechanism in multi-task VLSI systems. On preemption, data in the register les must be preserved in order for the task to be resumed. This e...
ATAL
2006
Springer
14 years 2 months ago
2006
Springer
This paper describes simulations designed to test the relative efficiency of two different sequential auction mechanisms for allocating compute resources between users in a shared...
EHCI
2001
14 years 11 days ago
2001
Despite the increasing availability of groupware, most systems are awkward and not widely used. While there are many reasons for this, a significant problem is that groupware is di...