FEVS: A Functional Equivalence Verification Suite for High-Performance Scientific Computing.

Stephen F. Siegel Timothy K. Zirkel

Published in: Math. Comput. Sci. (2011)

Keyphrases

scientific computing
high performance computing
file system
workflow management
model checking
fault tolerant
highly parallel
databases
web services
knowledge acquisition
load balancing
fault tolerance
formal methods