The IC model of parallel computation and programming environment

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...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on software engineering 1988-03, Vol.14 (3), p.317-326
Main Authors: Cameron, E.J., Cohen, D.M., Gopinath, B., Keese, W.M., Ness, L., Uppaluru, P., Vollaro, J.R.
Format: Article
Language:English
Subjects:
Applied sciences
Communications
Communications processors
Computational modeling
Computer architecture
Computer programming
Computer science
control theory
systems
Concurrent computing
Exact sciences and technology
Hardware
Integrated circuit modeling
Parallel machines
Parallel processing
Programming environments
Programming languages
Protocol
Protocols
Prototypes
Simulation
Software
Software engineering
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.< >
ISSN:0098-5589
1939-3520
DOI:10.1109/32.4652