The Library
Parallel computation in definitive models
Tools
Tools
Tools
Beynon, Meurig, Slade, M. D. and Yung, Y. W. (1988) Parallel computation in definitive models. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
|
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-127.pdf - Other - Requires a PDF viewer. Download (1067Kb) | Preview |
Abstract
This paper describes an abstract machine model for parallel computation that exploits a programming paradigm based upon definitions. Proposed applications to the implementation of CAD systems, and to the modelling and simulation of concurrent systems are outlined. A brief comparison with alternative approaches to parallel computation is included.
| Item Type: | Report | ||||
|---|---|---|---|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
| Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
| Library of Congress Subject Headings (LCSH): | Parallel processing (Electronic computers) -- Computer simulation | ||||
| Series Name: | Department of Computer Science research report | ||||
| Publisher: | University of Warwick. Department of Computer Science | ||||
| Official Date: | 1988 | ||||
| Dates: |
|
||||
| Number: | Number 127 | ||||
| Number of Pages: | 11 | ||||
| DOI: | CS-RR-127 | ||||
| Institution: | University of Warwick | ||||
| Theses Department: | Department of Computer Science | ||||
| Status: | Not Peer Reviewed | ||||
| Publication Status: | Unpublished | ||||
| Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
Downloads
Downloads per month over past year
