Error Scope on a Computational Grid: Theory and Practice
HPDC '02 Proceedings of the 11th IEEE International Symposium on High Performance Distributed Computing
Theory and practice in operating system design
SOSP '69 Proceedings of the second symposium on Operating systems principles
A modular approach to file system design
AFIPS '69 (Spring) Proceedings of the May 14-16, 1969, spring joint computer conference
System validation by three-level modeling synthesis
IBM Journal of Research and Development
aComment: mining annotations from comments and code to detect interrupt related concurrency bugs
Proceedings of the 33rd International Conference on Software Engineering
Revisiting information hiding: reflections on classical and nonclassical modularity
Proceedings of the 25th European conference on Object-oriented programming
| Hi-index | 0.00 |
A multiprogramming system is described in which all activities are divided over a number of sequential processes. These sequential processes are placed at various hierarchical levels, in each of which one or more independent abstractions have been implemented. The hierarchical structure proved to be vital for the verification of the logical soundness of the design and the correctness of its implementation.