( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Componentizing hardware/software interface design.

, и . DATE, стр. 232-237. IEEE, (2009)

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.

Xiaofei Hao

Wenjin Hao

Jin Hao

Jun Hao

Yao Hao

 

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

Validating scheduling transformation for behavioral synthesis., , , , , и . DATE, стр. 1652-1657. IEEE, (2016)Equivalence checking for behaviorally synthesized pipelines., , и . DAC, стр. 344-349. ACM, (2012)Facebook Content Search: Efficient and Effective Adapting Search on A Large Scale., , , , , , , и . SIGIR, стр. 3290-3294. ACM, (2023)Equivalence checking for function pipelining in behavioral synthesis., , и . DATE, стр. 1-6. European Design and Automation Association, (2014)Component-Based Hardware/Software Co-Simulation., , и . DSD, стр. 265-270. IEEE Computer Society, (2007)Optimizing equivalence checking for behavioral synthesis., , , и . DATE, стр. 1500-1505. IEEE Computer Society, (2010)Formal Verification for High-Assurance Behavioral Synthesis., , , , и . ATVA, том 5799 из Lecture Notes in Computer Science, стр. 337-351. Springer, (2009)Handling design and implementation optimizations in equivalence checking for behavioral synthesis., , , и . DAC, стр. 117:1-117:6. ACM, (2013)Componentizing hardware/software interface design., и . DATE, стр. 232-237. IEEE, (2009)Flushing-Enabled Loop Pipelining for High-Level Synthesis., , , и . DAC, стр. 76:1-76:6. ACM, (2014)