Algebraic models of behaviour and correctness of SMT and CMT processors (Q2461762)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algebraic models of behaviour and correctness of SMT and CMT processors |
scientific article |
Statements
Algebraic models of behaviour and correctness of SMT and CMT processors (English)
0 references
21 November 2007
0 references
simultaneous multi-threaded microprocessors
0 references
chip-level multi-threaded processors
0 references
