A foundation for formal reuse of hardware.
Ana Cristina Vieira de MeloHoward BarringerPublished in: CHARME (1995)
Keyphrases
- low cost
- hardware and software
- real time
- computer systems
- hardware implementation
- software reuse
- computing systems
- computing power
- hardware architecture
- artificial intelligence
- learning objects
- theoretical foundation
- formal model
- formal specification
- massively parallel
- vlsi implementation
- graphics hardware
- standard pc
- parallel hardware
- formal language
- parallel architectures
- computing platform
- general purpose
- data sets