( en | de | ru )

 

Disambiguation of "Emek, Roy"

Author of the publication

copydeleteadd this publication to your clipboard
Random Stimuli Generation for Functional Hardware Verification as a CP Application.

, and . CP, volume 3709 of Lecture Notes in Computer Science, page 882-882. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Emek Yilmaz

Ömer Faruk Emeksiz

eyda Dilek Emek

Bilen Emek Abali

Roy Hornig

Beschreibung mikro-rheologischer Vorgänge und resultierender Verbundstrukturen beim Elastomermischprozeß im Innenmischer durch rheologische Untersuchungen. NA Halle-Wittenberg, (2009)
 

Other publications of authors with the same name

DeepTrans - A Model-based Approach to Functional Verification of Address Translation Mechanisms., , , and . MTV, page 3-6. IEEE Computer Society, (2003)Scheduling of transactions for system-level test-case generation., and . HLDVT, page 149-154. IEEE Computer Society, (2003)Using a constraint satisfaction formulation and solution techniques for random test program generation., , , and . IBM Syst. J., 41 (3): 386-402 (2002)Reuse in system-level stimuli-generation., , , , , and . HLDVT, page 105-111. IEEE Computer Society, (2005)Adaptive test program generation: planning for the unplanned., , and . HLDVT, page 83-88. IEEE Computer Society, (2002)Framework for Multicast in Hierarchical Networks., , and . INFOCOM, page 1673-1682. IEEE Computer Society, (2000)Scheduling-based test-case generation for verification of multimedia SoCs., , , , and . DAC, page 348-351. ACM, (2006)Random Stimuli Generation for Functional Hardware Verification as a CP Application., and . CP, volume 3709 of Lecture Notes in Computer Science, page 882-882. Springer, (2005)Generating Random Solutions for Constraint Satisfaction Problems., , , and . AAAI/IAAI, page 15-21. AAAI Press / The MIT Press, (2002)Quality Improvement Methods for System-Level Stimuli Generation., , , and . ICCD, page 204-206. IEEE Computer Society, (2004)