A Simulation-Based Method for the Verification of Shared Memory in Multiprocessor Systems.

Scott A. Taylor Carl Ramey Craig Barner David Asher

Published in: ICCAD (2001)

Keyphrases

dynamic programming
three dimensional
parallel algorithm
similarity measure
pairwise
probabilistic model
fine grained