1133 search results - page 34 / 227 » Modeling and Control of Distributed Asynchronous Computation... |
119
Voted
SPIN
2010
Springer
15 years 11 days ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
121
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
Modern distributed industrial control systems need improvements in their dependability. In this paper we study the dependability of a fault tolerant distributed industrial control ...
112
click to vote
PODC
1990
ACM
15 years 6 months ago
1990
ACM
Emulators that translate algorithms from the shared-memory model to two different message-passing models are presented. Both are achieved by implementing a wait-free, atomic, singl...
132
click to vote
ICDCS
1995
IEEE
15 years 5 months ago
1995
IEEE
One of the mostsoughtaftersoftware innovation of thisdecade is the construction of systems using off-the-shelf workstations that actually deliver, and even surpass, the power and ...
108
click to vote
CHI
2006
ACM
16 years 2 months ago
2006
ACM
`Embedded phenomena' is a learning technology framework in which simulated scientific phenomena are mapped onto the physical space of classrooms. Students monitor and control...