Zobrazeno 1 - 10
of 18
pro vyhledávání: '"John M. Ludden"'
Autor:
Elaine R. Palmer, Kenneth Alan Goldman, Bharata Bhasker Rao, Hani Jamjoom, Lawrence Roy, Janani Janakirman, Brad Frey, Laurent Dufour, Ramachandra N. Pai, John M. Ludden, Cathy May, Guerney D. H. Hunt, Jeffrey A. Stuecheli, Wendel Glenn Voigt, Enriquillo Valdez, Sukadev Bhattiprolu, Mohit Kapur, Rick Boivie, William A. Starke, Paul Mackerras, Michael V. Le, Ryan P. Grimm
Publikováno v:
EuroSys
This paper presents Protected Execution Facility (PEF), a virtual machine-based Trusted Execution Environment (TEE) for confidential computing on Power ISA. PEF enables protected secure virtual machines (SVMs). Like other TEEs, PEF verifies the SVM p
Autor:
Natalia Freidman, Shay Aviv, Cockcroft Bryant, Tom Kolan, Elena Tsanko, Hernan Theiler, Hagai Hadad, John M. Ludden, Shai Doron, Hillel Mendelson, Vitali Sokhin
Publikováno v:
DATE
I. Abstract Post silicon validation is a unique challenge in the design verification process. On one hand, it utilizes real silicon and is therefore able to cover a larger state-space. On the other, it suffers from debugging challenges due to a lack
Autor:
Brian F. Veale, Joefon Jann, Stuart Z. Jacobs, John M. Ludden, Paul Mackerras, Michael K. Gschwind, Wade B. Ouren, David Edelsohn
Publikováno v:
IBM Journal of Research and Development. 62:6:1-6:10
The IBM POWER9 architecture offers a substantial set of novel and performance-improvement features that are made available to both scale-up and scale-out applications via system software. These features provide significant performance improvements fo
Autor:
A. D. Romonosky, Rebecca M. Gott, S. R. Farago, Michael L. Behm, Richard D. Peterson, John M. Ludden, D. W. Victor, W. K. Sharp, Bing-Lun Chu, B. S. Nelson, J. K. Hsu
Publikováno v:
IBM Journal of Research and Development. 49:541-553
This paper describes the methods and simulation techniques used to verify the functional correctness and performance attributes of the IBM POWER5TM microprocessor and the eServerTM p5 systems based on it. The approaches used were based on migrating t
Autor:
T. W. Pouarz, J. Abdulhafiz, K. D. Thompson, L. A. McConville, B. S. Nelson, F. D. Lewis, John M. Ludden, Bruce Wile, P. E. Milling, Bing-Lun Chu, G. M. Heiling, R. D. Peterson, Jason R. Baumgartner, Michael L. Behm, J. H. Klaus, Jeffrey A. Stuecheli, Viresh Paruthi, A. D. Romonosky, Jackson Jonathan, W. E. Bucy, T. Le, Wolfgang Roesner, D. J. Klema, J. R. Reysa, D. W. Victor
Publikováno v:
IBM Journal of Research and Development. 46:53-76
This paper describes the methods and simulation techniques used to verify the microarchitecture design and functional performance of the IBM POWER4 processor and the POWER4-based Regatta system. The approach was hierarchical, based on but considerabl
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
Publikováno v:
Health Affairs. 19:166-172
Publikováno v:
Hardware and Software: Verification and Testing ISBN: 9783642195822
Haifa Verification Conference
Haifa Verification Conference
Many modern microprocessor architectures utilize simultaneous multithreading (SMT) for increased performance. This trend is exemplified in IBM's Power series of high-end microprocessors which steadily increased the number of threads in a system in it
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::06e56517d790ffd6e6900de6cc82be35
https://doi.org/10.1007/978-3-642-19583-9_15
https://doi.org/10.1007/978-3-642-19583-9_15
Autor:
Lois J. Mandell, John M. Ludden
Publikováno v:
The Journal of Mental Health Administration. 20:72-78
This article describes quality improvement theory and its application in planning a major clinical initiative. The experience of the Harvard Community Health Plan in redesigning its mental health program is used to describe how theory can be translat
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