Proof — RISC architecture

Statement

Quantitative design; MIPS; computer architecture. Proved in ZFC.

Source

ACM Turing Award 2017. Quantitative design; MIPS; computer architecture. Proved in ZFC.

Domains

computer-science

People

• John L. Hennessy

Related

• Theorem: RISC architecture
• Proof: RISC architecture

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People