Automation of computer systems design and simulation
Thesis/Dissertation
·
OSTI ID:5501292
Constant research and development activities have been conducted in three separated general areas: (1) computing algorithms, (2) computing systems modeling (description), and (3) computing systems implementation automation. This dissertation addresses the overall computer systems design and simulation automation by concentrating on the critical research area of computer systems modeling to provide the necessary connexions to the other two research areas. An automata-theory-based modeling technique is developed to model any computer system for implementation as well as system-structures verification and evaluation against the implemented algorithms. While the modeling technique itself and its derived methodology take care of the implementation aspect, the system-structures verification and evaluation against the implemented algorithms are achieved by the definition of a universal micro-programming language. The defined universal micro-programming language together with the modeling technique creates an environment for automatic code generation and overall system evaluations. The result is a computer systems development environment that allows convenient and economical investigations and evaluations of different algorithms as well as system structures for final implementation transformation.
- Research Organization:
- State Univ. of New York, Buffalo, NY (USA)
- OSTI ID:
- 5501292
- Country of Publication:
- United States
- Language:
- English
Similar Records
Environment for the design and performance analysis of distributed systems
An automata theory approach to solving the dynamic task allocation problem in distributed computer systems
Automated reasoning: Introduction and applications
Thesis/Dissertation
·
Wed Dec 31 23:00:00 EST 1986
·
OSTI ID:7055122
An automata theory approach to solving the dynamic task allocation problem in distributed computer systems
Thesis/Dissertation
·
Sat Dec 31 23:00:00 EST 1988
·
OSTI ID:6093758
Automated reasoning: Introduction and applications
Book
·
Sat Dec 31 23:00:00 EST 1983
·
OSTI ID:6003867
Related Subjects
99 GENERAL AND MISCELLANEOUS
990210 -- Supercomputers-- (1987-1989)
990230* -- Mathematics & Mathematical Models-- (1987-1989)
ALGORITHMS
AUTOMATION
COMPUTER CODES
COMPUTERIZED SIMULATION
COMPUTERS
DESIGN
FUNCTIONAL MODELS
IMPLEMENTATION
MATHEMATICAL LOGIC
PROGRAMMING LANGUAGES
SIMULATION
SYSTEMS ANALYSIS
990210 -- Supercomputers-- (1987-1989)
990230* -- Mathematics & Mathematical Models-- (1987-1989)
ALGORITHMS
AUTOMATION
COMPUTER CODES
COMPUTERIZED SIMULATION
COMPUTERS
DESIGN
FUNCTIONAL MODELS
IMPLEMENTATION
MATHEMATICAL LOGIC
PROGRAMMING LANGUAGES
SIMULATION
SYSTEMS ANALYSIS