Sciweavers

713 search results - page 87 / 143
» Fault Analysis of a Distributed Flight Control System
Sort
View
HPCA
2007
IEEE
15 years 9 months ago
Error Detection via Online Checking of Cache Coherence with Token Coherence Signatures
To provide high dependability in a multithreaded system despite hardware faults, the system must detect and correct errors in its shared memory system. Recent research has explore...
Albert Meixner, Daniel J. Sorin
HIPC
2009
Springer
15 years 27 days ago
Extracting the textual and temporal structure of supercomputing logs
Supercomputers are prone to frequent faults that adversely affect their performance, reliability and functionality. System logs collected on these systems are a valuable resource o...
Sourabh Jain, Inderpreet Singh, Abhishek Chandra, ...
PADL
2009
Springer
16 years 3 months ago
Operational Semantics for Declarative Networking
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...
Juan A. Navarro, Andrey Rybalchenko
114
Voted
SPAA
2010
ACM
15 years 8 months ago
Collaborative scoring with dishonest participants
Consider a set of players that are interested in collectively evaluating a set of objects. We develop a collaborative scoring protocol in which each player evaluates a subset of t...
Seth Gilbert, Rachid Guerraoui, Faezeh Malakouti R...
CAIP
1997
Springer
105views Image Analysis» more  CAIP 1997»
15 years 7 months ago
An Active Vision System for Obtaining High Resolution Depth Information
A low-cost active vision head with ten degrees of freedom is presented that has been build from off-the-shelf parts. To obtain high resolution depth information of fixated objects ...
Winfried A. Fellenz, Karsten Schlüns, Andreas...