Sphinx: A Hybrid Boolean Processor-FPGA Hardware Emulation System
Pu, Ruiyao, Sun, Yiwei, Ho, Pei-Hsin, Yang, Fan, Shang, Li, Zeng, Xuan
Published in 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD) (28.10.2023)
Published in 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD) (28.10.2023)
Get full text
Conference Proceeding
Algorithmic analysis of nonlinear hybrid systems
Henzinger, T.A., Pei-Hsin Ho, Wong-Toi, H.
Published in IEEE transactions on automatic control (01.04.1998)
Published in IEEE transactions on automatic control (01.04.1998)
Get full text
Journal Article
Tailoring the Wadsley–Roth crystallographic shear structures for high-power lithium-ion batteries
Jing, Panpan, Liu, Mengting, Ho, Hsin-Pei, Ma, Yifan, Hua, Weibo, Li, Haohui, Guo, Nan, Ding, Yong, Zhang, Weilin, Chen, Hailong, Zhao, Bote, Wang, Jenghan, Liu, Meilin
Published in Energy & environmental science (18.09.2024)
Published in Energy & environmental science (18.09.2024)
Get full text
Journal Article
Automatic symbolic verification of embedded systems
Alur, R., Henzinger, T.A., Pei-Hsin Ho
Published in IEEE transactions on software engineering (01.03.1996)
Published in IEEE transactions on software engineering (01.03.1996)
Get full text
Journal Article
GPU friendly fast Poisson solver for structured power grid network analysis
Shi, Jin, Cai, Yici, Hou, Wenting, Ma, Liwei, Tan, Sheldon X.-D., Ho, Pei-Hsin, Wang, Xiaoyi
Published in 2009 46th ACM/IEEE Design Automation Conference (26.07.2009)
Published in 2009 46th ACM/IEEE Design Automation Conference (26.07.2009)
Get full text
Conference Proceeding
Electron Localization in Cation-Disordered Rock Salt Electrodes
Outka, Alexandra, Ho, Hsin-Pei, Kuo, Winson Chun-Hsin, Wang, You, Raji-Adefila, Basirat, Sainio, Sami, Nordlund, Dennis, Watt, John, Wang, Jeng-Han, Chen, Dongchang
Published in ACS energy letters (12.04.2024)
Published in ACS energy letters (12.04.2024)
Get full text
Journal Article
2019 CAD Contest: System-level FPGA Routing with Timing Division Multiplexing Technique
Su, Yu-Hsuan, Sun, Richard, Ho, Pei-Hsin
Published in 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (01.11.2019)
Published in 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (01.11.2019)
Get full text
Conference Proceeding
HYTECH: a model checker for hybrid systems
Henzinger, Thomas A., Ho, Pei-Hsin, Wong-Toi, Howard
Published in International journal on software tools for technology transfer (01.12.1997)
Published in International journal on software tools for technology transfer (01.12.1997)
Get full text
Journal Article
Clock tree synthesis for low power and low susceptibility to variation
Yongseok Cheon, Pei-Hsin Ho, Wenting Hou, Yi Liu, Dong Wang
Published in 2007 7th International Conference on ASIC (01.10.2007)
Published in 2007 7th International Conference on ASIC (01.10.2007)
Get full text
Conference Proceeding
Power-aware placement
Cheon, Yongseok, Ho, Pei-Hsin, Kahng, Andrew B., Reda, Sherief, Wang, Qinke
Published in Proceedings of the 42nd annual Design Automation Conference (13.06.2005)
Published in Proceedings of the 42nd annual Design Automation Conference (13.06.2005)
Get full text
Conference Proceeding
Automatic register banking for low-power clock trees
Wenting Hou, Liu, D., Pei-Hsin Ho
Published in 2009 10th International Symposium on Quality Electronic Design (01.03.2009)
Published in 2009 10th International Symposium on Quality Electronic Design (01.03.2009)
Get full text
Conference Proceeding
Smart simulation using collaborative formal and simulation engines
Pei-Hsin Ho, Shiple, T., Harer, K., Kukula, J., Damiano, R., Bertacco, V., Taylor, J., Jiang Long
Published in Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (2000)
Published in Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (2000)
Get full text
Conference Proceeding
Journal Article
Multi-mode redundancy removal
Plaza, S M, Saxena, P, Shiple, T, Pei-Hsin Ho
Published in 2011 12th International Symposium on Quality Electronic Design (01.03.2011)
Published in 2011 12th International Symposium on Quality Electronic Design (01.03.2011)
Get full text
Conference Proceeding
Techniques for effective distributed physical synthesis
Mang, Freddy Y. C., Hou, Wenting, Ho, Pei-Hsin
Published in 2007 44th ACM/IEEE Design Automation Conference (04.06.2007)
Published in 2007 44th ACM/IEEE Design Automation Conference (04.06.2007)
Get full text
Conference Proceeding
Intelligent Random Vector Generator Based on Probability Analysis of Circuit Structure
Yu-Min Kuo, Cheng-Hung Lin, Chun-Yao Wang, Shih-Chieh Chang, Pei-Hsin Ho
Published in 8th International Symposium on Quality Electronic Design (ISQED'07) (01.03.2007)
Published in 8th International Symposium on Quality Electronic Design (ISQED'07) (01.03.2007)
Get full text
Conference Proceeding
Formal verification of pipeline control using controlled token nets and abstract interpretation
Ho, Pei-Hsin, Isles, Adrian J., Kam, Timothy
Published in Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (01.11.1998)
Published in Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (01.11.1998)
Get full text
Conference Proceeding
Journal Article
The domatic number problem in interval graphs
TUNG-LIN LU, PEI-HSIN HO, CHANG, G. J
Published in SIAM journal on discrete mathematics (01.11.1990)
Published in SIAM journal on discrete mathematics (01.11.1990)
Get full text
Journal Article