Sciweavers

5012 search results - page 333 / 1003
» Distributed Error Correction
Sort
View
DAC
2004
ACM
16 years 7 months ago
Fast statistical timing analysis handling arbitrary delay correlations
CT An efficient statistical timing analysis algorithm that can handle arbitrary (spatial and structural) causes of delay correlation is described. The algorithm derives the entire ...
Michael Orshansky, Arnab Bandyopadhyay
SSS
2007
Springer
121views Control Systems» more  SSS 2007»
16 years 23 days ago
Byzantine Self-stabilizing Pulse in a Bounded-Delay Model
Abstract. “Pulse Synchronization” intends to invoke a recurring distributed event at the different nodes, of a distributed system as simultaneously as possible and with a freq...
Danny Dolev, Ezra N. Hoch
BIRTHDAY
2006
Springer
15 years 10 months ago
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
Steffen Knapp, Wolfgang J. Paul
DEXAW
2004
IEEE
132views Database» more  DEXAW 2004»
15 years 10 months ago
Using Data-Flow Analysis for Resilience and Result Checking in Peer-To-Peer Computations
To achieve correct execution of peer-to-peer applications on non-reliable resources, we present a portable and distributed algorithm that provides fault tolerance and result checki...
Samir Jafar, Sébastien Varrette, Jean-Louis...
VLDB
1990
ACM
56views Database» more  VLDB 1990»
15 years 10 months ago
Two Epoch Algorithms for Disaster Recovery
Remotebackup copies of databasesare often maintained to ensureavailability of dataevenin thepresenceof extensive failures, for which local replication mechanismsmay be inadequate....
Hector Garcia-Molina, Christos A. Polyzois, Robert...