Composition of Accelerations to Verify Infinite Heterogeneous Systems.

Sébastien Bardin Alain Finkel

Published in: ATVA (2004)

Keyphrases

heterogeneous systems
distributed architecture
application developers
computing systems
web services
parallel architectures
databases
information systems
multiple types
legacy systems
database
real world
database applications
parallel computing
grid environment