Refinement of Parallel and Reactive Programs.

Ralph-Johan Back

Published in: NATO ASI PDC (1992)

Keyphrases

sorting algorithms
social networks
parallel processing
agent architecture
intermediate level
high level programming language
data sets
e learning
bayesian networks
information technology
parallel implementation
massively parallel
graphics processing units
distributed memory