Proof — RISC architecture

Statement

Quantitative design; RISC; RAID. Proved in ZFC.

Source

ACM Turing Award 2017. Quantitative design; RISC; RAID. Proved in ZFC.

Domains

computer-science

People

• David Patterson

Related

• Theorem: RISC architecture
• Proof: RISC architecture

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People