( en | de | ru )

 

Disambiguation of "Huang, Bo-Yuan"

Author of the publication

copydeleteadd this publication to your clipboard
A formal instruction-level GPU model for scalable verification.

, , , and . ICCAD, page 130. ACM, (2018)

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.

Bo Yuan

Huang Yuan

Yuan-Sheng Huang

Xiugan Yuan

Li Yuan

 

Other publications of authors with the same name

Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware., , , , and . DAC, page 91:1-91:6. ACM, (2018)Resource allocation in D2D communication - A game theoretic approach., , , , and . ICC Workshops, page 483-488. IEEE, (2014)ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions., , , and . TACAS (1), volume 11427 of Lecture Notes in Computer Science, page 351-357. Springer, (2019)Intelligent REST API data fuzzing., , and . ESEC/SIGSOFT FSE, page 725-736. ACM, (2020)A (k, n)-Threshold Progressive Visual Secret Sharing without Expansion., , and . Cryptogr., 2 (4): 28 (2018)Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification., , , , , and . CoRR, (2018)Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification., , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 37 (8): 1692-1705 (2018)Asynchronous QDI Circuit Synthesis from Signal Transition Protocols., , and . ICCAD, page 434-441. IEEE, (2015)The modeling of the OSAHS animal model with rats and airflow characteristics simulation of the upper airway., , , , , , and . ICCA, page 938-942. IEEE, (2013)Identification of differential proteins in pharyngeal airway surface liquid of the patients associated with Obstructive Sleep Apnea Syndrome by proteome analysis., , , and . ICCA, page 1260-1263. IEEE, (2013)