A structural view of the Cedar programming environment
ACM Transactions on Programming Languages and Systems (TOPLAS)
Memory coherence in shared virtual memory systems
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
Distributed process groups in the V Kernel
ACM Transactions on Computer Systems (TOCS)
HYDRA: the kernel of a multiprocessor operating system
Communications of the ACM
LOCUS a network transparent, high reliability distributed system
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
An overview of the Amoeba distributed operating system
ACM SIGOPS Operating Systems Review
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Concurrent object-oriented real-times systems research
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Multi-model parallel programming in psyche
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
The muse object architecture: a new operating system structuring concept
ACM SIGOPS Operating Systems Review
CTK: Configurable Object Abstractions for Multiprocessors
IEEE Transactions on Software Engineering
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Vote for Peace: Implementation and Performance of a Parallel Operating System
IEEE Parallel & Distributed Technology: Systems & Technology
Issues in Building Dynamic Real-Time Systems
IEEE Software
Benchmarking Parallel Processing Platforms: An Applications Perspective
IEEE Transactions on Parallel and Distributed Systems
Adaptive object management for a reconfigurable microkernel
IWOOOS '96 Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96)
Multiversioning and Logging in the Grasshopper Kernel Persistent Store
IWOOOS '95 Proceedings of the 4th International Workshop on Object-Orientation in Operating Systems
A high performance Kernel-Less Operating System architecture
ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38
Improving dependability by revisiting operating system design
HotDep'07 Proceedings of the 3rd workshop on on Hot Topics in System Dependability
Exploring recovery from operating system lockups
ATC'07 2007 USENIX Annual Technical Conference on Proceedings of the USENIX Annual Technical Conference
Design of fault tolerant system based on runtime behavior tracing
ICACT'10 Proceedings of the 12th international conference on Advanced communication technology
CuriOS: improving reliability through operating system structure
OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
Exception handling in the choices operating system
Advanced Topics in Exception Handling Techniques
| Hi-index | 0.00 |