The Formal Construction of a Parallel Triangular System Solver.

L. D. J. C. Loyens Rob H. Bisseling

Published in: MPC (1989)

Keyphrases

parallel processing
massively parallel
formal model
parallel computing
formal methods
genetic algorithm
real time
databases
evolutionary algorithm
constraint satisfaction
parallel implementation
construction process