Fault Tolerant Operating Systems
ACM Computing Surveys (CSUR)
Operating System Structures to Support Security and Reliable Software
ACM Computing Surveys (CSUR)
On-the-fly garbage collection: an exercise in cooperation
Communications of the ACM
Reflections on an operating system design
Communications of the ACM
Modularization and hierarchy in a family of operating systems
Communications of the ACM
Communications of the ACM
HYDRA: the kernel of a multiprocessor operating system
Communications of the ACM
Supporting ada memory management in the iAPX-432
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
The Cambridge CAP computer and its protection system
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
StarOS, a multiprocessor operating system for the support of task forces
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
In support of domain structure for operating systems
SOSP '79 Proceedings of the seventh 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 iMAX-432 object filing system
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
The Cambridge CAP computer and its operating system (Operating and programming systems series)
The Cambridge CAP computer and its operating system (Operating and programming systems series)
Static grouping of small objects to enhance performance of a paged virtual memory
ACM Transactions on Computer Systems (TOCS)
Mach and Matchmaker: kernel and language support for object-oriented distributed systems
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
The duality of memory and communication in the implementation of a multiprocessor operating system
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
The integration of virtual memory management and interprocess communication in Accent
ACM Transactions on Computer Systems (TOCS)
Proceedings of the tenth ACM symposium on Operating systems principles
Interprocess communication and processor dispatching on the Intel 432
ACM Transactions on Computer Systems (TOCS)
IEEE Expert: Intelligent Systems and Their Applications
Supporting ada memory management in the iAPX-432
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
The iMAX-432 object filing system
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
The design of an object oriented architecture
ISCA '84 Proceedings of the 11th annual international symposium on Computer architecture
Object oriented operating systems: An emerging design methodology
ACM '82 Proceedings of the ACM '82 conference
Ada Language statistics for the iMAX 432 operating system
ACM SIGAda Ada Letters
Capability Based Tagged Architectures
IEEE Transactions on Computers
Hi-index | 0.01 |
The Intel iAPX 432 is an object-based microcomputer which, together with its operating system iMAX, provides a multiprocessor computer system designed around the ideas of data abstraction. iMAX is implemented in Ada and provides, through its interface and facilities, an Ada view of the 432 system. Of paramount concern in this system is the uniformity of approach among the architecture, the operating system, and the language. Some interesting aspects of both the external and internal views of iMAX are discussed to illustrate this uniform approach.