| Programming with transactional coherence and consistency (TCC) |
Lance Hammond and B. Carlstrom and Vicky Wong and Ben Hertzberg and Michael K. Chen and C. Kozyrakis and K. Olukotun |
2004 |
140 |
8 |
| Teapot: language support for writing memory coherence protocols |
S. Chandra and Brad Richards and J. Larus |
1996 |
76 |
4 |
| The Coherence of Languages with Intersection Types |
J. C. Reynolds |
1991 |
71 |
6 |
| Multiparty session types as coherence proofs |
Marco Carbone and F. Montesi and C. Sch眉rmann and N. Yoshida |
2015 |
44 |
1 |
| Model checking a cache coherence protocol for a Java DSM implementation |
J. Pang and W. Fokkink and Rutger F. H. Hofman and R. Veldema |
2003 |
30 |
1 |
| A correctness proof of a cache coherence protocol |
A. Felty and F. Stomp |
1996 |
11 |
1 |
| Logical relations for coherence of effect subtyping |
Dariusz Biernacki and Piotr Polesiuk |
2017 |
10 |
0 |
| RC3: Consistency Directed Cache Coherence for x86-64 with RC Extensions |
M. Elver and V. Nagarajan |
2015 |
9 |
2 |
| Exploring Remote Object Coherence in XMLWeb Services |
R. Engelen and M. Govindaraju and Wei Zhang |
2006 |
8 |
0 |
| Cache coherence requirements for interprocess rendezvous |
R. Clapp and T. Mudge and D. C. Winsor |
1990 |
4 |
0 |
| A Simple Algorithm for Hard Exudate Detection in Diabetic Retinopathy Using Spectral-Domain Optical Coherence Tomography |
Maciej Szymkowski and Emil Saeed and K. Saeed and Z. Mariak |
2019 |
2 |
0 |