( en | de | ru )

 

Disambiguierung von "Naveh, Yehuda"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Constraint-Based Random Stimuli Generation for Hardware Verification.

, , , , , , und . AAAI, Seite 1720-1727. AAAI Press, (2006)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Yehuda Avniel

 

Weitere Publikationen von Autoren mit dem selben Namen

Using AI for Performance Verification of High-End Processors., , , und . ICPE Companion, Seite 43-44. ACM, (2019)The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference.. SAT, Volume 6175 von Lecture Notes in Computer Science, Seite 1-7. Springer, (2010)Theoretical and practical aspects of verification of quantum computers., , , und . DATE, Seite 721-730. IEEE, (2018)Scheduling of transactions for system-level test-case generation., und . HLDVT, Seite 149-154. IEEE Computer Society, (2003)IBM's Qiskit Tool Chain: Working with and Developing for Real Quantum Computers., , und . DATE, Seite 1234-1240. IEEE, (2019)Constraint-Based Random Stimuli Generation for Hardware Verification., , , , , , und . AAAI, Seite 1720-1727. AAAI Press, (2006)Random Stimuli Generation for Functional Hardware Verification as a CP Application., und . CP, Volume 3709 von Lecture Notes in Computer Science, Seite 882-882. Springer, (2005)Guiding Stochastic Search by Dynamic Learning of the Problem Topography.. CPAIOR, Volume 5015 von Lecture Notes in Computer Science, Seite 349-354. Springer, (2008)Constraint-Based Random Stimuli Generation for Hardware Verification., , , , , , und . AI Magazine, 28 (3): 13-30 (2007)Workforce optimization: Identification and assignment of professional workers using constraint programming., , , , und . IBM J. Res. Dev., 51 (3/4): 263-280 (2007)