Formalism in Computer System Design: Models of Parallelism and Concurrency
- Lookup NU author(s)
|
|
|
|
| Author(s) | | Coffman EG |
| Series Editor(s) | | Cox NSM |
| Publication type | | Report |
| Series Title | | Computing Laboratory Technical Report Series |
| Year | | 1969 |
| Date | | December 1969 |
| Report Number | | 1 |
| Pages | | 42 |
|
|
|
| Full text is available for this publication: |
|
|
|
|
| The design of effective academic courses covering the topics of machine organisation and operating system design constitutes an important problem in computer science curriculum development. The point of departure for the talk that was based on these notes consisted of the apparent lack of sufficient formalism in many of these courses as they are presented today. The notes proceed to show that a formal framework can be found for a wide range of subjects in the area of operating system and machine organisation design. The means for demonstrating this was a survey of algebraic and stochastic models designed to represent various control and sequencing problems connected with multiprogramming and multiprocessing systems. |
|
|
|
| Institution | | Computing Laboratory, The University of Newcastle upon Tyne |
| Place Published | | Newcastle upon Tyne |
| Actions | |  |
