( en | de | ru )

 

Disambiguation of "Hao, Kecheng"

Author of the publication

copydeleteadd this publication to your clipboard
Flushing-Enabled Loop Pipelining for High-Level Synthesis.

, , , and . DAC, page 76:1-76:6. ACM, (2014)

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.

Xiaofei Hao

Wenjin Hao

Yao Hao

Haijun Hao

Jin Hao

 

Other publications of authors with the same name

Validating scheduling transformation for behavioral synthesis., , , , , and . DATE, page 1652-1657. IEEE, (2016)Equivalence checking for function pipelining in behavioral synthesis., , and . DATE, page 1-6. European Design and Automation Association, (2014)Component-Based Hardware/Software Co-Simulation., , and . DSD, page 265-270. IEEE Computer Society, (2007)Optimizing equivalence checking for behavioral synthesis., , , and . DATE, page 1500-1505. IEEE Computer Society, (2010)Formal Verification for High-Assurance Behavioral Synthesis., , , , and . ATVA, volume 5799 of Lecture Notes in Computer Science, page 337-351. Springer, (2009)Equivalence checking for behaviorally synthesized pipelines., , and . DAC, page 344-349. ACM, (2012)Facebook Content Search: Efficient and Effective Adapting Search on A Large Scale., , , , , , , and . SIGIR, page 3290-3294. ACM, (2023)Mechanical Certification of Loop Pipelining Transformations: A Preview., , , and . ITP, volume 8558 of Lecture Notes in Computer Science, page 549-554. Springer, (2014)Scalable Certification Framework for Behavioral Synthesis Front-End., , , , , and . DAC, page 149:1-149:6. ACM, (2014)Flushing-Enabled Loop Pipelining for High-Level Synthesis., , , and . DAC, page 76:1-76:6. ACM, (2014)