Sciweavers

1448 search results - page 194 / 290
» Deadlock Detection in Distributed Systems
Sort
View
HPDC
2006
IEEE
15 years 11 months ago
Replicating Nondeterministic Services on Grid Environments
Replication is a technique commonly used to increase the availability of services in distributed systems, including grid and web services. While replication is relatively easy for...
Xianan Zhang, Flavio Junqueira, Matti A. Hiltunen,...
ICS
2010
Tsinghua U.
15 years 9 months ago
Memory Consistency Conditions for Self-Assembly Programming
: Perhaps the two most significant theoretical questions about the programming of self-assembling agents are: (1) necessary and sufficient conditions to produce a unique terminal a...
Aaron Sterling
ICVS
2009
Springer
15 years 11 months ago
A Fast Joint Bioinspired Algorithm for Optic Flow and Two-Dimensional Disparity Estimation
The faithful detection of the motion and of the distance of the objects in the visual scene is a desirable feature of any artificial vision system designed to operate in unknown e...
Manuela Chessa, Silvio P. Sabatini, Fabio Solari
IEEEARES
2008
IEEE
15 years 11 months ago
A Lazy Monitoring Approach for Heartbeat-Style Failure Detectors
—Failure detectors are a fundamental part of safe fault-tolerant distributed systems. Many failure detectors use heartbeats to draw conclusions about the state of nodes within a ...
Benjamin Satzger, Andreas Pietzowski, Wolfgang Tru...
ICPPW
2006
IEEE
15 years 11 months ago
Model Checking Control Communication of a FACTS Device
This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...
David A. Cape, Bruce M. McMillin, James K. Townsen...