-
1
المؤلفون: Gil Shurek, Odellia Boni, Alex Goldin, John R. Reysa, Maxim Ilyaev, Raviv Gal, Michael L. Behm, Einat Kermany, Moab Arar, Bilal Saleh, Klaus-Dieter Schubert, Avi Ziv
المصدر: Hardware and Software: Verification and Testing ISBN: 9783319262864
Haifa Verification Conferenceمصطلحات موضوعية: Decision support system, Data model, Computer science, Human–computer interaction, business.industry, Process (engineering), Scale (chemistry), Data analysis, Test submission, Architecture, Software engineering, business, Cockpit
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f8e46dcb88a3f8f82d5ac0f98e0472a7
https://doi.org/10.1007/978-3-319-26287-1_4 -
2
المؤلفون: 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
المصدر: IBM Journal of Research and Development. 49:541-553
مصطلحات موضوعية: Microprocessor, Functional verification, Correctness, POWER5, General Computer Science, Computer architecture, law, Computer science, Cache, Integrated circuit design, Test plan, Simultaneous multithreading, law.invention
-
3
المؤلفون: 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
المصدر: IBM Journal of Research and Development. 46:53-76
مصطلحات موضوعية: High-level verification, Functional verification, General Computer Science, Computer architecture, Computer science, Processor design, Runtime verification, Verification, Software verification, Microarchitecture, Intelligent verification
-
4
المؤلفون: Hickerson Bryan G, Michael L. Behm, Monica Farkash
المصدر: DAC
مصطلحات موضوعية: Computer architecture, Computer science, business.industry, Embedded system, Process (computing), IBM, business
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::9c3e6bc2e2ec67e9d4ab0b94961fdf2b
https://doi.org/10.1145/2593069.2593114 -
5
المؤلفون: Yossi Lichtenstein, Michal Rimon, Michael Vinov, John M. Ludden, Michael L. Behm
المصدر: DAC
مصطلحات موضوعية: High-level verification, Functional verification, Computer science, business.industry, Runtime verification, Test (assessment), Intelligent verification, Computer architecture, Embedded system, Factor (programming language), business, computer, Software verification, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4f0457de2ab045919debb0692768f698
https://doi.org/10.1145/996566.996578 -
6
المؤلفون: Charles Meissner, John M. Ludden, Schumann John A, James P. Hsu, Jacob Buchert, Jackson Jonathan, Michael L. Behm, Wolfgang Roesner, Bishop Brock, Avi Ziv, Klaus-Dieter Schubert, Viresh Paruthi, Johannes Koesters
المصدر: IBM Journal of Research and Development. 55:10:1-10:17
مصطلحات موضوعية: High-level verification, Functional verification, General Computer Science, business.industry, Computer science, Embedded system, Runtime verification, Verification, Modular design, Simultaneous multithreading, business, Formal verification, Intelligent verification