Code selection through object code optimization
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Toward a history of (personal) workstations
HPW '86 Proceedings of the ACM Conference on The history of personal workstations
User technology—from pointing to pondering
HPW '86 Proceedings of the ACM Conference on The history of personal workstations
Design and specification of microprogrammed computer architectures
MICRO 18 Proceedings of the 18th annual workshop on Microprogramming
Virtual instruments: object-oriented program synthesis
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Programming at the processor-memory-switch level
ICSE '88 Proceedings of the 10th international conference on Software engineering
SABLE: A tool for generating structured, multi-level simulations
25 years of DAC Papers on Twenty-five years of electronic design automation
The application of program verification techniques to hardware verification
25 years of DAC Papers on Twenty-five years of electronic design automation
A Historical Overview of Computer Architecture
IEEE Annals of the History of Computing
Keynote address: toward a history of (personal) workstations
A history of personal workstations
User technology: from pointing to pondering
A history of personal workstations
A sequencing-based taxonomy of I/0 systems and review of historical machines
ACM SIGARCH Computer Architecture News
Kit: A Study in Operating System Verification
IEEE Transactions on Software Engineering
The Marion system for retargetable instruction scheduling
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Exploiting fine-grained parallelism through a combination of hardware and software techniques
ISCA '91 Proceedings of the 18th annual international symposium on Computer architecture
A new parallel architecture for sparse matrix computation based on finite projective geometries
Proceedings of the 1991 ACM/IEEE conference on Supercomputing
Abstractions for Software Architecture and Tools to Support Them
IEEE Transactions on Software Engineering - Special issue on software architecture
Software architecture in industrial applications
Proceedings of the 17th international conference on Software engineering
Specifying representations of machine instructions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computer organization/architecture: a threaded top-down design
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
ACM Computing Surveys (CSUR)
Computer Selection Methodology
ACM Computing Surveys (CSUR)
Multiprocessor Organization—a Survey
ACM Computing Surveys (CSUR)
The Organization of Microprogram Stores
ACM Computing Surveys (CSUR)
Retargetable Compiler Code Generation
ACM Computing Surveys (CSUR)
Automatic Derivation of Code Generators from Machine Descriptions
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Design and Application of a Retargetable Peephole Optimizer
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Formal Framework for the Derivation of Machine-Specific Optimizers
ACM Transactions on Programming Languages and Systems (TOPLAS)
HISDL—a structure description language
Communications of the ACM
An experiment in high level language microprogramming and verification
Communications of the ACM
Medusa: an experiment in distributed operating system structure
Communications of the ACM
Computer system design using a hierarchical approach to performance evaluation
Communications of the ACM
The impact of distributions and disciplines on multiple processor systems
Communications of the ACM
The evolution of the DECsystem 10
Communications of the ACM - Special issue on computer architecture
Empirical evaluation of some features of instruction set processor architectures
Communications of the ACM
Use of the concept of transparency in the design of hierarchically structured systems
Communications of the ACM
Curriculum recommendations for graduate professional programs in information systems
Communications of the ACM
A computer science course program for small colleges
Communications of the ACM
Curriculum recommendations for undergraduate programs in information systems
Communications of the ACM
Synchronizing processors with memory-content-generated interrupts
Communications of the ACM
Introducing PMS and ISP notations
ACM SIGCSE Bulletin
The pyramid teaching computer structures by computer structures
ACM SIGCSE Bulletin
Quick piping: a fast, high-level model for describing processor pipelines
Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems
Journal on Educational Resources in Computing (JERIC)
Embedded software in real-time signal processing systems: design technologies
Readings in hardware/software co-design
A compact, machine-independent peephole optimizer
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Automatic generation of machine specific code optimizers
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Eliminating redundant object code
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Teaching computer organization using a PDP-8 simulator
SIGCSE '03 Proceedings of the 34th SIGCSE technical symposium on Computer science education
Manchester Computer Architectures, 1948-1975
IEEE Annals of the History of Computing
IEEE Annals of the History of Computing
IEEE Design & Test
Three Decades of HDLs: Part I, CDL Through TI-HDL
IEEE Design & Test
Motorola's 88000 Family Architecture
IEEE Micro
ACM SIGARCH Computer Architecture News
Letter to membership from incoming chairman (CAN, Oct. 73)
ACM SIGARCH Computer Architecture News
A transformational approach to binary translation of delayed branches
ACM Transactions on Programming Languages and Systems (TOPLAS)
HMO, a hardware microcode optimizer
ISCA '75 Proceedings of the 2nd annual symposium on Computer architecture
Intermodule protocol for register transfer level modules: representation and analytic tools
ISCA '75 Proceedings of the 2nd annual symposium on Computer architecture
Picture systems, PS, and the design of a channel-to-channel computer interface
ISCA '75 Proceedings of the 2nd annual symposium on Computer architecture
Switched multiple instruction, multiple data stream processing
ISCA '75 Proceedings of the 2nd annual symposium on Computer architecture
A design-oriented computer engineering program
ISCA '75 Proceedings of the 2nd annual symposium on Computer architecture
An educational laboratory in contemporary digital design
ISCA '75 Proceedings of the 2nd annual symposium on Computer architecture
A proposal for certain process management and intercommunication primitives
ACM SIGOPS Operating Systems Review
ISPMET: a study in automatic emulator generation
MICRO 5 Conference record of the 5th annual workshop on Microprogramming
Describing instruction set processors using nML
EDTC '95 Proceedings of the 1995 European conference on Design and Test
A model for non interpreted structures of logical systems
DAC '84 Proceedings of the 21st Design Automation Conference
On the verification of computer architectures using an architecture description language
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
Functional level simulation in FANSIM3 - algorithms, data structures and results
DAC '81 Proceedings of the 18th Design Automation Conference
The modeling and synthesis of bus systems
DAC '81 Proceedings of the 18th Design Automation Conference
AIDE - a tool for computer architecture design
DAC '81 Proceedings of the 18th Design Automation Conference
Contrasting translation, verification and synthesis in software and firmware engineering
MICRO 14 Proceedings of the 14th annual workshop on Microprogramming
Formalization and automated synthesis of microprograms
MICRO 13 Proceedings of the 13th annual workshop on Microprogramming
An experiment in software engineering: The Architecture Research Facility as a case study
ICSE '79 Proceedings of the 4th international conference on Software engineering
Interactive microprogram validation: A Prime 400 testbed facility
MICRO 12 Proceedings of the 12th annual workshop on Microprogramming
High level language oriented hardware and the post-von Neumann era
ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
Multi-sim, a dynamic multi-level simulator
DAC '78 Proceedings of the 15th Design Automation Conference
A PMS level language for performance evaluation modelling (V-PMS)
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
A design tool for the multilevel description and simulation of systems of interconnected modules
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
A model of interference in a shared resource multiprocessor
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
Price/performance comparison of C.mmp and the PDP-10
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
Approaches to design of high level languages for microprogramming
MICRO 7 Conference record of the 7th annual workshop on Microprogramming
Modularity and multi-microprocessor structures
MICRO 7 Conference record of the 7th annual workshop on Microprogramming
Designing HMO, an integrated hardware microcode optimizer
MICRO 7 Conference record of the 7th annual workshop on Microprogramming
Markov chain models for analyzing memory interference in multiprocessor computer systems
ISCA '73 Proceedings of the 1st annual symposium on Computer architecture
Structure of digital system description languages
ISCA '73 Proceedings of the 1st annual symposium on Computer architecture
A methodology for parallel processing design tradeoffs
ISCA '73 Proceedings of the 1st annual symposium on Computer architecture
Flowware—a flow charting procedure to describe digital networks
ISCA '73 Proceedings of the 1st annual symposium on Computer architecture
Automated exploration of the design space for register transfer (RT) systems
ISCA '73 Proceedings of the 1st annual symposium on Computer architecture
A hardware laboratory for computer architecture research
ISCA '73 Proceedings of the 1st annual symposium on Computer architecture
Simulation exercises for computer architecture education
ISCA '73 Proceedings of the 1st annual symposium on Computer architecture
Increasing hardware complexity—a challenge to computer architecture education
ISCA '73 Proceedings of the 1st annual symposium on Computer architecture
Review of the workshop on computer architecture education
ISCA '73 Proceedings of the 1st annual symposium on Computer architecture
Issues in IC implementation of high level, abstract designs
DAC '80 Proceedings of the 17th Design Automation Conference
The design and implementation of fault insertion capabilities for ISPS
DAC '80 Proceedings of the 17th Design Automation Conference
On balancing hardware-firmware for designing a fault-tolerant computers' series
MICRO 8 Proceedings of the 8th annual workshop on Microprogramming
The design of a system for the synthesis of correct microprograms
MICRO 8 Proceedings of the 8th annual workshop on Microprogramming
Simulation hierarchy for microprocessor design
Proceedings of the Symposium on Design Automation and Microprocessors
State of the implementation of SARA
Proceedings of the Symposium on Design Automation and Microprocessors
The graph model of behavior simulator
Proceedings of the Symposium on Design Automation and Microprocessors
Developing a SARA building block - the 8080
Proceedings of the Symposium on Design Automation and Microprocessors
ACM '76 Proceedings of the 1976 annual conference
A large-scale dual operating system
ACM '73 Proceedings of the ACM annual conference
An interactive network of time-sharing computers
ACM '69 Proceedings of the 1969 24th national conference
DIAMOND a digital analyzer and monitoring device
PERFORMANCE '80 Proceedings of the 1980 international symposium on Computer performance modelling, measurement and evaluation
The role of emulation in performance measurement and evaluation
SIGMETRICS '76 Proceedings of the 1976 ACM SIGMETRICS conference on Computer performance modeling measurement and evaluation
MICRO 6 Conference record of the 6th annual workshop on Microprogramming
A knowledge-based code generator generator
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Code generation in a machine-independent compiler
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
The computer system representation problem
ANSS '73 Proceedings of the 1st symposium on Simulation of computer systems
ANSS '74 Proceedings of the 2nd symposium on Simulation of computer systems
Simulators and assemblers for minicomputers
ANSS '75 Proceedings of the 3rd symposium on Simulation of computer systems
Research paradigms in computer science
ICSE '76 Proceedings of the 2nd international conference on Software engineering
A “metasimulator” for microcoded processors
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
Digital logic simulation models and evolving technology
DAC '75 Proceedings of the 12th Design Automation Conference
Modeling and design description of hierarchical hardware/software systems
DAC '75 Proceedings of the 12th Design Automation Conference
An hierarchical language for the structural description of digital systems
DAC '77 Proceedings of the 14th Design Automation Conference
Measuring designer performance to verify design automation systems
DAC '77 Proceedings of the 14th Design Automation Conference
Formal semantics for the automated derivation of micro-code
DAC '82 Proceedings of the 19th Design Automation Conference
Computer system design description
DAC '82 Proceedings of the 19th Design Automation Conference
Computer science education in small colleges - a report with recommendations
SIGUCCS '72 Proceedings of the annual ACM SIGUCCS symposium on The administration and management of small-college computing centers
Multiprocessor hardware: An architectural overview
ACM '80 Proceedings of the ACM 1980 annual conference
Computer aided design of digital systems: Data part exploration
ACM '78 Proceedings of the 1978 annual conference - Volume 2
Predicting concurrent computer system performance using Petri-Net models
ACM '78 Proceedings of the 1978 annual conference - Volume 2
A comparative evaluation of the cost effectiveness of computer systems (Paper Session)
ACM '75 Proceedings of the 1975 annual conference
Hardware systems in the core curriculum of a computer science ph.d. program
SIGCSE '74 Proceedings of the fourth SIGCSE technical symposium on Computer science education
A terminal oriented Hardware Simulator for educational use
SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
The application of associative processing in discrete simulation
WSC '71 Proceedings of the 5th conference on Winter simulation
Instruction set processor specifications for simulation, evaluation, and synthesis
DAC '79 Proceedings of the 16th Design Automation Conference
DAC '79 Proceedings of the 16th Design Automation Conference
SABLE: A tool for generating structured, multi-level simulations
DAC '79 Proceedings of the 16th Design Automation Conference
The application of program verification techniques to hardware verification
DAC '79 Proceedings of the 16th Design Automation Conference
Computer hardware description languages and their applications
DAC '79 Proceedings of the 16th Design Automation Conference
Study of a Content Oriented Web Architectural Model
ICCNMC '01 Proceedings of the 2001 International Conference on Computer Networks and Mobile Computing (ICCNMC'01)
Review of Computer system architecture by M. Morris Mano. Prentice-Hall 1976.
ACM SIGARCH Computer Architecture News
Composing architectural styles from architectural primitives
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Code generation in a machine-independent compiler
ACM SIGPLAN Notices - Best of PLDI 1979-1999
Current research in computer networks: a personal view
ACM SIGCOMM Computer Communication Review
A practical application of memory interference models
ACM SIGMETRICS Performance Evaluation Review
A preliminary survey of artificial intelligence machines
ACM SIGART Bulletin
Microprogrammed Architectures Specified using PAISLey (A description of an ongoing project)
ACM SIGMICRO Newsletter
ACM SIGSIM Simulation Digest
Simulators and assemblers for minicomputers
ACM SIGSIM Simulation Digest
A halfbaked idea about a set of register transfer primitives: (part 1)
ACM SIGMICRO Newsletter
Specification Driven Behavioral Design Of Complex Systems
Journal of Integrated Design & Process Science
Specification Driven Behavioral Design Of Complex Systems
Journal of Integrated Design & Process Science
Early Computing at the University of Alberta and the Introduction of the LGP-30
IEEE Annals of the History of Computing
The New Jersey machine-code toolkit
TCON'95 Proceedings of the USENIX 1995 Technical Conference Proceedings
A Comparison of Register Transfer Languages for Describing Computers and Digital Systems
IEEE Transactions on Computers
A VLSI-Based I/O Formatting Device
IEEE Transactions on Computers
An Optical/Digital Processor: Hardware and Applications
IEEE Transactions on Computers
Some New Results on Average Worst Case Carry
IEEE Transactions on Computers
Slide: An I/O Hardware Descriptive Language
IEEE Transactions on Computers
Distributed Enumeration on Between Computers
IEEE Transactions on Computers
A Graph Model for Fault-Tolerant Computing Systems
IEEE Transactions on Computers
Analysis of Memory Interference in Multiprocessors
IEEE Transactions on Computers
Automatic Generation of Symbolic Reliability Functions for Processor-Memory-Switch Structures
IEEE Transactions on Computers - Lecture notes in computer science Vol. 174
Strum: Structured Microprogram Development System for Correct Firmware
IEEE Transactions on Computers
Processing by Data and Program Blocks
IEEE Transactions on Computers
On the Performance of Magnetic Bubble Memories in Computer Systems
IEEE Transactions on Computers
The PMS and ISP descriptive systems for computer structures
AFIPS '70 (Spring) Proceedings of the May 5-7, 1970, spring joint computer conference
The external access network of a modular computer system
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
Installation management: the next ten years
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
LOGOS and the software engineer
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
Evaluation of computer architectures via test programs
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
An architectural research facility: ISP descriptions, simulation, data collection
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
An organization for optical linkages between integrated circuits
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
Cm*: a modular, multi-microprocessor
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
The implementation of the Cm* multi-microprocessor
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
Software management of Cm*: a distributed multiprocessor
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
Instrumented architectural level emulation technology
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
The CMU RT-CAD system: an innovative approach to computer aided design
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
New directions for micro- and system architectures in the 1980s
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Modular crossbar switch for large-scale multiprocessor systems: structure and implementation
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
A semantic network of production rules in a system for describing computer structures
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
The architecture of the FAIM-1 symbolic multiprocessing system
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Memory Hardware for High Speed Job Selection
IEEE Transactions on Computers
Macro E-Nets for Representation of Parallel Systems
IEEE Transactions on Computers
On proving correctness of microprograms
IBM Journal of Research and Development
Versatile system-level memory-aware platform description approach for embedded MPSoCs
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems
Research toward an engineering discipline for software
Proceedings of the FSE/SDP workshop on Future of software engineering research
Some computer organizations and their effectiveness
IEEE Transactions on Computers
Instruction set processor specifications (ISPS): the notation and its applications
IEEE Transactions on Computers
Measuring designer performance to verify design automation systems
IEEE Transactions on Computers
Out of a closet: the early years of the computer museum
Dependable and Historic Computing
| Hi-index | 0.22 |