( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Ontology-Based Tools in the Service of Hardware Verification.

, , , , , , , , и . SEKE, стр. 303-308. Knowledge Systems Institute Graduate School, (2010)

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.

Eyal Haik

Eyal Arnon

Bin Zhao

Bin Peng

Bin Hu

 

Другие публикации лиц с тем же именем

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