Search
Now showing items 21-30 of 39
The Scientific Community Metaphor
(1981-01-01)
Scientific communnities have proven to be extremely successful at solving problems. They are inherently parallel systems and their macroscopic nature makes them amenable to careful study. In this paper the character of ...
Actors and Continuous Functionals
(1977-07-01)
This paper presents precise versions of some "laws" that must be satisfied by computations involving communicating parallel processes. The laws take the form of stating plausible restrictions on the histories of ...
Evolving Parallel Programs
(MIT Artificial Intelligence Laboratory, 1979-05)
Message passing is directed toward the production of programs that are intended to execute efficiently in a computing environment with a large number of processors. The paradigm attempts to address the computational issues ...
PLANNER: A Language for Proving Theorems
(1967-07-01)
The following is a description of SCHEMATISE, a proposal for a program that proves very elementary theorems though the use of planning. The method is most easily explained through an example die to Black.
Planner Implementation Proposal to ARPA 1972-1973
(1971-12-01)
The task objective is the generalization and implementation of the full power of the problem solving formalism PLANNER in the next two years. We will show how problem solving knowledge can be effectively incorporated into ...
Viewing Control Structures as Patterns of Passing Messages
(1976-12-01)
The purpose of this paper is to discuss some organizational aspects of programs using the actor model of computation. In this paper we present an approach to modelling intelligence in terms of a society of communicating ...
Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot
(1972-04-01)
Planner is a formalism for proving theorems and manipulating models in a robot. The formalism is built out of a number of problem-solving primitives together with a hierarchical multiprocess backtrack control structure. ...
Evolutionary Programming with the Aid of A Programmers' Apprentice
(MIT Artificial Intelligence Laboratory, 1979-05)
Protection and Synchronization in Actor Systems
(MIT Artificial Intelligence Laboratory, 1974-11)
This paper presents a unified method [called ENCASING] for dealing with the closely related issues of synchronization and protection in actor systems [Hewitt et al. 1973a, 1973b, 1974a; Greif and Hewitt 1975]. Actors are ...
Dynamic Graphics Using Quasi Parallelism
(1978-06-01)
Dynamic computer graphics is best represented as several processes operating in parallel. Full parallel processing, however, entails much complex mechanism making it difficult to write simple, intuitive programs for ...