The IC model of parallel computation and programming environment
-
Published:1988-05
Issue:3
Volume:18
Page:45-68
-
ISSN:0146-4833
-
Container-title:ACM SIGCOMM Computer Communication Review
-
language:en
-
Short-container-title:SIGCOMM Comput. Commun. Rev.
Author:
Cameron E. J.,Cohen D. M.,Gopinath B.,Keese W. M.,Ness L.,Uppaluru P.,Vollaro J. R.
Abstract
The IC* project is an effort to create an environment for the design, specification and development of complex systems such as communication protocols, parallel machines and distributed systems. The basis of this work is the IC* model of parallel computation. In this model a system is specified by a set of invariant expressions which describe its behavior in time. The novel features of the model include: temporal and structural constraints, inherent parallelism, explicit modeling of time, nondeterministic evolution and dynamic activation. The project also includes the construction of a parallel computer specifically designed to support the model of computation. The model of computation, the status of the project and the user environment is the content of this paper.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Networks and Communications,Software