Performance Evaluation of Asynchronous Concurrent Systems: The UCLA Graph Model of Behavior
Performance '83 Proceedings of the 9th International Symposium on Computer Performance Modelling, Measurement and Evaluation
An algorithm to support code-skeleton generation for concurrent systems
ICSE '81 Proceedings of the 5th international conference on Software engineering
Concurrent software system design supported by SARA at the age of one
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Evaluation methods in SARA—the graph model simulator
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
Developing a SARA building block - the 8080
Proceedings of the Symposium on Design Automation and Microprocessors
Proper termination of flow-of-control in programs involving concurrent processes
ACM '72 Proceedings of the ACM annual conference - Volume 2
Assignment of inventory of a variable structure computer
Assignment of inventory of a variable structure computer
A methodology for digital system design based on structural and functional modeling.
A methodology for digital system design based on structural and functional modeling.
A distributed data and control driven machine: programming and architecture.
A distributed data and control driven machine: programming and architecture.
A study of parallel processing architecture for computer simulation of plasmas.
A study of parallel processing architecture for computer simulation of plasmas.
Building block modeling methodology for composition of microprocessor-based digital systems
Building block modeling methodology for composition of microprocessor-based digital systems
The use of a module interface description in the synthesis of reliable software systems
The use of a module interface description in the synthesis of reliable software systems
Verification of concurrent systems: function and timing
Verification of concurrent systems: function and timing
Performance-oriented design of distributed systems
Performance-oriented design of distributed systems
A graphical hardware design language
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Hi-index | 0.00 |
This paper presents an overview of SARA (System ARchitects Apprentice), an interactive environment which was created so that designers might enhance their capabilities to effectively design concurrent computer systems. SARA's requirements, methodology, support tools, and experiences are summarized in turn. The paper ends with a discussion of collaborative capabilities needed in the “design room”.