scientific article; zbMATH DE number 1432321
From MaRDI portal
Publication:4947306
Recommendations
- Correctness of mixed computations in Incol
- Reliable computation with cellular automata
- Mixed cell computation in HOM4ps
- scientific article; zbMATH DE number 4133475
- Nondeterministic, probabilistic and alternating computations on cellular array models
- Algebraic models of correctness for microprocessors
- Computation theoretic aspects of cellular automata
- Fault tolerance in cellular automata at low fault rates
- A Correctness Condition for High-Performance Multiprocessors
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4947306)