Search
Now showing items 1-6 of 6
Specifying and Proving Properties of Guardians for Distributed Systems
(MIT Artificial Intelligence Laboratory, 1979-05)
In a distributed system where many processors are connected by a network and communicate using message passing, many users can be allowed to access the same facilities. A public utility is usually an expensive or limited ...
A Real Time Garbage Collector Based on the Lifetimes of Objects
(1981-10-01)
In previous heap storage systems, the cost of creating objects and garbage collection is independent of the lifetime of the object. Since objects with short lifetimes account for a large portion of storage use, it's ...
Design Issues in Parallel Architecture for Artificial Intelligence
(1983-11-01)
Development of highly intelligent computers requires a conceptual foundation that will overcome the limitations of the von Neumann architecture. Architectures for such a foundation should meet the following design ...
Specifying and Proving Properties of Guardians for Distributed Systems
(1979-06-01)
In a distributed system where many processors are connected by a networ and communicate using message passing, many users can be allowed to access the same facilities. A public utility is usually an expensive or limited ...
Security and Modularity in Message Passing
(MIT Artificial Intelligence Laboratory, 1979-02)
This paper addresses theoretical issues involved for the implementation of security and modularity in concurrent systems. It explicates the theory behind a mechanism for safely delegating messages to shared handlers in ...
A Session with TINKER: Interleaving Program Testing with Program Design
(1980-09-01)
Tinker is an experimental interactive programming system which integrates program testing with program design. New procedures are created by working out the steps of the procedure in concrete situations. Tinker displays ...