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
Quantitative design; RISC; RAID. Proved in ZFC.
ACM Turing Award 2017. Quantitative design; RISC; RAID. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/theorem/patterson-turing-2017/