Verification of microprogrammed computer architectures in the S*-system: a case study.
Werner DammGert DöhmenPublished in: MICRO (1985)
Keyphrases
- resource management
- computer architecture
- computer systems
- parallel computing
- linear algebra
- high performance computing
- compute intensive
- multi threaded
- parallel computers
- model checking
- case study
- artificial intelligence
- computer science department
- computer science
- databases
- boundary element
- numerical methods
- instruction set
- formal methods
- graph cuts
- software development
- software engineering
- digital libraries
- multiscale