Show simple item record

dc.contributor.authorAbrams, Marcen_US
dc.contributor.authorPage, Ernest H.en_US
dc.contributor.authorNance, Richard E.en_US
dc.date.accessioned2013-06-19T14:37:07Z
dc.date.available2013-06-19T14:37:07Z
dc.date.issued1991
dc.identifierhttp://eprints.cs.vt.edu/archive/00000260/en_US
dc.identifier.urihttp://hdl.handle.net/10919/19646
dc.description.abstractChandy and Misra's UNITY is a computation model and proof system suitable for development of parallel (and distributed) programs through step-wise refinement of specifications. UNITY supports the development of correct programs and the efficient implementation of those programs on parallel computer architectures. This paper assesses the potential of UNITY for simulation model specification and implementation by developing a UNITY specification of the machine interference problem with a patrolling repairman service discipline. The conclusions reached are that the UNITY proof system can assist formal verification of simulation models and the UNITY mappings of programs to various computer architectures offer some potential for assisting the automatic implementation of simulation models on parallel architectures. The paper gives some insights into the relationship of time flow mechanisms, parallel simulation protocols, and target parallel computer architectures.en_US
dc.format.mimetypeapplication/pdfen_US
dc.publisherDepartment of Computer Science, Virginia Polytechnic Institute & State Universityen_US
dc.relation.ispartofHistorical Collection(Till Dec 2001)en_US
dc.titleLinking Simulation Model Specification and Parallel Execution through UNITYen_US
dc.typeTechnical reporten_US
dc.identifier.trnumberTR-91-14en_US
dc.type.dcmitypeTexten_US
dc.identifier.sourceurlhttp://eprints.cs.vt.edu/archive/00000260/01/TR-91-14.pdf


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record