A Formal Method for the Abstract Specification of Software
Journal of the ACM (JACM)
The design and description of computer architectures
The design and description of computer architectures
Reduced instruction set computer architectures for VLSI
Reduced instruction set computer architectures for VLSI
Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
Journal of the ACM (JACM)
A Conceptual Framework for Computer Architecture
ACM Computing Surveys (CSUR)
The Science of Programming
Logic for Artificial Intelligence
Logic for Artificial Intelligence
Advances in Computer Architecture
Advances in Computer Architecture
ACM SIGARCH Computer Architecture News
On the verification of computer architectures using an architecture description language
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
Rapid prototyping by means of abstract module specifications written as trace axioms
Proceedings of the workshop on Rapid prototyping
Knowledge based modeling and analysis of computer architectures
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Modeling organizational goals: analysis of current methods
Proceedings of the 2004 ACM symposium on Applied computing
Database support for conflict detection in a computer-supported cooperative work environment
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
| Hi-index | 48.22 |
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.