Using Transformation to Verify Parallel Programs.
Ernst-Rüdiger OlderogKrzysztof R. AptPublished in: Algebraic Methods (1989)
Keyphrases
- high level programming language
- parallel processing
- real time
- parallel computation
- parallel implementation
- database
- artificial neural networks
- hidden markov models
- object oriented
- artificial intelligence
- shared memory
- learning algorithm
- computer architecture
- programming environment
- neural network
- linear transformation
- multi core processors
- sorting algorithms
- parallel hardware