Sciweavers

1119 search results - page 61 / 224
» Computing in the Presence of Timing Failures
Sort
View
GRID
2004
Springer
14 years 2 months ago
Checkpoint and Restart for Distributed Components in XCAT3
With the advent of Grid computing, more and more highend computational resources become available for use to a scientist. While this opens up new avenues for scientific research,...
Sriram Krishnan, Dennis Gannon
NGC
2000
Springer
14 years 22 days ago
Policies for using replica groups and their effectiveness over the Internet
Replication is known to offer high availability in the presence of failures. This paper considers the case of a client making invocations on a group of replicated servers. It iden...
G. Morgan, P. D. Ezilchelvan
ISORC
2006
IEEE
14 years 3 months ago
Diagnostic Framework for Integrated Time-Triggered Architectures
Integrated architectures promise substantial technical and economic benefits in the development of distributed embedded real-time systems. In the context of diagnosis new diagnos...
Philipp Peti, Roman Obermaisser
ASPDAC
2010
ACM
135views Hardware» more  ASPDAC 2010»
13 years 7 months ago
Statistical timing verification for transparently latched circuits through structural graph traversal
Level-sensitive transparent latches are widely used in high-performance sequential circuit designs. Under process variations, the timing of a transparently latched circuit will ada...
Xingliang Yuan, Jia Wang
FORMATS
2006
Springer
14 years 25 days ago
Symbolic Robustness Analysis of Timed Automata
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
Conrado Daws, Piotr Kordy