Analysis of Graphs by Ordering of Nodes
Journal of the ACM (JACM)
A Survey of Some Theoretical Aspects of Multiprocessing
ACM Computing Surveys (CSUR)
Computer Semantics: Studies of Algorithms Processors and Languages
Computer Semantics: Studies of Algorithms Processors and Languages
Block structure (Extended Abstract): Retention or deletion?
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Picture-system models and computer system design.
Picture-system models and computer system design.
ACM SIGDA Newsletter
Computer system organization: The B5700/B6700 series (ACM monograph series)
Computer system organization: The B5700/B6700 series (ACM monograph series)
Computer structures: Readings and examples (McGraw-Hill computer science series)
Computer structures: Readings and examples (McGraw-Hill computer science series)
Events and conditions: introduction
Record of the Project MAC conference on concurrent systems and parallel computation
A Comparison of Some Theoretical Models of Parallel Computation
IEEE Transactions on Computers
Macro E-Nets for Representation of Parallel Systems
IEEE Transactions on Computers
Hi-index | 0.00 |
This paper introduces a new simulation tool called picture systems. A picture system is (1) a set of pictures - one representing each state of a modeled computer system and (2) a transition graph which relates each picture to the set of pictures that may follow it. Picture systems can be used to model computer systems at any level of detail; however, this paper is concerned with modeling hardware/software systems at relatively high architectural levels. Picture systems, as a simulation tool, are useful to the computer architect. Perhaps more importantly, they provide an unexcelled means of communicating computer system mechanisms between people.The construction of picture systems from descriptions of the components of a computer system has been automated in PS. This paper describes a model of a channel-to-channel computer interface mechanism consisting of both hardware and software. Transition graph analysis by PS is briefly described. This powerful aid to computer system modeling eases the identification of problems such as deadlock, looping, and races.