Bo-Yuan Huang
Titel
Geciteerd door
Geciteerd door
Jaar
Resource allocation in D2D communication-A game theoretic approach
BY Huang, ST Su, CY Wang, CW Yeh, HY Wei
2014 IEEE International Conference on Communications Workshops (ICC), 483-488, 2014
242014
Instruction-Level Abstraction (ILA) A Uniform Specification for System-on-Chip (SoC) Verification
BY Huang, H Zhang, P Subramanyan, Y Vizel, A Gupta, S Malik
ACM Transactions on Design Automation of Electronic Systems (TODAES) 24 (1 …, 2018
142018
Protocol design and game theoretic solutions for device-to-device radio resource allocation
ST Su, BY Huang, CY Wang, CW Yeh, HY Wei
IEEE Transactions on Vehicular Technology 66 (5), 4271-4286, 2016
112016
Template-based parameterized synthesis of uniform instruction-level abstractions for SoC verification
P Subramanyan, BY Huang, Y Vizel, A Gupta, S Malik
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2017
102017
Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware
BY Huang, S Ray, A Gupta, JM Fung, S Malik
Proceedings of the 55th Annual Design Automation Conference, 1-6, 2018
92018
ILAng: a modeling and verification platform for SoCs using instruction-level abstractions
BY Huang, H Zhang, A Gupta, S Malik
International Conference on Tools and Algorithms for the Construction and …, 2019
12019
A formal instruction-level GPU model for scalable verification
Y Xing, BY Huang, A Gupta, S Malik
Proceedings of the International Conference on Computer-Aided Design, 1-8, 2018
12018
Asynchronous QDI circuit synthesis from signal transition protocols
BY Huang, YH Lai, JHR Jiang
2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 434-441, 2015
2015
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–8