ACM Computing Surveys (CSUR)
Logical routing specification in office information systems
ACM Transactions on Information Systems (TOIS)
Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
A formal approach to undo operations in programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
4.2BSD and 4.3BSD as examples of the UNIX system
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
UIO: a uniform I/O system interface for distributed systems
ACM Transactions on Computer Systems (TOCS)
Coding quality and tools in programming methods
ACM SIGSOFT Software Engineering Notes
A retargetable instruction reorganizer
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Introduction to the programming language convert
ACM SIGPLAN Notices
An Instruction Issuing Approach to Enhancing Performance in Multiple Functional Unit Processors
IEEE Transactions on Computers
Software implementation of a recursive fault tolerance algorithm on a network of computers
ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
The design of an interactive compiler for optimizing microprograms
MICRO 18 Proceedings of the 18th annual workshop on Microprogramming
Target-independent high-level microprogramming
MICRO 18 Proceedings of the 18th annual workshop on Microprogramming
A microarchitecture description language for retargeting firmware tools
MICRO 19 Proceedings of the 19th annual workshop on Microprogramming
Design principles for the enhanced presentation of computer program source text
CHI '86 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A UNIX clone with source code for operating systems courses
ACM SIGOPS Operating Systems Review
An operating systems course project
ACM SIGCSE Bulletin
Support for dynamic binding in strongly typed languages
ACM SIGPLAN Notices
An implementation independent approach to cache memories
ACM SIGARCH Computer Architecture News
Use of instruction set simulators to evaluate the LOW RISC
ACM SIGARCH Computer Architecture News
Contexts—a partitioning concept for hypertext
ACM Transactions on Information Systems (TOIS)
A simulator for a reduced PDP-11/34
ACM SIGSIM Simulation Digest
Cint: a RISC interpreter for the C programming language
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Network measurement of the VMTP request-response protocol in the V distributed system
SIGMETRICS '87 Proceedings of the 1987 ACM SIGMETRICS conference on Measurement and modeling of computer systems
A case study of programming with abstract data types in a data structures course
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
A numerical code generation facility for REDUCE
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Controlling dynamic objects in large Ada systems
ACM SIGAda Ada Letters
Design tradeoffs to support the C programming language in the CRISP microprocessor
ASPLOS II Proceedings of the second international conference on Architectual support for programming languages and operating systems
The making of VIVID: a software engineering perspective
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Programming constructs for database system implementation in EXODUS
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Parallel programming in a virtual object space
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
A tutorial introduction to using IDL
ACM SIGPLAN Notices
Extensions for multi-module records in conventional programming languages
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Line drawings of octree-represented objects
ACM Transactions on Graphics (TOG)
NPATH: a measure of execution path complexity and its applications
Communications of the ACM
Communications of the ACM
ACM SIGPLAN Notices
Portability and the UNIX operating system
ACM SIGOPS Operating Systems Review
Pascal-FC: a language for teaching concurrent programming
ACM SIGPLAN Notices
A standard for a graph representation for functional programs
ACM SIGPLAN Notices
Multiprocessor experiments for high-speed ray tracing
ACM Transactions on Graphics (TOG)
ACM SIGCSE Bulletin
COCS '88 Proceedings of the ACM SIGOIS and IEEECS TC-OA 1988 conference on Office information systems
Benchmark Synthesis Using the LRU Cache Hit Function
IEEE Transactions on Computers
Dhrystone benchmark: rationale for version 2 and measurement rules
ACM SIGPLAN Notices
ACM Transactions on Computer Systems (TOCS)
Eliminating go to's while preserving program structure
Journal of the ACM (JACM)
Experience with test generation for real protocols
SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
Rendezvous Facilities: Concurrent C and the Ada Language
IEEE Transactions on Software Engineering
GENESIS: An Extensible Database Management System
IEEE Transactions on Software Engineering
Software engineering for distributed applications: the design project
ICSE '88 Proceedings of the 10th international conference on Software engineering
Enhancing program readability and comprehensibility with tools for program visualization
ICSE '88 Proceedings of the 10th international conference on Software engineering
Comments on innovative control constructs in pancode and EPN
ACM SIGPLAN Notices
Compiling C* programs for a hypercube multicomputer
PPEALS '88 Proceedings of the ACM/SIGPLAN conference on Parallel programming: experience with applications, languages and systems
Using distributed simulation for distributed application development
ANSS '88 Proceedings of the 21st annual symposium on Simulation
Expert assistance for manipulating of SGML document type definitions
DOCPROCS '88 Proceedings of the ACM conference on Document processing systems
A data-flow driven resource allocation in a retargetable microcode compiler
MICRO 21 Proceedings of the 21st annual workshop on Microprogramming and microarchitecture
A multiprocessor implementation of relaxation-based electrical circuit simulation
25 years of DAC Papers on Twenty-five years of electronic design automation
Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
Molecule: A Language Construct for Layered Development of Parallel Programs
IEEE Transactions on Software Engineering
Virtual rings: an introduction to concurrency
ACM SIGCSE Bulletin
Changes and extensions in the C family of languages
ACM SIGCSE Bulletin
Experience with Multiple Processor Versions of Concurrent C
IEEE Transactions on Software Engineering
ACM SIGCAPH Computers and the Physically Handicapped
An Overview of the Nexus Distributed Operating System Design
IEEE Transactions on Software Engineering
A portable high-speed PASCAL to C Translator
ACM SIGPLAN Notices
Interactive blackbox debugging for concurrent languages
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Encapsulation constructs in systems programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Recursive Pattern Matching on concrete data types
ACM SIGPLAN Notices
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
A text-based representation for program variants
SCM '89 Proceedings of the 2nd International Workshop on Software configuration management
Algorithms for string searching
ACM SIGIR Forum
Experiences creating a portable cedar
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Data-flow design as a visual programming language
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Group communication in multichannel networks with staircase interconnection topologies
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
A parallel `make' utility based on Linda's tuple-space
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Mapping the Interface Description Language Type Model into C
IEEE Transactions on Software Engineering
A mechanism for environment integration
ACM Transactions on Programming Languages and Systems (TOPLAS)
Production trees: a compact representation of parsed programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
The C Information Abstraction System
IEEE Transactions on Software Engineering
Typographic style is more than cosmetic
Communications of the ACM
On Criteria for Module Interfaces
IEEE Transactions on Software Engineering
Design of the Mneme persistent object store
ACM Transactions on Information Systems (TOIS)
A language for shading and lighting calculations
SIGGRAPH '90 Proceedings of the 17th annual conference on Computer graphics and interactive techniques
A new placement level wirability estimate with measurements
ACM SIGDA Newsletter
What every computer scientist should know about floating-point arithmetic
ACM Computing Surveys (CSUR)
Analyzing Error-Prone System Structure
IEEE Transactions on Software Engineering
Software and hardware parallelism on the iWarp multi-computer
ICS '91 Proceedings of the 5th international conference on Supercomputing
Techniques for debugging parallel programs with flowback analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modeling and measurement of the impact of Input/Output on system performance
ISCA '91 Proceedings of the 18th annual international symposium on Computer architecture
Data flow coverage and the C language
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Pragmatic parsing in Common Lisp; or, putting defmacro on steroids
ACM SIGPLAN Lisp Pointers
Implementing C function calls in rules for an expert system shell
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Structured programming with limited private types in Ada: nesting if for the soaring eagles
ACM SIGAda Ada Letters
Type-safe linkage for variables and functions
ACM SIGPLAN Notices
Concurrency & object-oriented programming
ACM SIGPLAN Notices
SKILL: A CAD system extension language
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
High level support for divide-and-conquer parallelism
Proceedings of the 1991 ACM/IEEE conference on Supercomputing
Using Program Slicing in Software Maintenance
IEEE Transactions on Software Engineering
A concurrent object-oriented framework for the simulation of neural networks
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
High-level language debugging for concurrent programs
ACM Transactions on Computer Systems (TOCS)
Language Design for Program Manipulation
IEEE Transactions on Software Engineering
Generating parallel code for SIMD machines
ACM Letters on Programming Languages and Systems (LOPLAS)
A quick introduction to the programming language MIKE
ACM SIGPLAN Notices
ACM SIGPLAN Notices
A new approach to text searching
Communications of the ACM
Knowledge-Directed Interpretation of Mechanical Engineering Drawings
IEEE Transactions on Pattern Analysis and Machine Intelligence
A confluent calculus of Macro expansion and evaluation
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
GENOA: a customizable language- and front-end independent code analyzer
ICSE '92 Proceedings of the 14th international conference on Software engineering
Computational mail as network infrastructure for computer-supported cooperative work
CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
Experiences in implementing Ada 9X protected records and requeue
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Query evaluation techniques for large databases
ACM Computing Surveys (CSUR)
An integrated general purpose automated test environment
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Detection and recovery of endangered variables caused by instruction scheduling
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
HOPL-II The second ACM SIGPLAN conference on History of programming languages
HOPL-II The second ACM SIGPLAN conference on History of programming languages
The development of the C language
HOPL-II The second ACM SIGPLAN conference on History of programming languages
On subprograms with a variable number of parameters of varying types
ACM SIGPLAN Notices
Creating well formed class inheritance schemes in C++
OOPSLA '92 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Imperative functional programming
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Gnome view: a tool for visual representation of human Genome data
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
ACM SIGCSE Bulletin
A RISC processor architecture with a versatile stack system
ACM SIGARCH Computer Architecture News - Special issue on input/output in parallel computer systems
Extending APL2 to include program control structures
APL '93 Proceedings of the international conference on APL
Towards increased productivity of algorithm implementation
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
The design of the E programming language
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM SIGPLAN Notices
A first report on the A# compiler
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Self-reference is an illustrative essential
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
The design and implementation of tripwire: a file system integrity checker
CCS '94 Proceedings of the 2nd ACM Conference on Computer and communications security
A formal model and specification language for procedure calling conventions
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Obtaining sequential efficiency for concurrent object-oriented languages
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A brief look at extension programming before and now
ACM SIGPLAN Notices
Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs
IEEE Transactions on Software Engineering
Number-crunching software and the input problem: guidelines and a case study
Scientific Programming
A pragmatic approach to C++, Eiffel and Ada 9X programming
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Software reflexion models: bridging the gap between source and high-level models
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Lightweight source model extraction
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Generation of formatters for context-free languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Lightweight lexical source model extraction
ACM Transactions on Software Engineering and Methodology (TOSEM)
Evaluating The Mediator Method: Prism as a Case Study
IEEE Transactions on Software Engineering
On-Line Recognition of Handwritten Symbols
IEEE Transactions on Pattern Analysis and Machine Intelligence
FramerD: representing knowledge in the large
IBM Systems Journal
A design of a distributed full text retrieval system
Proceedings of the 9th annual international ACM SIGIR conference on Research and development in information retrieval
Rosetta: a generator of data language compilers
Proceedings of the 1997 symposium on Software reusability
Proximal nodes: a model to query document databases by content and structure
ACM Transactions on Information Systems (TOIS)
Specifying complex dialogs in ALGAE
CHI '87 Proceedings of the SIGCHI/GI Conference on Human Factors in Computing Systems and Graphics Interface
Modular implementation of presentations
CHI '87 Proceedings of the SIGCHI/GI Conference on Human Factors in Computing Systems and Graphics Interface
Software synthesis of process-based concurrent programs
DAC '98 Proceedings of the 35th annual Design Automation Conference
Version models for software configuration management
ACM Computing Surveys (CSUR)
A data structure for circuit net lists
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
I/O considered harmful (at least for the first few weeks)
Proceedings of the 2nd Australasian conference on Computer science education
Hardware compilation for FPGA-based configurable computing machines
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Manipulating source code in DynamicDesign
HYPERTEXT '87 Proceedings of the ACM conference on Hypertext
Technology tracking for VLSI layout design tools
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
An object-oriented, procedural database for VLSI chip planning
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
C based discrete event simulation support system
WSC '88 Proceedings of the 20th conference on Winter simulation
WSC '88 Proceedings of the 20th conference on Winter simulation
CSIM: a C-based process-oriented simulation language
WSC '86 Proceedings of the 18th conference on Winter simulation
The architecture of the EXODUS extensible DBMS
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
An object server for an object-oriented database system
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
ICSE '85 Proceedings of the 8th international conference on Software engineering
Automatic tuning of multi-task programs for real-time embedded systems
ICSE '85 Proceedings of the 8th international conference on Software engineering
Query optimization in star computer networks
ACM Transactions on Database Systems (TODS)
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
Compiler optimization by detecting recursive subprograms
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
High level hierarchical fault simulation techniques
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
The porting of XINU to the system 370 VM/CMS environment (abstract only)
CSC '87 Proceedings of the 15th annual conference on Computer Science
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
A hierarchial, combinatorial-Markov model of solving complex reliability models
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Creation and smooth-shading of Steiner patch tessellations
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Load balancing in NEST: a network of workstations
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Squeak: a language for communicating with mice
SIGGRAPH '85 Proceedings of the 12th annual conference on Computer graphics and interactive techniques
SIGGRAPH '85 Proceedings of the 12th annual conference on Computer graphics and interactive techniques
The University of Alberta user interface management system
SIGGRAPH '85 Proceedings of the 12th annual conference on Computer graphics and interactive techniques
Introduction to process-oriented simulation and CSIM (tutorial session)
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Keywords: special identifier idioms
ACM SIGPLAN Notices
Comparison of the Programming Languages C and Pascal
ACM Computing Surveys (CSUR)
Interactive Editing Systems: Part II
ACM Computing Surveys (CSUR)
Retargetable Compiler Code Generation
ACM Computing Surveys (CSUR)
Control Flow Aspects of Semantics-Directed Compiling
ACM Transactions on Programming Languages and Systems (TOPLAS)
Anti-Aliasing through the Use of Coordinate Transformations
ACM Transactions on Graphics (TOG)
An Integer Method for the Graphical Output of Conic Sections
ACM Transactions on Graphics (TOG)
Communications of the ACM
Improved interpretation of UNIX-like file names embedded in data
Communications of the ACM
Dhrystone: a synthetic systems programming benchmark
Communications of the ACM
Optimization criteria for checkpoint placement
Communications of the ACM
Transporting a portable operating system: UNIX to an IBM minicomputer
Communications of the ACM
Microcomputers as remote nodes of a distributed system
Communications of the ACM
Communications of the ACM
Efficient compilation of process-based concurrent programs without run-time scheduling
Proceedings of the conference on Design, automation and test in Europe
Exploiting metrics to facilitate grammar transformation into LALR format
Proceedings of the 2001 ACM symposium on Applied computing
Type-based analysis and applications
PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Modular programming in C: an approach and an example
ACM SIGPLAN Notices
Non-technical issues in acceptance of SILs
ACM SIGPLAN Notices
A note on the vector C language
ACM SIGPLAN Notices
Technical opinion: The emperor with no clothes
Communications of the ACM
Technical opinion: Hello, world considered harmful
Communications of the ACM
Compiler prototyping using formal semantics
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
A portable optimizing compiler for Modula-2
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Growing languages with metamorphic syntax macros
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Using symbolic execution for verifying safety-critical systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
The list(3) package: software design and reusability
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
A case study in specifying the semantics of a programming language
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An overview of the SUMMER programming language
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A case study in specifying the semantics of a programming language
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Paths: an abstract alternative to pointers
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Description-driven code generation using attribute grammars
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
Towards Verification of C Programs. C-Light Language and Its Formal Semantics
Programming and Computing Software
Refined Description of the C[] Language
Programming and Computing Software
Towards automated modification of legacy assets
Annals of Software Engineering
QRTP: A Middleware for Broadband Networks
Multimedia Tools and Applications
Implementation-Independent Model of an Instruction Set Architecture in VHDL
IEEE Design & Test
IEEE Software
Techniques for Selective Revalidation
IEEE Software
System M: A Transaction Processing Testbed for Memory Resident Data
IEEE Transactions on Knowledge and Data Engineering
Data Management and Control-Flow Aspects of an SIMD/SPMD Parallel Language/Compiler
IEEE Transactions on Parallel and Distributed Systems
DAIS: A Distributed AI Programming Shell
IEEE Expert: Intelligent Systems and Their Applications
Software Reflexion Models: Bridging the Gap between Design and Implementation
IEEE Transactions on Software Engineering
Automated Protocol Implementation with RTAG
IEEE Transactions on Software Engineering
An Overview of a Graphical Multilanguage Applications Environment
IEEE Transactions on Software Engineering
Verifying Definite Iteration Over Data Structures
IEEE Transactions on Software Engineering
A": A Language for Implementing Language Processors
IEEE Transactions on Software Engineering
An analysis of C machine support for other block-structured languages
ACM SIGARCH Computer Architecture News
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
An Analytical Method for Estimating and Interpreting Query Time
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Implementing an Interpreter for Functional Rules in a Query Optimizer
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
The C-based Database Programming Language Jasmine/C
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
What is "Object-Oriented Programming?"
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Fundamentals of Generic Programming
Selected Papers from the International Seminar on Generic Programming
Programming Rule Static Verification for Reliable Software
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
An Environment for Building Customizable Software Components
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
The origin of concurrent programming
Journal of Computing Sciences in Colleges
Supporting communications infrastructure evolution
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Towards a Uniform Notation for Memory Tests
EDTC '96 Proceedings of the 1996 European conference on Design and Test
DAC '83 Proceedings of the 20th Design Automation Conference
DAC '83 Proceedings of the 20th Design Automation Conference
Space efficient algorithms for VLSI artwork analysis
DAC '83 Proceedings of the 20th Design Automation Conference
UCAD: Building Design Automation with general purpose software tools on UNIX
DAC '83 Proceedings of the 20th Design Automation Conference
ADL: An algorithmic design language for integrated circuit synthesis
DAC '84 Proceedings of the 21st Design Automation Conference
A multiprocessor implementation of relaxation-based electrical circuit simulation
DAC '84 Proceedings of the 21st Design Automation Conference
DAC '84 Proceedings of the 21st Design Automation Conference
Interfaces between protocol layers on a multiprocessor system
SIGCOMM '83 Proceedings of the eighth symposium on Data communications
An APL compiler for the UNIX timesharing system
APL '83 Proceedings of the international conference on APL
The Boolean Vector Machine [BVM]
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
Towards a family of languages for the design and implementation of machine architectures
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
The operating system and language support features of the BELLMACTM-32 microprocessor.
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
Register allocation for free: The C machine stack cache
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
Retrospective on high-level language computer architecture
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
Table: Object oriented editing of complex structures
ICSE '84 Proceedings of the 7th international conference on Software engineering
Implementation of multilisp: Lisp on a multiprocessor
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Recent developments in ISI-interlisp
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Implementation of Interlisp on the VAX
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
AIDE - a tool for computer architecture design
DAC '81 Proceedings of the 18th Design Automation Conference
Implementing SMART for minicomputers via relational processing With abstract data types
SIGSMALL '81 Proceedings of the 1981 ACM SIGSMALL symposium on Small systems and SIGMOD workshop on Small database systems
ICSE '81 Proceedings of the 5th international conference on Software engineering
An overview of BLN: A bell laboratories computing network
SIGCOMM '81 Proceedings of the seventh symposium on Data communications
Design of a user-microprogrammable building block
MICRO 13 Proceedings of the 13th annual workshop on Microprogramming
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Software development control based on module interconnection
ICSE '79 Proceedings of the 4th international conference on Software engineering
A distributed approach to queueing network simulation
WSC '79 Proceedings of the 11th conference on Winter simulation - Volume 2
Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software
Syntax-directed editing of general data structures
Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation
A voice response system for an office information system
Proceedings of the SIGOA conference on Office information systems
The Roscoe distributed operating system
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Mod-PROLOG, a modular, microcomputer oriented PROLOG
SIGSMALL '83 Proceedings of the 1983 ACM SIGSMALL symposium on Personal and small computers
RM: A resource-sharing system for personal computers
SIGSMALL '83 Proceedings of the 1983 ACM SIGSMALL symposium on Personal and small computers
SODA: A simplified operating system for distributed applications
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Structured Editor Support for Modularity and Data Abstraction
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Efficient abstractions for the implementation of structured editors
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
NIL: An integrated language and system for distributed programming
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
A high-level programming and command language
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Implementation of a portable Fortran 77 compiler using modern tools
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Control flow aspects of semantics directed compiling (Summary)
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Complexity measurement of Electronic Switching System (ESS) software
SCORE '82 Selected papers of the 1982 ACM SIGMETRICS workshop on Software metrics: part 2
Source-to-source translation: Ada to Pascal and Pascal to Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
The Blit debugger (Preliminary Draft)
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Microassembly and area reduction techniques for PLA microcode
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
Transparent microprogramming in support of abstract type oriented dynamic vertical migration
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
Viewing a programming environment as a single tool
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
The early history and characteristics of PL/I
ACM SIGPLAN Notices - Special issue: History of programming languages conference
Abstract types, ADA packages, and the teaching of data structures
SIGSCE '84 Proceedings of the fifteenth SIGCSE technical symposium on Computer science education
A retrospective on software engineering in design automation
DAC '82 Proceedings of the 19th Design Automation Conference
VEEP A VEctor Editor and Preparer
DAC '82 Proceedings of the 19th Design Automation Conference
Discrete event simulation languages current status and future directions
WSC '84 Proceedings of the 16th conference on Winter simulation
WSC '84 Proceedings of the 16th conference on Winter simulation
Experience with porting the Portable C Compiler
ACM '82 Proceedings of the ACM '82 conference
Designers Workbench—efficient and economical design aids
DAC '79 Proceedings of the 16th Design Automation Conference
Combining the use of software tools to generate interfaces
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Automated Translation of Legacy Code for ATE
ITC '01 Proceedings of the 2001 IEEE International Test Conference
SODS/OS: a distributed operating system for the IBM series/1
ACM SIGOPS Operating Systems Review
A modified cellular automata model of nucleotide interactions and non-enzymatic transcription of DNA
INBS '95 Proceedings of the First International Symposium on Intelligence in Neural and Biological Systems (INBS'95)
A Simulation for Real Time Data Compression
ITCC '00 Proceedings of the The International Conference on Information Technology: Coding and Computing (ITCC'00)
SODA: a simplified operating system for distributed applications
ACM SIGOPS Operating Systems Review
The Transmogrifier C hardware description language and compiler for FPGAs
FCCM '95 Proceedings of the IEEE Symposium on FPGA's for Custom Computing Machines
An experimental C compiler for the Cray 2 computer
ACM SIGPLAN Notices
Type syntax in the language "C": an object lesson in syntactic innovation
ACM SIGPLAN Notices
Contour: a method of preparing structured flowcharts
ACM SIGPLAN Notices
Classes: an abstract data type facility for the C language
ACM SIGPLAN Notices
A technique for finding storage allocation errors in C-language programs
ACM SIGPLAN Notices
Ambiguities and insecurities in Modula-2
ACM SIGPLAN Notices
Should program editors not abandon text oriented commands?
ACM SIGPLAN Notices
ACM SIGPLAN Notices
The "simplest functional programming language" is neither simple nor functional
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Prettyprinting styles for various languages
ACM SIGPLAN Notices
Free and bound generics: two techniques for abstract data types in modular C
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Source-to-source translation: Ada to Pascal and Pascal to Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
Visualizing code profiling line oriented statistics
VIS '92 Proceedings of the 3rd conference on Visualization '92
GENVIEW: a portable source-level debugger for macrocell generators
EURO-DAC '91 Proceedings of the conference on European design automation
Computer assisted communication system
ACM SIGCAPH Computers and the Physically Handicapped
ACM SIGPLAN Notices
ACM SIGPLAN Notices
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Journal of Functional Programming
Investigating the possibility of a microprocessor-based machine translation system
ANLC '83 Proceedings of the first conference on Applied natural language processing
On "powerloop" constructs in programming languages
ACM SIGPLAN Notices
ACM SIGPLAN Notices
A case for teaching multi-exit loops to beginning programmers
ACM SIGPLAN Notices
System programming in Modula-2
ACM SIGPLAN Notices
A note on the MODULO operation
ACM SIGPLAN Notices
"Some concerns about Modula-2" considered unwarranted
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Further notes on the modulo operator
ACM SIGPLAN Notices
A technique for finding storage allocation errors in C-language programs
ACM SIGPLAN Notices
Interactive computer graphics with the UNIX time-sharing system
ACM SIGGRAPH Computer Graphics
Ada packages and the user's conceptual model
ACM SIGAda Ada Letters
ACM SIGSOFT Software Engineering Notes
Syntax-directed editing revisited
ACM SIGSOFT Software Engineering Notes
An interprocess communication model for a distributed software testbed
SIGCOMM '83 Proceedings of the symposium on Communications Architectures & Protocols
Extending Ada legally via pre-processors
ACM SIGAda Ada Letters
Architectural modifications to deployed software
Science of Computer Programming
Representing linear algebra algorithms in code: the FLAME application program interfaces
ACM Transactions on Mathematical Software (TOMS)
History of programming languages---II
History of programming languages---II
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Gentran: an automatic code generation facility for REDUCE
ACM SIGSAM Bulletin
Experimentation with a two-level microprogrammed multiprocessor computer
ACM SIGMICRO Newsletter
Experience developing microcode using a high level language
ACM SIGMICRO Newsletter
How far should a database system go? (to support a statistical one)
SSDBM'83 Proceedings of the 2nd international workshop on Proceedings of the Second International Workshop on Statistical Database Management
The development of Chez Scheme
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
VT: a virtual terminal window package for UNIX
ACM SIGSMALL Newsletter
The early history and characteristics of PL/I
History of programming languages I
Evolving a language in and for the real world: C++ 1991-2006
Proceedings of the third ACM SIGPLAN conference on History of programming languages
End-user systems, reusability, and high-level design
VHLLS'94 Proceedings of the USENIX 1994 Very High Level Languages Symposium Proceedings on USENIX 1994 Very High Level Languages Symposium Proceedings
Profiling and tracing dynamic library usage via interposition
USTC'94 Proceedings of the USENIX Summer 1994 Technical Conference on USENIX Summer 1994 Technical Conference - Volume 1
Extended data formatting using Sfio
ATEC '00 Proceedings of the annual conference on USENIX Annual Technical Conference
ACM Turing award lectures
High Performance Development for High End Computing With Python Language Wrapper (PLW)
International Journal of High Performance Computing Applications
IEEE Transactions on Computers
Strategies for Managing the Register File in RISC
IEEE Transactions on Computers
Strongly typed genetic programming
Evolutionary Computation
Design and fabrication of a programmable 5-DOF autonomous robotic arm
ISTASC'06 Proceedings of the 6th WSEAS International Conference on Systems Theory & Scientific Computation
A rigorous approach towards test case generation
Information Sciences: an International Journal
DMERT: an operating system for telecommunications systems
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
A prototyping environment for real-time graphics
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
The fault-tolerant 3B-20 processor
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
CARL: experience of an application using clusters
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Euclid: a language for compiling quality software
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
A tiny portable language-independent macroprocessor and some applications
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Demystifying magic: high-level low-level programming
Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
Can we refactor conditional compilation into aspects?
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Optimizing header file include directives
Journal of Software Maintenance and Evolution: Research and Practice
A Discussion of Video Capturing to Assist in Distance Learning
OCSC '09 Proceedings of the 3d International Conference on Online Communities and Social Computing: Held as Part of HCI International 2009
Volume Computation for Boolean Combination of Linear Arithmetic Constraints
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Empirical Software Engineering
Dead or Alive: finding zombie features in the Linux kernel
FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development
Optimization and code generation in a compiler for several machines
IBM Journal of Research and Development
The C programming language and a C compiler
IBM Systems Journal
Models and tools for managing development processes
Models and tools for managing development processes
CScout: A refactoring browser for C
Science of Computer Programming
Objective coordination in multi-agent system engineering: design and implementation
Objective coordination in multi-agent system engineering: design and implementation
On revival of Algol-concepts in modern programming and specification languages
Formal methods and hybrid real-time systems
Constraint solving techniques for software testing and analysis
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
On behavior fault modeling for combinational digital designs
ITC'88 Proceedings of the 1988 international conference on Test: new frontiers in testing
MetaLexer: a modular lexical specification language
Proceedings of the tenth international conference on Aspect-oriented software development
Program analysis: from qualitative analysis to quantitative analysis (NIER track)
Proceedings of the 33rd International Conference on Software Engineering
Compiler-enforced memory semantics in the SACLIB computer algebra library
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
The pervasiveness of global data in evolving software systems
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
A quantitative model for software engineering trends
Information Sciences: an International Journal
Simple algebraic data types for C
Software—Practice & Experience
Vibes: A visual language for specifying behavioral requirements of algorithms
Journal of Visual Languages and Computing
| Hi-index | 0.22 |