2595 search results - page 470 / 519 » Modes in Asynchronous Systems |
198
click to vote
WETICE
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents joint work by the California Institute of Technology’s Jet Propulsion Laboratory and the University of California at Davis (UC Davis) sponsored by the Nation...
181
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
137
click to vote
SIGOPS
2008
15 years 6 months ago
2008
The layered design of the Linux operating system hides the liveness of file system data from the underlying block layers. This lack of liveness information prevents the storage sy...
169
click to vote
TOMS
1998
15 years 5 months ago
1998
This paper presents the software architecture and implementation of the problem solving environment (PSE) PELLPACK for modeling physical objects described by partial differential ...
146
click to vote
PODC
2010
ACM
15 years 10 months ago
2010
ACM
: The Borowsky-Gafni (BG) simulation algorithm is a powerful reduction algorithm that shows that t-resilience of decision tasks can be fully characterized in terms of wait-freedom....