Reconciling fault-tolerant distributed computing and systems-on-chip

DOI10.1007/S00446-011-0151-7MaRDI QIDQ424907zbMATHOpenAlexFDO

Authors Matthias Függer, Ulrich Schmid

Publication date 7 June 2012

Published in Distributed Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00446-011-0151-7

zbMATH Keywords

clock synchronizationVLSImodeling approachesfault-tolerant distributed systems

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Distributed systems (68M14) Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35)

Recommendations

• Publication:4967183
• Rigorously modeling self-stabilizing fault-tolerant circuits: an ultra-robust clocking scheme for systems-on-chip
• Fault-tolerant algorithms for tick-generation in asynchronous logic: robust pulse generation
• Fault-tolerant distributed computing
• Publication:3742701

Cites work

• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• scientific article; zbMATH DE number 1903354 (Why is no real title available?)
• A formal approach to designing delay-insensitive circuits
• A theory of clock synchronization (extended abstract)
• Buridan's principle
• Compiling communicating processes into delay-insensitive VLSI circuits
• Consensus algorithms with one-bit messages
• Distributed order scheduling and its application to multi-core DRAM controllers
• General theory of metastable operation
• Impossibility of distributed consensus with one faulty process
• On the existence of delay-insensitive fair arbiters: Trace theory and its limitations
• On the possibility and impossibility of achieving clock synchronization
• Optimal Clock Synchronization under Different Delay Assumptions
• Optimal and efficient clock synchronization under drifting clocks
• Optimal precision in the presence of uncertainty
• The Theta-Model: achieving synchrony without clocks

Cited in

(10)

• HEX: scaling honeycombs is easier than scaling clock trees
• Optimal fault-tolerant computing on multiprocessor systems
• On fault-tolerant structure, distributed fault-diagnosis, reconfiguration, and recovery of the array processors
• Self-stabilizing Byzantine clock synchronization with optimal precision
• scientific article; zbMATH DE number 7075887 (Why is no real title available?)
• Fire!
• On specifications and proofs of timed circuits
• Fault-tolerant algorithms for tick-generation in asynchronous logic: robust pulse generation
• Rigorously modeling self-stabilizing fault-tolerant circuits: an ultra-robust clocking scheme for systems-on-chip
• Accuracy of message counting abstraction in fault-tolerant distributed algorithms

Describes a project that uses

Uses Software

• VINAS-P

This page was built for publication: Reconciling fault-tolerant distributed computing and systems-on-chip

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q424907)