Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Oz Hershkovitz"'
Autor:
Charles Meissner, Wisam Kadry, Randall R. Pratt, Anatoly Koyfman, Thompto Brian W, Brett Adam St. Onge, Daniel Hershcovich, Mike Schiffli, Avi Ziv, Allon Adir, Elena Tsanko, Oz Hershkovitz, Karen Holtz, Hickerson Bryan G, John M. Ludden, Dave Goodman, Amir Nahir
Publikováno v:
DAC
Transactional memory is a promising mechanism for synchronizing concurrent programs that eliminates locks at the expense of hardware complexity. Transactional memory is a hard feature to verify. First, transactions comprise several instructions that
Autor:
Leitner Lawrence, S. M. German, Jackson Jonathan, Fady Copty, Richard D. Peterson, Schumann John A, Randall R. Pratt, Michal Rimon, Johannes Koesters, Amir Nahir, Klaus-Dieter Schubert, Holger Horbach, Bishop Brock, Oz Hershkovitz, Jörg Behrend, John M. Ludden, G. B. Meil, Charles Meissner, S. Ayub, Ronny Morad, Klaus Keuerleber, Viresh Paruthi
Publikováno v:
IBM Journal of Research and Development. 59:11:1-11:17
This paper describes methods and techniques used to verify the POWER8™ microprocessor. The base concepts for the functional verification are those that have been already used in POWER7® processor verification. However, the POWER8 design point prov
Publikováno v:
ACM / SIGPLAN Notices; Apr2018, Vol. 53 Issue 4, p211-225, 15p
Autor:
Aharoni, Merav, Ben-Haim, Yael, Doron, Shai, Koyfman, Anatoly, Tsanko, Elena, Veksler, Michael
Publikováno v:
Principles & Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings; 2016, p843-858, 16p
Autor:
Adir, Allon, Goodman, Dave, Hershcovich, Daniel, Hershkovitz, Oz, Hickerson, Bryan, Holtz, Karen, Kadry, Wisam, Koyfman, Anatoly, Ludden, John, Meissner, Charles, Nahir, Amir, Pratt, Randall R., Schiffli, Mike, St. Onge, Brett, Thompto, Brian, Tsanko, Elena, Ziv, Avi
Publikováno v:
Proceedings of the the 51st Annual Design Automation Conference Design Automation Conference; 6/1/2014, p1-6, 6p
Autor:
Michel Rueher
This book constitutes the refereed conference proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming, CP 2016, held in Toulouse, France, in September 2016. The 63 revised regular papers presented togethe
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. The 15 revised full papers presented together with 3 tool papers and 4