Communicating Sequential Processes for Centralized and Distributed Operating System Design
ACM Transactions on Programming Languages and Systems (TOPLAS)
On time and space decomposition of complex structures
Communications of the ACM
Paradigms for design and implementation in ADA
Communications of the ACM
MULTILISP: a language for concurrent symbolic computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
The alchemy model: a model for homogeneous and heterogeneous distributed computing system
ACM SIGOPS Operating Systems Review
APL '86 Proceedings of the international conference on APL
Toward a general object-oriented software development methodology
ACM SIGAda Ada Letters
Designing large real-time systems with Ada
Communications of the ACM
Debugging Parallel Programs with Instant Replay
IEEE Transactions on Computers
Synchronization primitives for a multiprocessor: a formal specification
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
On synchronization in hard-real-time systems
Communications of the ACM
The DUNIX distributed operating system
ACM SIGOPS Operating Systems Review
A microprogramming project for a course in computer systems
ACM SIGCSE Bulletin
Promises: linguistic support for efficient asynchronous procedure calls in distributed systems
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Extension and software development
ICSE '88 Proceedings of the 10th international conference on Software engineering
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
An open enviornment for building parallel programming systems
PPEALS '88 Proceedings of the ACM/SIGPLAN conference on Parallel programming: experience with applications, languages and systems
A hierarchical description of the Hermix distributed operating system
SIGSMALL '88 Proceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES
Kit: A Study in Operating System Verification
IEEE Transactions on Software Engineering
A Case Study in Structure Specification: a Grid Description of Scribe
IEEE Transactions on Software Engineering
The Evolution Support Environment System
IEEE Transactions on Software Engineering
Making asynchronous parallelism safe for the world
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A system for teaching concurrent programming
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
SIGMETRICS '91 Proceedings of the 1991 ACM SIGMETRICS conference on Measurement and modeling of computer systems
The muse object architecture: a new operating system structuring concept
ACM SIGOPS Operating Systems Review
A Retrospective on the VAX VMM Security Kernel
IEEE Transactions on Software Engineering
The design and implementation of hierarchical software systems with reusable components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling distributed file systems
ACM SIGMETRICS Performance Evaluation Review
Programming-in-the-large: past, present, and future
ICSE '92 Proceedings of the 14th international conference on Software engineering
Fast mutual exclusion for uniprocessors
ASPLOS V Proceedings of the fifth international conference on Architectural support for programming languages and operating systems
HOPL-II The second ACM SIGPLAN conference on History of programming languages
A multitasking executive for operating systems courses
ACM SIGOPS Operating Systems Review
The interdisciplinary study of coordination
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
BITS: a smartcard protected operating system
Communications of the ACM
A taxonomy of software development methods
Communications of the ACM
Teaching a first course on data structures: a software engineering approach
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Precise Documentation of Well-Structured Programs
IEEE Transactions on Software Engineering
Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool
IEEE Transactions on Software Engineering - Special issue on software architecture
ACM SIGOPS Operating Systems Review
Research directions in software architecture
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Computer
ACM SIGICE Bulletin
Composition Validation and Subjectivity in GenVoca Generators
IEEE Transactions on Software Engineering
Nico Habermann's research: a brief retrospective
ICSE '94 Proceedings of the 16th international conference on Software engineering
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
Building reliable, high-performance communication systems from components
Proceedings of the seventeenth ACM symposium on Operating systems principles
Concurrent Processes and Their Syntax
Journal of the ACM (JACM)
A structural computer system resource model for teaching computer organization
SIGCSE '85 Proceedings of the sixteenth SIGCSE technical symposium on Computer science education
The structuring of systems using upcalls
Proceedings of the tenth ACM symposium on Operating systems principles
On the use of personal computers in teaching the principles of concurrent processing (abstract only)
CSC '87 Proceedings of the 15th annual conference on Computer Science
Interactive image cube visualization and analysis
VVS '89 Proceedings of the 1989 Chapel Hill workshop on Volume visualization
Software architecture: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Layered virtual machine/object-oriented design
WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
ACM Computing Surveys (CSUR)
Third Generation Computer Systems
ACM Computing Surveys (CSUR)
Some Deadlock Properties of Computer Systems
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Concurrent Programming Concepts
ACM Computing Surveys (CSUR)
Programming and Documenting Software Projects
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Fault Tolerant Operating Systems
ACM Computing Surveys (CSUR)
Operating System Structures to Support Security and Reliable Software
ACM Computing Surveys (CSUR)
Reliability Issues in Computing System Design
ACM Computing Surveys (CSUR)
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Proving Liveness Properties of Concurrent Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
The aggregate server method for analyzing serialization delays in computer systems
ACM Transactions on Computer Systems (TOCS)
Enhancing the operating systems course using the MPS or chip hardware simulator
Proceedings of the eighth annual consortium on Computing in Small Colleges Rocky Mountain conference
ACM president's letter: are operating systems obsolete?
Communications of the ACM
An optimal algorithm for mutual exclusion in computer networks
Communications of the ACM
Parallel programs: proofs, principles, and practice
Communications of the ACM
ACM president's letter: computer architecture: some old ideas that haven't quite made it yet
Communications of the ACM
The structure of modular program
Communications of the ACM
Modularization and hierarchy in a family of operating systems
Communications of the ACM
Decomposability, instabilities, and saturation in multiprogramming systems
Communications of the ACM
A large semaphore based operating system
Communications of the ACM
Use of the concept of transparency in the design of hierarchically structured systems
Communications of the ACM
Multiprocessing compactifying garbage collection
Communications of the ACM
A new solution of Dijkstra's concurrent programming problem
Communications of the ACM
Exception handling: issues and a proposed notation
Communications of the ACM
The design of the Venus operating system
Communications of the ACM
A hardware architecture for implementing protection rings
Communications of the ACM
Synchronization of communicating processes
Communications of the ACM
Curriculum recommendations for graduate professional programs in information systems
Communications of the ACM
Interference between communicating parallel processes
Communications of the ACM
Communications of the ACM
Programming systems and languages 1965-1975
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Mixed solutions for the deadlock problem
Communications of the ACM
Dynamic verification of operating system decisions
Communications of the ACM
Curriculum recommendations for undergraduate programs in information systems
Communications of the ACM
Concurrent control with “readers” and “writers”
Communications of the ACM
Process management and resource sharing in the multiaccess system in ESOPE
Communications of the ACM
Compact finite difference schemes for ocean models: 1. Ocean waves
Journal of Computational Physics
On multiprogramming, machine coding, and computer organization
Communications of the ACM
Synchronization in a parallel-accessed data base
Communications of the ACM
HYDRA: the kernel of a multiprocessor operating system
Communications of the ACM
Engineering processes in managing software system development
ACM SIGCPR Computer Personnel
Software engineering in an academic computer science curriculum
ACM SIGCSE Bulletin
Design requirements of a single-user operating system
ACM SIGSMALL/PC Notes
Data base decomposition in a hierarchical computer system
SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
Using aspectC to improve the modularity of path-specific customization in operating system code
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Structured programming and FORTRAN
ACM-SE 14 Proceedings of the 14th annual Southeast regional conference
ACM SIGOPS Operating Systems Review
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The well-tempered semaphore: theme with variations
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
On the intrinsic value of informationobjects and the infosphere
Ethics and Information Technology
IEEE Annals of the History of Computing
Orthogonally persistent object systems
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
Scenario-Based Analysis of Software Architecture
IEEE Software
Evaluation criteria for abstract machines with unknown applications
ACM SIGARCH Computer Architecture News
New Concurrency Control Algorithms for Accessing and Compacting B-Trees
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
The Need for Compositional Proof Systems: A Survey
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
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
Proceedings of the 8th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
The invention of concurrent programming
The origin of concurrent programming
The structure of the "The" multiprogramming system
The origin of concurrent programming
It is not time to define "structured programming"
ACM SIGOPS Operating Systems Review
A proposal for certain process management and intercommunication primitives
ACM SIGOPS Operating Systems Review
Some new transitions in hierarchical level structures
ACM SIGOPS Operating Systems Review
A component architecture for an extensible, highly integrated context-aware computing infrastructure
Proceedings of the 25th International Conference on Software Engineering
A project for a course in operating systems
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
Hierarchical function distribution - a design principle for advanced multicomputer architectures
ISCA '83 Proceedings of the 10th annual international symposium on Computer architecture
Heart: An operating system nucleus machine implemented by firmware
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
An architecture with comprehensive facilities of inter-process synchronization and communication
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
A method of large-scale software development
ICSE '84 Proceedings of the 7th international conference on Software engineering
Minimal multitasking operating systems for real-time controllers
SIGSMALL '81 Proceedings of the 1981 ACM SIGSMALL symposium on Small systems and SIGMOD workshop on Small database systems
Design and implementation of a portable database system for small computers
SIGSMALL '81 Proceedings of the 1981 ACM SIGSMALL symposium on Small systems and SIGMOD workshop on Small database systems
A concurrent computer architecture and a ring based implementation
ISCA '79 Proceedings of the 6th annual symposium on Computer architecture
ICSE '79 Proceedings of the 4th international conference on Software engineering
Software engineering in avionics applications
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Designing software for ease of extension and contraction
ICSE '78 Proceedings of the 3rd international conference on Software engineering
An operating systems implementation project for an undergraduate course
SIGCSE '77 Proceedings of the seventh SIGCSE technical symposium on Computer science education
A course in computer structures
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
Interface, a dispersed architecture
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
Tagged architecture and the semantics of programming languages: Extensible types
ISCA '76 Proceedings of the 3rd annual symposium on Computer architecture
Limitations of synchronization primitives with conditional branching and global variables
STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing
The design of the virtual memory aspects of a virtual machine
Proceedings of the workshop on virtual computer systems
GESOP: A relational data base using generalized arrays and data-base primitives
APL '79 Proceedings of the international conference on APL: part 1
Operating system projects for undergraduates
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
SIGCSE '76 Proceedings of the sixth SIGCSE technical symposium on Computer science education
DAC '76 Proceedings of the 13th Design Automation Conference
DAC '76 Proceedings of the 13th Design Automation Conference
A structure for interprocess communication in a data communications handler
ACM '76 Proceedings of the 1976 annual conference
Levels of abstraction and compilers
ACM '76 Proceedings of the 1976 annual conference
A tool for enforcing system structure
ACM '73 Proceedings of the ACM annual conference
A large-scale dual operating system
ACM '73 Proceedings of the ACM annual conference
The current state of proving programs correct
ACM '72 Proceedings of the ACM annual conference - Volume 1
Hierarchical modeling of operating system structure and behavior
ACM '72 Proceedings of the ACM annual conference - Volume 2
Organizing computer systems for learnability and useability
MICRO 6 Conference record of the 6th annual workshop on Microprogramming
Some deadlock properties of computer systems
SOSP '71 Proceedings of the third ACM symposium on Operating systems principles
Process synchronization without long-term interlock
SOSP '71 Proceedings of the third ACM symposium on Operating systems principles
Short-term scheduling in multiprogramming systems
SOSP '71 Proceedings of the third ACM symposium on Operating systems principles
Process selection in a hierarchical operating system
SOSP '71 Proceedings of the third ACM symposium on Operating systems principles
MERT - a multi-environment real-time operating system
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
Architecture of a real time operating system
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
Sharing data and services in a virtual machine system
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
The Multics kernel design project
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
A microprogrammed satellite graphics system
Proceedings of the meeting on SIGPLAN/SIGMICRO interface
The System Language for Project SUE
Proceedings of the SIGPLAN symposium on Languages for system implementation
Using a distributed mini-computer network to automate a biochemical laboratory
SIGMINI '76 Proceedings of the ACM SIGMINI/SIGPLAN interface meeting on Programming systems in the small processor environment
Structured model development techniques
ANSS '74 Proceedings of the 2nd symposium on Simulation of computer systems
Minimization of supervisor conflict for multiprocessor computer systems
ANSS '76 Proceedings of the 4th symposium on Simulation of computer systems
System design and implementation of BGRAF2
SIGGRAPH '78 Proceedings of the 5th annual conference on Computer graphics and interactive techniques
Data flow, abstraction levels and specifications for communications switching systems
ICSE '76 Proceedings of the 2nd international conference on Software engineering
A system for automatic software evaluation
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Interprocess communication in real-time systems
SOSP '73 Proceedings of the fourth ACM symposium on Operating system principles
An experimental implementation of the kernel/domain architecture
SOSP '73 Proceedings of the fourth ACM symposium on Operating system principles
Report of session on structured programming
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Semantic aspects of concurrent processes
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Hierarchical language definition
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Abstract machines and software design
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Towards the formal description of operating systems
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
The development of the SIMULA languages
ACM SIGPLAN Notices - Special issue: History of programming languages conference
Specification techniques for data abstractions
Proceedings of the international conference on Reliable software
Structured programming in a production programming environment
Proceedings of the international conference on Reliable software
“Software reliability in online real time environment”
Proceedings of the international conference on Reliable software
A structured specification of a hierarchical operating system
Proceedings of the international conference on Reliable software
System structure for software fault tolerance
Proceedings of the international conference on Reliable software
A paged - operating - system project
SIGSCE '84 Proceedings of the fifteenth SIGCSE technical symposium on Computer science education
A computer architecture for system performance monitoring
SIGME '73 Proceedings of the 1973 ACM SIGME symposium
Status of graduate software engineering education
ACM '81 Proceedings of the ACM '81 conference
Educator's view of structured concepts
ACM '80 Proceedings of the ACM 1980 annual conference
Formal module level specifications
ACM '77 Proceedings of the 1977 annual conference
Comments on the topic “programming, and its implication on programming languages”
ACM '75 Proceedings of the 1975 annual conference
On the failure to implement structured programming and other techniques
ACM '75 Proceedings of the 1975 annual conference
A model highlighting the security of operating systems
ACM '74 Proceedings of the 1974 annual conference - Volume 1
PROCSY: The Purdue Remote On-line Console System
ACM '71 Proceedings of the 1971 26th annual conference
Principles of computer system organization
SIGCSE '70 Proceedings of the first SIGCSE technical symposium on Education in computer science
Communication protocols in a network context
Proceedings of the 1975 ACM SIGCOMM/SIGOPS workshop on Interprocess communications
Computer system modelling: A test bed for new software technologies
WSC '74 Proceedings of the 7th conference on Winter simulation - Volume 2
Database sharing: A study of interference, roadblock and deadlock
SIGFIDET '72 Proceedings of 1972 ACM-SIGFIDET workshop on Data description, access and control
A Catalogue of General-Purpose Software Design Patterns
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Some deadlock properties of computer systems
ACM SIGOPS Operating Systems Review
Process synchronization without long-term interlock
ACM SIGOPS Operating Systems Review
Short-term scheduling in multiprogramming systems
ACM SIGOPS Operating Systems Review
Process selection in a hierarchical operating system
ACM SIGOPS Operating Systems Review
On structuring operating systems with monitors
ACM SIGOPS Operating Systems Review
ACM SIGOPS Operating Systems Review
Using type-extension to organize virtual-memory mechanisms
ACM SIGOPS Operating Systems Review
An approach to distributed software systems
ACM SIGOPS Operating Systems Review
Low power coordination in wireless ad-hoc networks
Proceedings of the 2003 international symposium on Low power electronics and design
Principles of computer system organization
ACM SIGCSE Bulletin
The secret history of information hiding
Software pioneers
On the criteria to be used in decomposing systems into modules
Software pioneers
On a "buzzword": hierarchical structure
Software pioneers
Transforming policies into mechanisms with infokernel
SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
Teaching Software Engineering in a Compiler Project Course
Journal on Educational Resources in Computing (JERIC)
Partial behavioral reflection: spatial and temporal selection of reification
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
The hierarchical language system
ACM SIGPLAN Notices
Process management and resource sharing in the multiaccess system "ESOPE"
SOSP '69 Proceedings of the second symposium on Operating systems principles
The multics interprocess communication facility
SOSP '69 Proceedings of the second symposium on Operating systems principles
Efficient event generation for detecting races
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Concurrency abstractions in a C++ class library
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Appraising two decades of distributed computing theory research
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Journal of Systems and Software - Special issue: Ubiquitous computing
"Structured programming" considered harmful
ACM SIGPLAN Notices
A correctness criterion for CSP parallel programs
ACM SIGPLAN Notices
A survey of control structures in programming languages
ACM SIGPLAN Notices - Special issue on control structures in programming languages
Abstracts in software engineering: part 2
ACM SIGSOFT Software Engineering Notes
We have met the enemy and she is us: a mixup'd search for software engineering
ACM SIGSOFT Software Engineering Notes
Levels of abstraction in the system life cycle
ACM SIGSOFT Software Engineering Notes
ACM SIGMIS Database
Structured programming using processes
ERLANG '04 Proceedings of the 2004 ACM SIGPLAN workshop on Erlang
Commercial Fault Tolerance: A Tale of Two Systems
IEEE Transactions on Dependable and Secure Computing
An operating system for the INTEL MDS system: the kernel
ACM SIGMINI Newsletter
Functional distribution of the workload of a linked computer system and its simulation
ACM SIGMETRICS Performance Evaluation Review
A survey of techniques for the modeling of serialization delays in computer systems
ACM SIGMETRICS Performance Evaluation Review
The management of operating system state data
ACM SIGOPS Operating Systems Review
Monitors and Concurrent Pascal: a personal history
History of programming languages---II
History of programming languages---II
The existence of kernel functions for logical wire connections
ACM SIGDA Newsletter
A model of real time control system production
ACM SIGDA Newsletter
The Kaya OS project and the μMPS hardware emulator
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Encyclopedia of Computer Science
High-level modeling and simulation of single-chip programmable heterogeneous multiprocessors
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A concurrent microprogramming facility
ACM SIGMICRO Newsletter
Structured model development techniques
ACM SIGSIM Simulation Digest
Functional distribution of the workload of a linked computer system and its simulation
ACM SIGSIM Simulation Digest
ACM Transactions on Programming Languages and Systems (TOPLAS)
A disciplined approach to aspect composition
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
TCX project: high assurance for secure embedded systems
ACM SIGBED Review - Special issue: IEEE RTAS 2005 work-in-progress
Scheduling tasks with critical sections
ACM '77 Proceedings of the 1977 annual conference
Software life cycle management
ACM SIGCSIM Installation Management Review
Feature oriented refactoring of legacy applications
Proceedings of the 28th international conference on Software engineering
Comparing Java, C# and Ada monitors queuing policies: a case study and its Ada refinement
ACM SIGAda Ada Letters
Modular invariants for layered object structures
Science of Computer Programming - Special issue on source code analysis and manipulation (SCAM 2005)
System and network trustworthiness in perspective
Proceedings of the 13th ACM conference on Computer and communications security
The development of the SIMULA languages
History of programming languages I
Operating system enhancement through microprogramming
ACM SIGMICRO Newsletter
Managing user relationships in hierarchies for information system security
Decision Support Systems
An efficient synchronization model for OpenMP
Journal of Parallel and Distributed Computing
Models and algorithms for deadlock in computer systems
ACM SIGOPS Operating Systems Review
A semantics for concurrent separation logic
Theoretical Computer Science
On the criteria to be used in decomposing systems into modules
Classics in software engineering
Structured programming: top-down approach
Classics in software engineering
Fine-grain analysis of common coupling and its application to a Linux case study
Journal of Systems and Software
The many faces of systems research: and how to evaluate them
HOTOS'05 Proceedings of the 10th conference on Hot Topics in Operating Systems - Volume 10
The pebble component-based operating system
ATEC '99 Proceedings of the annual conference on USENIX Annual Technical Conference
Techniques for maintaining connectivity in wireless ad-hoc networks under energy constraints
ACM Transactions on Embedded Computing Systems (TECS)
A layered approach to simplified access control in virtualized systems
ACM SIGOPS Operating Systems Review
The context-switch overhead inflicted by hardware interrupts (and the enigma of do-nothing loops)
Proceedings of the 2007 workshop on Experimental computer science
VLDB '75 Proceedings of the 1st International Conference on Very Large Data Bases
An experimental VM/370 based information system
VLDB '75 Proceedings of the 1st International Conference on Very Large Data Bases
An empirical study of cycles among classes in Java
Empirical Software Engineering
A conceptual design of a generalized database subsystem
VLDB '77 Proceedings of the third international conference on Very large data bases - Volume 3
The context-switch overhead inflicted by hardware interrupts (and the enigma of do-nothing loops)
ecs'07 Experimental computer science on Experimental computer science
The Types and Interactions of Vertical Migrations of Functions in a Multilevel Interpretive System
IEEE Transactions on Computers
A Computer Architecture for Level Structured Systems
IEEE Transactions on Computers
The application of microprogramming technology
ACM SIGMICRO Newsletter
The Caernarvon secure embedded operating system
ACM SIGOPS Operating Systems Review
Record of the Project MAC conference on concurrent systems and parallel computation
Record of the Project MAC conference on concurrent systems and parallel computation
AspectC2C: a symmetric aspect extension to the C language
ACM SIGPLAN Notices
Secretly monopolizing the CPU without superuser privileges
SS'07 Proceedings of 16th USENIX Security Symposium on USENIX Security Symposium
Rich services: addressing challenges of ultra-large-scale software-intensive systems
Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems
Flexible metaprogramming and AOP in Java
Science of Computer Programming
Synthesis of a software security system
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
Finite state automation: definition of data communication line control procedures
AFIPS '70 (Fall) Proceedings of the November 17-19, 1970, fall joint computer conference
A language-oriented computer design
AFIPS '70 (Fall) Proceedings of the November 17-19, 1970, fall joint computer conference
The ADEPT-50 time-sharing system
AFIPS '69 (Fall) Proceedings of the November 18-20, 1969, fall joint computer conference
AFIPS '71 (Spring) Proceedings of the May 18-20, 1971, spring joint computer conference
PORTS: a method for dynamic interprogram communication and job control
AFIPS '71 (Spring) Proceedings of the May 18-20, 1971, spring joint computer conference
Multics: the first seven years
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
A building block approach to multiprocessing
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
Modeling, measurement and computer power
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
The application of program-proving techniques to the verification of synchronization processes
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
A design methodology for reliable software systems
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
A summary of progress toward proving program correctness
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
LOGOS and the software engineer
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
Project SUE as a learning experience
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
Automated control of concurrency in multi-user hierarchical information systems
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
ACCNET: a corporate computer network
AFIPS '73 Proceedings of the June 4-8, 1973, national computer conference and exposition
On the use of generalized executive system software
AFIPS '73 Proceedings of the June 4-8, 1973, national computer conference and exposition
Intelligent satellites for interactive graphics
AFIPS '73 Proceedings of the June 4-8, 1973, national computer conference and exposition
Database sharing: an efficient mechanism for supporting concurrent processes
AFIPS '73 Proceedings of the June 4-8, 1973, national computer conference and exposition
Operating system design considerations for microprogrammed mini-computer satellite systems
AFIPS '73 Proceedings of the June 4-8, 1973, national computer conference and exposition
Structure of the ELF operating system
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
Operating system design considerations for the packet-switching environment
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Document based rational software development
Knowledge-Based Systems
Component Interface Documentation: What do we Need and Why do we Need it?
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
Weak Fairness Semantic Drawbacks in Java Multithreading
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
We have met the enemy and he is us
Proceedings of the 2008 workshop on New security paradigms
Concurrent programming of intelligent robots
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Automatic detection of rib contours in chest radiographs
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Dead or Alive: finding zombie features in the Linux kernel
FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development
Discovery of architectural layers and measurement of layering violations in source code
Journal of Systems and Software
On The Advantages of Tagged Architecture
IEEE Transactions on Computers
Top-down development using a program design language
IBM Systems Journal
Systems network architecture: an overview
IBM Systems Journal
Hierarchical approach to computer system integrity
IBM Systems Journal
An operating system for distributed processing: DPPX
IBM Systems Journal
I/O facilities of the Distributed Processing Programming Executive (DPPX)
IBM Systems Journal
Data management for the distributed processing programming executive (DPPX)
IBM Systems Journal
Software engineering: an emerging discipline
IBM Systems Journal
Productive petascale computing: requirements, hardware, and software
Productive petascale computing: requirements, hardware, and software
Architectural description languages (ADLs) vs UML: a review
ACM SIGSOFT Software Engineering Notes
Translating Haskell# programs into Petri nets
VECPAR'02 Proceedings of the 5th international conference on High performance computing for computational science
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
The case for active device drivers
Proceedings of the first ACM asia-pacific workshop on Workshop on systems
FlashVM: revisiting the virtual memory hierarchy
HotOS'09 Proceedings of the 12th conference on Hot topics in operating systems
Device driver safety through a reference validation mechanism
OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
From Requirements to Architecture
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Retaining sandbox containment despite bugs in privileged memory-safe code
Proceedings of the 17th ACM conference on Computer and communications security
Multicore OSes: looking forward from 1991, er, 2011
HotOS'13 Proceedings of the 13th USENIX conference on Hot topics in operating systems
WSEAS Transactions on Computers
Distributed application configuration, management, and visualization with plush
ACM Transactions on Internet Technology (TOIT)
Reflection on Turkish aspect-oriented software development workshop series
ACM SIGSOFT Software Engineering Notes
Faults in large distributed systems and what we can do about them
Euro-Par'05 Proceedings of the 11th international Euro-Par conference on Parallel Processing
Architecting Dependable Systems III
Managing the dynamism of the OSGi Service Platform in real-time Java applications
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Extending PL/I for structured programming
Computer Languages
Parallel developments in programming languages and operating systems
Computer Languages
EQL: A language for numerical computation
Computer Languages
Trace spaces: an efficient new technique for state-space reduction
ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
A network operating system for microcomputers
Computer Communications
Modelling parallel access to shared resources in a distributed file system using queueing networks
Journal of Systems and Software
Software development for reliable software systems
Journal of Systems and Software
Embedded system design with ada as the system design language
Journal of Systems and Software
HotPar'12 Proceedings of the 4th USENIX conference on Hot Topics in Parallelism
International Journal of Computer Applications in Technology
Aspects of abstraction in software development
Software and Systems Modeling (SoSyM)
AutoSynch: an automatic-signal monitor based on predicate tagging
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Improving performance of software transactional memory through contention locality
The Journal of Supercomputing
A building code for building code: putting what we know works to work
Proceedings of the 29th Annual Computer Security Applications Conference
Patterns of software architecture in vastu: a new revelation
ACM SIGSOFT Software Engineering Notes
A survey of support for structured communication in concurrency control models
Journal of Parallel and Distributed Computing
Analysis of HDFS under HBase: a facebook messages case study
FAST'14 Proceedings of the 12th USENIX conference on File and Storage Technologies
| Hi-index | 48.78 |