( en | de | ru )

 

Disambiguation of "Ho, Richard"

Author of the publication

copydeleteadd this publication to your clipboard
Learning Semantic Representations to Verify Hardware Designs.

, , , , , , and . NeurIPS, page 23491-23504. (2021)

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.

Serge Ho

Hotjüan Ho

Sunbien Ho

Hans Ho

Mai Ho

 

Other publications of authors with the same name

Learning Semantic Representations to Verify Hardware Designs., , , , , , and . NeurIPS, page 23491-23504. (2021)A Survey on Human-AI Teaming with Large Pre-Trained Models., , , , , , , , , and 13 other author(s). CoRR, (2024)Chip Placement with Deep Reinforcement Learning., , , , , , , , , and 12 other author(s). CoRR, (2020)Anton, a Special-purpose Machine for Molecular Dynamics Simulation, , , , , , , , , and 17 other author(s). Commun. ACM, 51 (7): 91--97 (July 2008)Warehouse-scale video acceleration: co-design and deployment in the wild., , , , , , , , , and 42 other author(s). ASPLOS, page 600-615. ACM, (2021)Architecture Validation for Processors., , , and . ISCA, page 404-413. ACM, (1995)Anton, a special-purpose machine for molecular dynamics simulation., , , , , , , , , and 17 other author(s). ISCA, page 1-12. ACM, (2007)Hierarchical simulation-based verification of Anton, a special-purpose parallel machine., , , , , , , , , and 5 other author(s). ICCD, page 340-347. IEEE Computer Society, (2008)Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic., , , , , and . DAC, page 268-271. ACM, (2008)Anton 2: Raising the Bar for Performance and Programmability in a Special-Purpose Molecular Dynamics Supercomputer., , , , , , , , , and 35 other author(s). SC, page 41-53. IEEE Computer Society, (2014)