Litmus Tests for Comparing Memory Consistency Models: How Long Do They Need to Be?
Saved in:
| Title: | Litmus Tests for Comparing Memory Consistency Models: How Long Do They Need to Be? |
|---|---|
| Authors: | Mador-Haim, Sela1, Alur, Rajeev1, Martin, Milo M. K.1 |
| Source: | DAC: Annual ACM/IEEE Design Automation Conference; Jun2011, p504-509, 6p, 3 Diagrams, 1 Chart |
| Database: | Applied Science & Technology Source |
| ISSN: | 0738100X |
|---|
