A language capable of describing computer architecture.
Machado, Luis Manuel da Cunha de Sousa
Rigas, Hariett B.
MetadataShow full item record
A fully automated and effective aid for computer system design is of great interest in increasing designers efficiency and reduce costs. Such a system, which requires unified and compatible tools for designing and analyzing computer architectures is still missing. Inserted in a research program by Professor Rigas to develop a complete automated design system, this work focuses on designing a formal language capable of describing the data flow of a computer. The language is capable of describing the interconnections between the major data flow components and the control of the flow of information. Using this language, several decompositions of the intended system can be specified and studied to find the optimal one.
Approved for public release; distribution is unlimited
Showing items related by title, author, creator and subject.
McGinn, Elizabeth Marie (Monterey, California. Naval Postgraduate School, 1991-09);A hypermedia approach to designing intelligent tutoring systems (ITS) is presented. Animated "page-turners" limited to one knowledge domain represent the majority of ITSs that have been developed in the past several ...
Suwono, Francius. (Monterey, California. Naval Postgraduate School, 1993-09);An interactive graphical interface helps intelligent computer- assisted instruction systems, because many applications can be well represented by graphic objects. One approach is a facility whereby a teacher constructing ...
Beebe, David Henry (Monterey, California. Naval Postgraduate School, 1989-06);The formal specification language Spec is used for writing black-box specifications for large software systems. These black-box specifications describe the interface beteen a system and its users, as well as internal ...