Simulation, Reduction and Preservation of Correctness Properties of Parallel Systems.
Henry TirriPublished in: Inf. Process. Lett. (1983)
Keyphrases
- mathematical model
- distributed systems
- simulation tools
- simulation model
- learning systems
- building blocks
- simulation models
- parallel implementation
- structural properties
- intelligent systems
- general purpose
- computer vision
- knowledge based systems
- genetic algorithm
- complex systems
- artificial neural networks
- expert systems
- multi agent
- mathematical models
- computing systems
- search engine
- high end
- artificial intelligence