Pilot: an operating system for a personal computer
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Ethernet: distributed packet switching for local computer networks
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
Operating system principles
On the transfer of control between contexts
Programming Symposium, Proceedings Colloque sur la Programmation
ICSE '76 Proceedings of the 2nd international conference on Software engineering
A structured specification of a hierarchical operating system
Proceedings of the international conference on Reliable software
On structuring operating systems with monitors
ACM SIGOPS Operating Systems Review
On the duality of operating system structures
ACM SIGOPS Operating Systems Review
TRAFFIC CONTROL IN A MULTIPLEXED COMPUTER
TRAFFIC CONTROL IN A MULTIPLEXED COMPUTER
Implementation of resilient, atomic data types
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
ACM Transactions on Computer Systems (TOCS)
A structural view of the Cedar programming environment
ACM Transactions on Programming Languages and Systems (TOPLAS)
Personal distributed computing: the Alto and Ethernet software
HPW '86 Proceedings of the ACM Conference on The history of personal workstations
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
Experience and evolution of concurrent Smalltalk
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Remote pipes and procedures for efficient distributed communication
ACM Transactions on Computer Systems (TOCS)
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
Communications of the ACM
Personal distributed computing: the alto and ethernet software
A history of personal workstations
How to write parallel programs: a guide to the perplexed
ACM Computing Surveys (CSUR)
Language Constructs for Specifying Concurrency in CDL
IEEE Transactions on Software Engineering
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The performance implications of thread management alternatives for shared-memory multiprocessors
SIGMETRICS '89 Proceedings of the 1989 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
The Performance Implications of Thread Management Alternatives for Shared-Memory Multiprocessors
IEEE Transactions on Computers
Scheduler activations: effective kernel support for the user-level management of parallelism
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
Debuggable concurrency extensions for standard ML
PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
IEEE Transactions on Computers
A foundation for an efficient multi-threaded scheme system
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Scheduler activations: effective kernel support for the user-level management of parallelism
ACM Transactions on Computer Systems (TOCS)
A Case Study of CES: A Distributed Collaborative Editing System Implemented in Argus
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Monitors and concurrent Pascal: a personal history
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Using threads in interactive systems: a case study
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
ACM Computing Surveys (CSUR)
The integration of virtual memory management and interprocess communication in Accent
ACM Transactions on Computer Systems (TOCS)
ACM SIGPLAN Notices
Commutativity analysis: a new analysis framework for parallelizing compilers
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Thread scheduling for cache locality
Proceedings of the seventh international conference on Architectural support for programming languages and operating systems
Eraser: a dynamic data race detector for multithreaded programs
ACM Transactions on Computer Systems (TOCS)
Eraser: a dynamic data race detector for multi-threaded programs
Proceedings of the sixteenth ACM symposium on Operating systems principles
Commutativity analysis: a new analysis technique for parallelizing compilers
ACM Transactions on Programming Languages and Systems (TOPLAS)
Thin locks: featherweight synchronization for Java
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Performance measurements for multithreaded programs
SIGMETRICS '98/PERFORMANCE '98 Proceedings of the 1998 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems
A feedback-driven proportion allocator for real-rate scheduling
OSDI '99 Proceedings of the third symposium on Operating systems design and implementation
Eliminating synchronization bottlenecks in object-based programs using adaptive replication
ICS '99 Proceedings of the 13th international conference on Supercomputing
Lisp and Symbolic Computation
A study of locking objects with bimodal fields
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The file system of an integrated local network
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Resource scheduling: specification and proof techniques
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Manifolds: a very high-level conceptual framework of interprocess synchronization and communication
CSC '87 Proceedings of the 15th annual conference on Computer Science
Replication and fault-tolerance in the ISIS system
Proceedings of the tenth ACM symposium on Operating systems principles
Smart packets: applying active networks to network management
ACM Transactions on Computer Systems (TOCS)
First-class user-level threads
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Interprocess communication and processor dispatching on the Intel 432
ACM Transactions on Computer Systems (TOCS)
Grapevine: an exercise in distributed computing
Communications of the ACM
Pilot: an operating system for a personal computer
Communications of the ACM
Starving philosophers: experimentation with monitor synchronization
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
The cedar DBMS: a preliminary report
SIGMOD '81 Proceedings of the 1981 ACM SIGMOD international conference on Management of data
A Distributed Prolog System with And Parallelism
IEEE Software
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
Capsules: A Shared Memory Access Mechanism for Concurrent C/C++
IEEE Transactions on Parallel and Distributed Systems
Preserving Abstraction in Concurrent Programming
IEEE Transactions on Software Engineering
Eliminating synchronization bottlenecks using adaptive replication
ACM Transactions on Programming Languages and Systems (TOPLAS)
Analysis and Evaluation of a Distributed Monitor Construct in Java
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Lightweight Thread Tunnelling in Network Applications
IWAN '02 Proceedings of the IFIP-TC6 4th International Working Conference on Active Networks
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Pragmatic Nonblocking Synchronization for Real-Time Systems
Proceedings of the General Track: 2002 USENIX Annual Technical Conference
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Run-Time Fault Detection in Monitor Based Concurrent Programming
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
A SMART scheduler for multimedia applications
ACM Transactions on Computer Systems (TOCS)
The invention of concurrent programming
The origin of concurrent programming
Joyce: a programming language for distributed systems
The origin of concurrent programming
The origin of concurrent programming
Comprehensive synchronization elimination for Java
Science of Computer Programming - Special issue on static analysis (SAS'99)
An overview of the mesa processor architecture
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
An analysis of a mesa instruction set using dynamic instruction frequencies
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
APL in operating systems research
APL '81 Proceedings of the international conference on APL
Observations on the development of an operating system
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
A unified model and implementation for interprocess communication in a multiprocessor environment
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
The architecture of the Eden system
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
A file system supporting cooperation between programs
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
Hints for computer system design
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
UIDs as internal names in a distributed file system
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
The Mesa programming environment
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Integration mechanisms in Cedar
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Specification and implementation of resilient, atomic data types
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
The Distributed Double-Loop Computer Network (DDLCN)
ACM '80 Proceedings of the ACM 1980 annual conference
RacerX: effective, static detection of race conditions and deadlocks
SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
A comparative survey of concurrent programming languages
ACM SIGPLAN Notices
A comparative survey of concurrent programming languages
ACM SIGPLAN Notices
Messages vs. remote procedures is a false dichotomy
ACM SIGPLAN Notices
Response Time Analysis for Tasks Scheduled under EDF within Fixed Priorities
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Thin locks: featherweight Synchronization for Java
ACM SIGPLAN Notices - Best of PLDI 1979-1999
The evolution of a high-performing Java virtual machine
IBM Systems Journal
Real Time Scheduling Theory: A Historical Perspective
Real-Time Systems
Monitors and Concurrent Pascal: a personal history
History of programming languages---II
Idletime scheduling with preemption intervals
Proceedings of the twentieth ACM symposium on Operating systems principles
ACM Transactions on Programming Languages and Systems (TOPLAS)
Lightweight thread tunnelling in network applications
Computer Networks: The International Journal of Computer and Telecommunications Networking - Active networks
Sharing Variables in Distributed Memory
Fundamenta Informaticae
SWAP: a scheduler with automatic process dependency detection
NSDI'04 Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation - Volume 1
The Nachos instructional operating system
USENIX'93 Proceedings of the USENIX Winter 1993 Conference Proceedings on USENIX Winter 1993 Conference Proceedings
Virtual services: a new abstraction for server consolidation
ATEC '00 Proceedings of the annual conference on USENIX Annual Technical Conference
Transactions with isolation and cooperation
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Certifying low-level programs with hardware interrupts and preemptive threads
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Why the grass may not be greener on the other side: a comparison of locking vs. transactional memory
Proceedings of the 4th workshop on Programming languages and operating systems
Tax-and-spend: democratic scheduling for real-time garbage collection
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads
Journal of Automated Reasoning
Weak Fairness Semantic Drawbacks in Java Multithreading
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Avoiding unbounded priority inversion in barrier protocols using gang priority management
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture
RSIO: automatic user interaction detection and scheduling
Proceedings of the ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Measuring and policing blocking times in real-time systems
ACM Transactions on Embedded Computing Systems (TECS)
Why the grass may not be greener on the other side: a comparison of locking vs. transactional memory
ACM SIGOPS Operating Systems Review
Deadlock immunity: enabling systems to defend against deadlocks
OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
Ad hoc synchronization considered harmful
OSDI'10 Proceedings of the 9th USENIX conference on Operating systems design and implementation
Communicating memory transactions
Proceedings of the 16th ACM symposium on Principles and practice of parallel programming
Java security: from hotjava to netscape and beyond
SP'96 Proceedings of the 1996 IEEE conference on Security and privacy
Transparently bridging semantic gap in CPU management for virtualized environments
Journal of Parallel and Distributed Computing
Integrating long polling with an MVC framework
WebApps'11 Proceedings of the 2nd USENIX conference on Web application development
Sharing Variables in Distributed Memory
Fundamenta Informaticae
ISPA'07 Proceedings of the 5th international conference on Parallel and Distributed Processing and Applications
Toward common patterns for distributed, concurrent, fault-tolerant code
HotOS'13 Proceedings of the 14th USENIX conference on Hot Topics in Operating Systems
SC '13 Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis
Comparative analysis of real time resource access control protocols using UML 2.0
ACM SIGSOFT Software Engineering Notes
Chip-multiprocessor hardware locks for safety-critical Java
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
Hi-index | 48.27 |