Advertisement

IC* Supercomputing Environment

  • E. J. Cameron
  • D. M. Cohen
  • B. Gopinath
  • W. M. KeeseII
  • L. Ness
  • P. Uppaluru
  • J. R. Vollaro

Abstract

The IC* project is an effort to create an environment for the design, specification, and development of complex systems. Examples of such complex systems are communications and real time software and protocols, hardware, and physical and econometric models.

Keywords

Active Invariant Static Invariant Effect Predicate Effect Expression Differential Invariant 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    D. M. Cohen, B. Gopinath, M. L. Honig, W. M. Keese, P. Levin, J. Myers, U. Premkumar, D. Slepian, and J. R. Vollaro, “IC*: An Environment for Specifying Complex Systems”, IEEE Global Telecommunications Conference, Houston, Texas, Dec 1–4, 1986.Google Scholar
  2. [2]
    D. M. Cohen and E. J. Isganitis, “Automatic Generation of a Prototype of a New Protocol From its Specification,” IEEE Global Telecommunications Conference, Houston, Texas, Dec 1–4, 1986.Google Scholar
  3. [3]
    C. H. West, “Protocol Validation by Random State Exploration”, Protocol Specification, Testing, and Verification, VI, North Holland, 1986.Google Scholar
  4. [4]
    A. Thue, “Ueber Unendliche Zeichenreihen”, Skrifter utgit av Videnskapsselskapet i Kristiania. I, 1906, pp 1–22.Google Scholar
  5. [5]
    A. Salomaa, “Computation and Automata”, Encyclopedia of Mathematics and its Applications, Volume 25, Cambridge University Press, 1985.Google Scholar

Copyright information

© Plenum Press, New York 1988

Authors and Affiliations

  • E. J. Cameron
    • 1
  • D. M. Cohen
    • 1
  • B. Gopinath
    • 1
  • W. M. KeeseII
    • 1
  • L. Ness
    • 1
  • P. Uppaluru
    • 1
  • J. R. Vollaro
    • 1
  1. 1.Bell Communications ResearchMorristownUSA

Personalised recommendations