Keyphrases
- low cost
- real time
- hardware and software
- computer systems
- theorem prover
- massively parallel
- image processing
- vlsi implementation
- data mining
- parallel hardware
- random number generator
- circuit design
- computing power
- formal methods
- hardware implementation
- embedded systems
- model checking
- data processing
- high end
- data structure
- control program
- high level
- metadata
- high level programming