Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Micro-Architecture Verification for Microprocessors., und . MTV, Seite 112-113. IEEE Computer Society, (2004)Ontology-Based Tools in the Service of Hardware Verification., , , , , , , , und . SEKE, Seite 303-308. Knowledge Systems Institute Graduate School, (2010)Generating Random Solutions for Constraint Satisfaction Problems., , , und . AAAI/IAAI, Seite 15-21. AAAI Press / The MIT Press, (2002)Piparazzi: a test program generator for micro-architecture flow verification., , , und . HLDVT, Seite 23-28. IEEE Computer Society, (2003)An ontology and constraint based approach to cache preloading., , , und . HLDVT, Seite 129-136. IEEE Computer Society, (2010)Guaranteeing High Availability Goals for Virtual Machine Placement., , , , , , und . ICDCS, Seite 700-709. IEEE Computer Society, (2011)Solving Constraint Satisfaction Problems Containing Vectors of Unknown Size., , und . CP, Volume 10416 von Lecture Notes in Computer Science, Seite 55-70. Springer, (2017)A generic micro-architectural test plan approach for microprocessor verification., , , , und . DAC, Seite 769-774. ACM, (2005)On Defining Rules for Cancer Data Fabrication., , , und . RuleML+RR, Volume 12173 von Lecture Notes in Computer Science, Seite 168-176. Springer, (2020)