Rigorously modeling self-stabilizing fault-tolerant circuits: an ultra-robust clocking scheme for systems-on-chip (Q2637656)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Rigorously modeling self-stabilizing fault-tolerant circuits: an ultra-robust clocking scheme for systems-on-chip |
scientific article |
Statements
Rigorously modeling self-stabilizing fault-tolerant circuits: an ultra-robust clocking scheme for systems-on-chip (English)
0 references
13 February 2014
0 references
modeling framework
0 references
clock synchronization
0 references
hardware implementation
0 references
experiments
0 references
metastability
0 references
dependability
0 references
theoretical analysis
0 references
hybrid state machines
0 references
Byzantine fault-tolerance
0 references
self-stabilization
0 references
0 references
