William N. N. Hung

synopsys inc

0H指数

0论文数

0被引数

收录论文 9

发表时间

An efficient NPN Boolean matching algorithm based on structural signature and Shannon expansion

CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS

IF4.1

2018-01-31

PREAI

Zhang, Juling; Yang, Guowu; Hung, William N. N.; Zhang, Yan; Wu, Jinzhao

Symbolic Analysis of Programmable Logic Controllers

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2014-10-01

PREAI

Zhang, Hehua; Jiang, Yu; Hung, William N. N.; Song, Xiaoyu; Gu, Ming; Sun, Jiaguang

Bayesian-Network-Based Reliability Analysis of PLC Systems

IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS

IF7.2

2013-11-01

PREAI

Jiang, Yu; Zhang, Hehua; Song, Xiaoyu; Jiao, Xun; Hung, William N. N.; Gu, Ming; Sun, Jiaguang

Optimizing communication in mobile ad hoc network clustering 移动ad hoc网络分簇通信优化

COMPUTERS IN INDUSTRY

IF9.1

2013-09-01

PREAI

Zhao, Xibin; Hung, William N. N.; Yang, Yafei; Song, Xiaoyu

Maxterm Covering for Satisfiability

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2012-03-01

PREAI

Yin, Liangze; He, Fei; Hung, William N. N., Sr.; Song, Xiaoyu, Sr.; Gu, Ming

Integrating Evolutionary Computation with Abstraction Refinement for Model Checking

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2010-01-01

PREAI

He, Fei; Song, Xiaoyu; Hung, William N. N.; Gu, Ming; Sun, Jiaguang

Defect-tolerant CMOL cell assignment via satisfiability

IEEE SENSORS JOURNAL

IF4.5

2008-06-01

OAAI

Hung, William N. N.; Gao, Changjian; Song, Xiaoyu; Hammerstrom, Dan

Probabilistic optimization for FPGA board level routing problems

IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS

IF4.9

2006-04-01

OAAI

He, F; Song, XY; Gu, M; Yang, GW; Hung, WNN; Sun, JG

Congestion estimation for 3-D circuit architectures

IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS

IF4.9

2004-12-01

OAAI

Cheng, LR; Hung, WNN; Yang, GW; Song, XY

研究方向