Object-based computer architecture
ACM SIGARCH Computer Architecture News
The Object Model: A Conceptual Tool for Structuring Software
Operating Systems, An Advanced Course
Writing Simulatable Specifications in SPECIAL
The Use of Formal Specification of Software
Gypsy: A language for specification and implementation of verifiable programs
Proceedings of an ACM conference on Language design for reliable software
An introduction to the simulation data language
WSC '82 Proceedings of the 14th conference on Winter Simulation - Volume 2
Hi-index | 0.00 |
The general problem of the representation and performance-oriented modeling of the behavior of distributed computer systems is discussed. A description of an integrated System Design/Static and Dynamic Modeling (SD/SDM) tool set is presented. In SD/SDM, a data base organization is used for the representation of the architecture, load, application software and the operating system of a distributed system. Modeling is performed statically or dynamically through a generic simulation model that does not require recompilation. Applications of SD/SDM in actual projects are discussed briefly.