Verification of Transactional Memory in POWER8
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Allon Adir, Dave Goodman, Daniel Hershcovich, Oz Hershkovitz, Bryan G. Hickerson, Karen Holtz, Wisam Kadry, Anatoly Koyfman, John M. Ludden, Charles Meissner, Amir Nahir, Randall R. Pratt, Mike Schiffli, Brett St. Onge, Brian W. Thompto, Elena Tsanko, Avi Ziv
Verification of Transactional Memory in POWER8
DAC, 2014.

DAC 2014
Full names Links ISxN
	author        = "Allon Adir and Dave Goodman and Daniel Hershcovich and Oz Hershkovitz and Bryan G. Hickerson and Karen Holtz and Wisam Kadry and Anatoly Koyfman and John M. Ludden and Charles Meissner and Amir Nahir and Randall R. Pratt and Mike Schiffli and Brett St. Onge and Brian W. Thompto and Elena Tsanko and Avi Ziv",
	booktitle     = "{Proceedings of the 51st Annual Design Automation Conference}",
	doi           = "10.1145/2593069.2593241",
	isbn          = "978-1-4503-2730-5",
	pages         = "6",
	publisher     = "{ACM}",
	title         = "{Verification of Transactional Memory in POWER8}",
	year          = 2014,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.