The IC* model of parallel computation and programming environment

Author

Cameron, E.J. ; Cohen, David M. ; Gopinath, B. ; Keese, W.M. ; Ness, L. ; Uppaluru, P. ; Vollaro, John R.

Author_Institution

Bell Commun. Res., Morristown, NJ, USA

Volume

14

Issue

3

fYear

1988

fDate

3/1/1988 12:00:00 AM

Firstpage

317

Lastpage

326

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 the project is the IC* model of parallel computation, in which a system is specified by a set of invariant expressions which describe its behavior in time. The features of this 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 authors discuss the IC* model and the current user language, and describe the architecture and hardware of the prototype supercomputer built to execute IC* programs

Keywords

parallel processing; programming environments; protocols; IC* project; communication protocols; design; distributed systems; dynamic activation; explicit modeling; nondeterministic evolution; parallel computation; parallel computer; parallel machines; programming environment; specification; structural constraints; temporal constraints; Computational modeling; Computer architecture; Concurrent computing; Hardware; Integrated circuit modeling; Parallel machines; Parallel processing; Programming environments; Protocols; Prototypes;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/32.4652

Filename

4652