[IEEE 2015 International Conference on Parallel Architecture and Compilation (PACT) - San Francisco, CA, USA (2015.10.18-2015.10.21)] 2015 International Conference on Parallel Architecture and Compilation (PACT) - Parallel Methods for Verifying the Consistency of Weakly-Ordered Architectures
McLaughlin, Adam, Merrill, Duane, Garland, Michael, Bader, David A.Year:
2015
Language:
english
DOI:
10.1109/pact.2015.18
File:
PDF, 298 KB
english, 2015