Login / Signup
A Low Overhead Methodology for Validating Memory Consistency Models in Chip Multiprocessors.
Binod Kumar
Swapniel Thakur
Kanad Basu
Masahiro Fujita
Virendra Singh
Published in:
VLSI Design (2020)
Keyphrases
</>
low overhead
high speed
probabilistic model
pairwise
context aware
data sets
search algorithm
multi dimensional
distributed systems
load balancing
high reliability