( en | de | ru )

 

Disambiguierung von "Rimon, Michal"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification.

, , , , , , und . IEEE Des. Test Comput., 21 (2): 84-93 (2004)

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.

Golman Rimon-Lipinski

Michal Olszewski

Michal Pejko

Michal Novotny

Michal Fic

 

Weitere Publikationen von Autoren mit dem selben Namen

A knowledge-based software development environment for scientific model-building., und . KBSE, Seite 192-201. IEEE Computer Society, (1992)Industrial experience with test generation languages for processor verification., , , , und . DAC, Seite 36-40. ACM, (2004)Improving test quality through resource reallocation., , , und . HLDVT, Seite 64-69. IEEE Computer Society, (2001)Generating instruction streams using abstract CSP., , und . DATE, Seite 15-20. IEEE, (2012)Addressing Test Generation Challenges for Configurable Processor Verification., , , , , , und . HLDVT, Seite 95-101. IEEE Computer Society, (2006)VLIW: a case study of parallelism verification., , , , , , , , und . DAC, Seite 779-782. ACM, (2005)Learning microarchitectural behaviors to improve stimuli generation quality., , , und . DAC, Seite 848-853. ACM, (2011)Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification., , , , , , und . IEEE Des. Test Comput., 21 (2): 84-93 (2004)Constraint-Based Random Stimuli Generation for Hardware Verification., , , , , , und . AAAI, Seite 1720-1727. AAAI Press, (2006)A knowledge-based prototyping environment for construction of scientific modeling software., , und . Autom. Softw. Eng., 1 (1): 79-128 (1994)