Formal Techniques for Hardware Allocation.
José M. MendíasRomán HermidaMilagros FernándezPublished in: VLSI Design (1997)
Keyphrases
- low cost
- hardware and software
- real time
- optimal allocation
- embedded systems
- computing power
- resource allocation
- image processing
- formal model
- massively parallel
- computer systems
- dynamic allocation
- mathematical theory
- parallel hardware
- resource allocation problems
- graphics hardware
- processing capabilities
- formal methods
- formal specification
- personal computer
- data acquisition