On the Necessity of Formal Models for Real-Time Parallel Computations.
Stefan D. BrudaSelim G. AklPublished in: PDPTA (2000)
Keyphrases
- formal models
- real time
- formal model
- rule based systems
- process model
- pc cluster
- cell processor
- low cost
- parallel computation
- parallel processing
- real time systems
- multi threaded
- control system
- parallel implementation
- graphics processing units
- neural network
- data sets
- vision system
- genetic programming
- expert systems
- database systems
- artificial intelligence
- real world