Keyphrases
- low cost
- hardware and software
- real time
- computer systems
- model checking
- embedded systems
- image processing
- expert systems
- evolutionary algorithm
- theorem prover
- computing power
- databases
- software implementation
- graphics hardware
- massively parallel
- computing systems
- personal computer
- parallel architectures
- data acquisition
- standard pc