Design and specification of microprogrammed computer architectures
MICRO 18 Proceedings of the 18th annual workshop on Microprogramming
Verification of microprogrammed computer architectures in the S*-system: a case study
MICRO 18 Proceedings of the 18th annual workshop on Microprogramming
A plausibility-driven approach to computer architecture design
Communications of the ACM
A parallel multiprocessor machine dedicated to relational and deductive data bases
SIGIR '88 Proceedings of the 11th annual international ACM SIGIR conference on Research and development in information retrieval
The role of the computer architecture simulator in the laboratory
ACM SIGCSE Bulletin
IEEE Transactions on Software Engineering
On the verification of computer architectures using an architecture description language
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
A model of clocked micro-architectures for firmware engineering and design automation applications
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
An axiomatization of low-level parallelism in microarchitectures
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
Microprogrammed Architectures Specified using PAISLey (A description of an ongoing project)
ACM SIGMICRO Newsletter
Hi-index | 0.02 |