Rigorously modeling self-stabilizing fault-tolerant circuits: an ultra-robust clocking scheme for systems-on-chip (Q2637656)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Rigorously modeling self-stabilizing fault-tolerant circuits: an ultra-robust clocking scheme for systems-on-chip |
scientific article; zbMATH DE number 6257473
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Rigorously modeling self-stabilizing fault-tolerant circuits: an ultra-robust clocking scheme for systems-on-chip |
scientific article; zbMATH DE number 6257473 |
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
0 references
0.7912907004356384
0 references
0.7833578586578369
0 references
0.734844446182251
0 references
0.6848679184913635
0 references
