1833 search results - page 42 / 367 » Mechanized Verification with Sharing |
110
click to vote
OSDI
1994
ACM
15 years 2 months 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 ...
111
Voted
ACSD
2005
IEEE
15 years 6 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...
84
Voted
ICCAD
1997
IEEE
15 years 4 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...
77
Voted
ATAL
2006
Springer
15 years 4 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
15 years 2 months 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...