Stem snoopi$ (all stems)
3 papers:
- HT-2010-GasslerZTS #named #recommendation #using
- SnoopyDB: narrowing the gap between structured and unstructured information using recommendations (WG, EZ, MT, GS), pp. 271–272.
- HPCA-2009-AgarwalPJ
- In-Network Snoop Ordering (INSO): Snoopy coherence on unordered interconnects (NA, LSP, NKJ), pp. 67–78.
- TACAS-2003-EmersonK #agile #model checking #protocol
- Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols (EAE, VK), pp. 144–159.