Login / Signup
Karen Holtz
Publication Activity (10 Years)
Years Active: 1999-2014
Publications (10 Years): 0
Top Topics
Speculative Execution
Power Consumption
Transactional Memory
Parallel Processing
Top Venues
DAC
</>
Publications
</>
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)
Eyal Bin
,
Alaa Ghanayim
,
Karen Holtz
,
Eitan Marcus
,
Ronny Morad
,
Ofer Peled
,
Michal Rimon
,
Gil Shurek
,
Elena Tsanko
Ontology-Based Tools in the Service of Hardware Verification.
SEKE
(2010)
Daniel Geist
,
Giora Biran
,
Tamarah Arons
,
Michael Slavkin
,
Yvgeny Nustov
,
Monica Farkas
,
Karen Holtz
,
Andy Long
,
Dave King
,
Steve Barret
A Methodology for the Verification of a "System on Chip".
DAC
(1999)