Search
Now showing items 11-20 of 39
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 ...
Semantic Support for Work in Organizations
(1983-04-01)
Present day computer systems cannot implement much of the work carried out in organizations such as: planning, decision making, analysis, and dealing with unanticipated situations. Such organizational activities have ...
Linguistic Support of Receptionists for Shared Resources
(1984-09-01)
This paper addressed linguistic issues that arise in providing support for shared resources in large scale concurrent systems. Our work is based on the Actor Model of computation which unifies the lambda calculus, the ...
Analyzing the Roles of Descriptions and Actions in Open Systems
(1983-04-01)
This paper analyzes relationships between the roles of descriptions and actions in large scale, open ended, geographically distributed, concurrent systems. Rather than attempt to deal with the complexities and ambiguities ...
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 ...
Open Systems
(1982-12-01)
This paper describes some problems and opportunities associated with conceptual modeling for the kind of "open systems" we foresee must and will be increasingly recognized as a central line of computer system development. ...
Concurrent Programming Using Actors: Exploiting Large-Scale Parallelism
(1985-10-01)
We argue that the ability to model shared objects with changing local states, dynamic reconfigurability, and inherent parallelism are desirable properties of any model of concurrency. The actor model addresses these ...
Specification and Proof Techniques for Serializers
(1977-08-01)
This paper presents an implementation mechanism, specification language, and proof techniques for problems involving the arbitration of concurrent requests to shared resources. This mechanism is the serializer which ...
Modelling Distributed Systems
(1977-06-01)
Distributed systems are multi-processor information processing systems which do not rely on the central shared memory for communication. This paper presents ideas and techniques in modelling distributed systems and ...
Teaching Procedures in Humans and Robots
(1970-09-01)
Analysis of the structure of procedures is central to the foundations of problem soling. In this paper we explore three principle means for teaching procedures: telling, canned loops, and procedural abstraction. The ...