Microarchitecture modelling through ADL
MICRO 21 Proceedings of the 21st annual workshop on Microprogramming and microarchitecture
Most computer organization courses are built upside down
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Providing a laboratory for instruction set design
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
The use of Ada to achieve fault tolerance in AAS
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
A symbolic simulation model of the organization of human procedural knowledge
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
The expected lifetime of “single-address-space” operating systems
SIGMETRICS '94 Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Simulation in computer organization: a goals based study
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
A microprogram simulator and compiler for an enhanced version of Tanenbaum's MIC-1 machine
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Thoughts on parallelism and concurrency in compiling curricula
ACM Computing Surveys (CSUR)
CANLOGS: a logic gate simulator for all seasons
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Learning operating systems structure and implementation through the MPS computer system simulator
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Deriving Target Code as a Representation of Continuation Semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Assembly programming on a virtual computer
CCSC '01 Proceedings of the sixth annual CCSC northeastern conference on The journal of computing in small colleges
CPU Sim 3.1: A tool for simulating computer architectures for computer organization classes
Journal on Educational Resources in Computing (JERIC)
Using the Alfa-1 simulated processor for educational purposes
Journal on Educational Resources in Computing (JERIC)
Journal on Educational Resources in Computing (JERIC)
Journal on Educational Resources in Computing (JERIC)
Estimation of VAR Models: Computational Aspects
Computational Economics
Historical Content in Computer Science Texts: A Concern
IEEE Annals of the History of Computing
Concurrent Process Monitoring with No Reference Signatures
IEEE Transactions on Computers
Experiences in modeling and simulation of computer architectures in DEVS
Transactions of the Society for Computer Simulation International - Recent advances in DEVS methodology--part II
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
A Mechanism for SIMD Execution of SPMD Programs
HPC-ASIA '97 Proceedings of the High-Performance Computing on the Information Superhighway, HPC-Asia '97
Programming skills for a changing world: back to the basics
Journal of Computing Sciences in Colleges
Optimizing the Execution of Multiple Data Analysis Queries on Parallel and Distributed Environments
IEEE Transactions on Parallel and Distributed Systems
Journal of Computing Sciences in Colleges
Snug set-associative caches: reducing leakage power while improving performance
ISLPED '05 Proceedings of the 2005 international symposium on Low power electronics and design
The transition from single-platform to multi-platform software development
ATEC '98 Proceedings of the annual conference on USENIX Annual Technical Conference
Teaching computer systems to majors: a MIPS based solution
WCAE '98 Proceedings of the 1998 workshop on Computer architecture education
A survey of linguistic structures for application-level fault tolerance
ACM Computing Surveys (CSUR)
Self-stabilization preserving compiler
ACM Transactions on Programming Languages and Systems (TOPLAS)
Effective computing by interval-values
INES'10 Proceedings of the 14th international conference on Intelligent engineering systems
Hi-index | 0.02 |