Title :
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
fDate :
3/1/1988 12:00:00 AM
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;
Journal_Title :
Software Engineering, IEEE Transactions on
