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!
cited_by cdi_FETCH-LOGICAL-c242t-cacb07729ab9bea8e929127e489aa3e255910f5dd3667f7eefc7d987ea6397463
cites cdi_FETCH-LOGICAL-c242t-cacb07729ab9bea8e929127e489aa3e255910f5dd3667f7eefc7d987ea6397463
container_end_page 326
container_issue 3
container_start_page 317
container_title IEEE transactions on software engineering
container_volume 14
creator Cameron, E.J.
Cohen, D.M.
Gopinath, B.
Keese, W.M.
Ness, L.
Uppaluru, P.
Vollaro, J.R.
description 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.< >
doi_str_mv 10.1109/32.4652
format article
fullrecord <record><control><sourceid>proquest_pasca</sourceid><recordid>TN_cdi_proquest_journals_195579890</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>4652</ieee_id><sourcerecordid>1142644</sourcerecordid><originalsourceid>FETCH-LOGICAL-c242t-cacb07729ab9bea8e929127e489aa3e255910f5dd3667f7eefc7d987ea6397463</originalsourceid><addsrcrecordid>eNpd0E1Lw0AQBuBFFKxVvHoMInpK3Y9sNntTih-Fgpd6XqabSU1JduNuIvjvTa304GkG5uFlZgi5ZHTGGNX3gs-yXPIjMmFa6FRITo_JhFJdpFIW-pScxbillEql5IQ8rD4wWcyT1pfYJL5KOgjQNGNvfdsNPfS1dwm4MumC3wRo29ptEnRfdfCuRdefk5MKmogXf3VK3p-fVvPXdPn2spg_LlPLM96nFuyaKsU1rPUaoUDNNeMKs0IDCORSakYrWZYiz1WlECurSl0ohFxoleViSm73ueMenwPG3rR1tNg04NAP0fCCj5fmdITX_-DWD8GNuxmmpVS60Dt0t0c2-BgDVqYLdQvh2zBqdm80gpvdG0d58xcH0UJTBXC2jgeuKGUZlSO72rMaEQ_T34QfRfF3-Q</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>195579890</pqid></control><display><type>article</type><title>The IC model of parallel computation and programming environment</title><source>ABI/INFORM Global</source><source>IEEE Xplore (Online service)</source><creator>Cameron, E.J. ; Cohen, D.M. ; Gopinath, B. ; Keese, W.M. ; Ness, L. ; Uppaluru, P. ; Vollaro, J.R.</creator><creatorcontrib>Cameron, E.J. ; Cohen, D.M. ; Gopinath, B. ; Keese, W.M. ; Ness, L. ; Uppaluru, P. ; Vollaro, J.R.</creatorcontrib><description>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.&lt; &gt;</description><identifier>ISSN: 0098-5589</identifier><identifier>EISSN: 1939-3520</identifier><identifier>DOI: 10.1109/32.4652</identifier><identifier>CODEN: IESEDJ</identifier><language>eng</language><publisher>New York, NY: IEEE</publisher><subject>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</subject><ispartof>IEEE transactions on software engineering, 1988-03, Vol.14 (3), p.317-326</ispartof><rights>1989 INIST-CNRS</rights><rights>Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Mar 1988</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c242t-cacb07729ab9bea8e929127e489aa3e255910f5dd3667f7eefc7d987ea6397463</citedby><cites>FETCH-LOGICAL-c242t-cacb07729ab9bea8e929127e489aa3e255910f5dd3667f7eefc7d987ea6397463</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://www.proquest.com/docview/195579890?pq-origsite=primo$$EHTML$$P50$$Gproquest$$H</linktohtml><link.rule.ids>314,780,784,11688,27924,27925,36060,36061,44363,54796</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&amp;idt=7001405$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>Cameron, E.J.</creatorcontrib><creatorcontrib>Cohen, D.M.</creatorcontrib><creatorcontrib>Gopinath, B.</creatorcontrib><creatorcontrib>Keese, W.M.</creatorcontrib><creatorcontrib>Ness, L.</creatorcontrib><creatorcontrib>Uppaluru, P.</creatorcontrib><creatorcontrib>Vollaro, J.R.</creatorcontrib><title>The IC model of parallel computation and programming environment</title><title>IEEE transactions on software engineering</title><addtitle>TSE</addtitle><description>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.&lt; &gt;</description><subject>Applied sciences</subject><subject>Communications</subject><subject>Communications processors</subject><subject>Computational modeling</subject><subject>Computer architecture</subject><subject>Computer programming</subject><subject>Computer science; control theory; systems</subject><subject>Concurrent computing</subject><subject>Exact sciences and technology</subject><subject>Hardware</subject><subject>Integrated circuit modeling</subject><subject>Parallel machines</subject><subject>Parallel processing</subject><subject>Programming environments</subject><subject>Programming languages</subject><subject>Protocol</subject><subject>Protocols</subject><subject>Prototypes</subject><subject>Simulation</subject><subject>Software</subject><subject>Software engineering</subject><issn>0098-5589</issn><issn>1939-3520</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1988</creationdate><recordtype>article</recordtype><sourceid>M0C</sourceid><recordid>eNpd0E1Lw0AQBuBFFKxVvHoMInpK3Y9sNntTih-Fgpd6XqabSU1JduNuIvjvTa304GkG5uFlZgi5ZHTGGNX3gs-yXPIjMmFa6FRITo_JhFJdpFIW-pScxbillEql5IQ8rD4wWcyT1pfYJL5KOgjQNGNvfdsNPfS1dwm4MumC3wRo29ptEnRfdfCuRdefk5MKmogXf3VK3p-fVvPXdPn2spg_LlPLM96nFuyaKsU1rPUaoUDNNeMKs0IDCORSakYrWZYiz1WlECurSl0ohFxoleViSm73ueMenwPG3rR1tNg04NAP0fCCj5fmdITX_-DWD8GNuxmmpVS60Dt0t0c2-BgDVqYLdQvh2zBqdm80gpvdG0d58xcH0UJTBXC2jgeuKGUZlSO72rMaEQ_T34QfRfF3-Q</recordid><startdate>19880301</startdate><enddate>19880301</enddate><creator>Cameron, E.J.</creator><creator>Cohen, D.M.</creator><creator>Gopinath, B.</creator><creator>Keese, W.M.</creator><creator>Ness, L.</creator><creator>Uppaluru, P.</creator><creator>Vollaro, J.R.</creator><general>IEEE</general><general>Institute of Electrical and Electronics Engineers</general><general>IEEE Computer Society</general><scope>IQODW</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>3V.</scope><scope>7WY</scope><scope>7WZ</scope><scope>7X7</scope><scope>7XB</scope><scope>87Z</scope><scope>88E</scope><scope>88F</scope><scope>88I</scope><scope>88K</scope><scope>8AL</scope><scope>8FE</scope><scope>8FG</scope><scope>8FI</scope><scope>8FJ</scope><scope>8FK</scope><scope>8FL</scope><scope>8G5</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BEZIV</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>FRNLG</scope><scope>FYUFA</scope><scope>F~G</scope><scope>GHDGH</scope><scope>GNUQQ</scope><scope>GUQSH</scope><scope>HCIFZ</scope><scope>JQ2</scope><scope>K60</scope><scope>K6~</scope><scope>K7-</scope><scope>K9.</scope><scope>L.-</scope><scope>L6V</scope><scope>M0C</scope><scope>M0N</scope><scope>M0S</scope><scope>M1P</scope><scope>M1Q</scope><scope>M2O</scope><scope>M2P</scope><scope>M2T</scope><scope>M7S</scope><scope>MBDVC</scope><scope>P5Z</scope><scope>P62</scope><scope>PQBIZ</scope><scope>PQBZA</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope><scope>Q9U</scope><scope>7SC</scope><scope>8FD</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>19880301</creationdate><title>The IC model of parallel computation and programming environment</title><author>Cameron, E.J. ; Cohen, D.M. ; Gopinath, B. ; Keese, W.M. ; Ness, L. ; Uppaluru, P. ; Vollaro, J.R.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c242t-cacb07729ab9bea8e929127e489aa3e255910f5dd3667f7eefc7d987ea6397463</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1988</creationdate><topic>Applied sciences</topic><topic>Communications</topic><topic>Communications processors</topic><topic>Computational modeling</topic><topic>Computer architecture</topic><topic>Computer programming</topic><topic>Computer science; control theory; systems</topic><topic>Concurrent computing</topic><topic>Exact sciences and technology</topic><topic>Hardware</topic><topic>Integrated circuit modeling</topic><topic>Parallel machines</topic><topic>Parallel processing</topic><topic>Programming environments</topic><topic>Programming languages</topic><topic>Protocol</topic><topic>Protocols</topic><topic>Prototypes</topic><topic>Simulation</topic><topic>Software</topic><topic>Software engineering</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Cameron, E.J.</creatorcontrib><creatorcontrib>Cohen, D.M.</creatorcontrib><creatorcontrib>Gopinath, B.</creatorcontrib><creatorcontrib>Keese, W.M.</creatorcontrib><creatorcontrib>Ness, L.</creatorcontrib><creatorcontrib>Uppaluru, P.</creatorcontrib><creatorcontrib>Vollaro, J.R.</creatorcontrib><collection>Pascal-Francis</collection><collection>CrossRef</collection><collection>ProQuest Central (Corporate)</collection><collection>ABI/INFORM Collection</collection><collection>ABI/INFORM Global (PDF only)</collection><collection>Health &amp; Medical Collection</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>ABI/INFORM Collection</collection><collection>Medical Database (Alumni Edition)</collection><collection>Military Database (Alumni Edition)</collection><collection>Science Database (Alumni Edition)</collection><collection>Telecommunications (Alumni Edition)</collection><collection>Computing Database (Alumni Edition)</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>Hospital Premium Collection</collection><collection>Hospital Premium Collection (Alumni Edition)</collection><collection>ProQuest Central (Alumni) (purchase pre-March 2016)</collection><collection>ABI/INFORM Collection (Alumni Edition)</collection><collection>Research Library (Alumni Edition)</collection><collection>Materials Science &amp; Engineering Collection</collection><collection>ProQuest Central (Alumni)</collection><collection>ProQuest Central</collection><collection>Advanced Technologies &amp; Aerospace Collection</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>ProQuest Business Premium Collection</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central</collection><collection>Business Premium Collection (Alumni)</collection><collection>Health Research Premium Collection</collection><collection>ABI/INFORM Global (Corporate)</collection><collection>Health Research Premium Collection (Alumni)</collection><collection>ProQuest Central Student</collection><collection>Research Library Prep</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>ProQuest Business Collection (Alumni Edition)</collection><collection>ProQuest Business Collection</collection><collection>Computer science database</collection><collection>ProQuest Health &amp; Medical Complete (Alumni)</collection><collection>ABI/INFORM Professional Advanced</collection><collection>ProQuest Engineering Collection</collection><collection>ABI/INFORM Global</collection><collection>Computing Database</collection><collection>Health &amp; Medical Collection (Alumni Edition)</collection><collection>Medical Database</collection><collection>Military Database</collection><collection>ProQuest research library</collection><collection>Science Database</collection><collection>Telecommunications Database</collection><collection>Engineering Database</collection><collection>Research Library (Corporate)</collection><collection>ProQuest advanced technologies &amp; aerospace journals</collection><collection>ProQuest Advanced Technologies &amp; Aerospace Collection</collection><collection>One Business (ProQuest)</collection><collection>ProQuest One Business (Alumni)</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering collection</collection><collection>ProQuest Central Basic</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>IEEE transactions on software engineering</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Cameron, E.J.</au><au>Cohen, D.M.</au><au>Gopinath, B.</au><au>Keese, W.M.</au><au>Ness, L.</au><au>Uppaluru, P.</au><au>Vollaro, J.R.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>The IC model of parallel computation and programming environment</atitle><jtitle>IEEE transactions on software engineering</jtitle><stitle>TSE</stitle><date>1988-03-01</date><risdate>1988</risdate><volume>14</volume><issue>3</issue><spage>317</spage><epage>326</epage><pages>317-326</pages><issn>0098-5589</issn><eissn>1939-3520</eissn><coden>IESEDJ</coden><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.&lt; &gt;</abstract><cop>New York, NY</cop><pub>IEEE</pub><doi>10.1109/32.4652</doi><tpages>10</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0098-5589
ispartof IEEE transactions on software engineering, 1988-03, Vol.14 (3), p.317-326
issn 0098-5589
1939-3520
language eng
recordid cdi_proquest_journals_195579890
source ABI/INFORM Global; IEEE Xplore (Online service)
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
title The IC model of parallel computation and programming environment
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-27T15%3A19%3A47IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_pasca&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=The%20IC%20model%20of%20parallel%20computation%20and%20programming%20environment&rft.jtitle=IEEE%20transactions%20on%20software%20engineering&rft.au=Cameron,%20E.J.&rft.date=1988-03-01&rft.volume=14&rft.issue=3&rft.spage=317&rft.epage=326&rft.pages=317-326&rft.issn=0098-5589&rft.eissn=1939-3520&rft.coden=IESEDJ&rft_id=info:doi/10.1109/32.4652&rft_dat=%3Cproquest_pasca%3E1142644%3C/proquest_pasca%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c242t-cacb07729ab9bea8e929127e489aa3e255910f5dd3667f7eefc7d987ea6397463%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=195579890&rft_id=info:pmid/&rft_ieee_id=4652&rfr_iscdi=true