Sciweavers

295 search results - page 24 / 59
» Invariants Based Failure Diagnosis in Distributed Computing ...
Sort
View
TIP
2010
181views more  TIP 2010»
13 years 2 months ago
Cluster-Based Distributed Face Tracking in Camera Networks
In this paper, we present a distributed multicamera face tracking system suitable for large wired camera networks. Unlike previous multicamera face tracking systems, our system doe...
Josiah Yoder, Henry Medeiros, Johnny Park, Avinash...
IPPS
1998
IEEE
13 years 12 months ago
Self-Testing Fault-Tolerant Real-Time Systems
We propose a periodic diagnostic algorithm based on the testing model of computation for real-time systems. The diagnostic task runs on every processor of the system. When the task...
M. Rooholamini, Seyed H. Hosseini
ERSHOV
1993
Springer
13 years 11 months ago
Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling
Distributed database applications are a wide use of distributed systems. One of the major advantages of distributed database systems is the potential for achieving high availabili...
Hanan Lutfiyya, Bruce M. McMillin, Alan Su 0002
CLOUDCOM
2009
Springer
13 years 11 months ago
Decentralized Service Allocation in a Broker Overlay Based Grid
Abstract. Grid computing is based on coordinated resource sharing in a dynamic environment of multi-institutional virtual organizations. Data exchanges, and service allocation, are...
Abdulrahman Azab, Hein Meling
CSL
2005
Springer
14 years 1 months ago
Distributed Control Flow with Classical Modal Logic
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
Tom Murphy VII, Karl Crary, Robert Harper