A plausibility-driven approach to computer architecture design
- 1 November 1987
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 30 (11) , 922-932
- https://doi.org/10.1145/32206.32208
Abstract
A dilemma skirting the discipline of computer architecture concerns the plausibility of architectural designs. To counter the widely held perception that architecture is a nebulous entity is a proposal to view such designs as specifications of constraints to be satisfied.Keywords
This publication has 12 references indexed in Scilit:
- Axiomatic Specifications in Firmware Development SystemsIEEE Software, 1986
- Alternative logics for approximate reasoning in expert systems: a comparative studyInternational Journal of Man-Machine Studies, 1985
- A Formal Method for the Abstract Specification of SoftwareJournal of the ACM, 1984
- Architecture qualityACM SIGARCH Computer Architecture News, 1984
- Virtual Memory and the MC68010IEEE Micro, 1983
- Rapid prototyping by means of abstract module specifications written as trace axiomsACM SIGSOFT Software Engineering Notes, 1982
- The Science of ProgrammingPublished by Springer Nature ,1981
- The MU5 Computer SystemPublished by Springer Nature ,1979
- A Conceptual Framework for Computer ArchitectureACM Computing Surveys, 1976
- Computers Then and NowJournal of the ACM, 1968