CCICheck: Using νhb graphs to verify the coherence-consistency interface

Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, Margaret Rose Martonosi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

28 Scopus citations

Fingerprint

Dive into the research topics of 'CCICheck: Using νhb graphs to verify the coherence-consistency interface'. Together they form a unique fingerprint.

Engineering & Materials Science