BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Denmark
1 × Israel
6 × USA
Collaborated with:
T.A.Henzinger H.Wong-Toi F.Y.C.Mang W.Hou Y.V.Hoskote T.Kam X.Zhao Y.Cheon A.B.Kahng S.Reda Q.Wang J.Shi Y.Cai L.Ma S.X.Tan X.Wang D.Wang J.Long J.H.Kukula Y.Zhu H.T.Ma R.F.Damiano
Talks about:
analysi (4) hybrid (3) abstract (2) control (2) system (2) formal (2) refin (2) power (2) model (2) placement (1)

Person: Pei-Hsin Ho

DBLP DBLP: Ho:Pei=Hsin

Contributed to:

DAC 20092009
DAC 20072007
DAC 20052005
DAC 20042004
DAC 20012001
DAC 19991999
CAV 19971997
CAV 19951995
TACAS 19951995

Wrote 10 papers:

DAC-2009-ShiCHMTHW #analysis #gpu #grid #network #performance #power management
GPU friendly fast Poisson solver for structured power grid network analysis (JS, YC, WH, LM, SXDT, PHH, XW), pp. 178–183.
DAC-2007-MangHH #distributed #effectiveness #physics #synthesis
Techniques for Effective Distributed Physical Synthesis (FYCM, WH, PHH), pp. 859–864.
DAC-2005-CheonHKRW #power management
Power-aware placement (YC, PHH, ABK, SR, QW), pp. 795–800.
DAC-2004-MangH #abstraction #analysis #refinement
Abstraction refinement by controllability and cooperativeness analysis (FYCM, PHH), pp. 224–229.
DAC-2001-WangHLKZMD #abstraction #hybrid #refinement #simulation #verification
Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines (DW, PHH, JL, JHK, YZ, HKTM, RFD), pp. 35–40.
DAC-1999-HoskoteKHZ #estimation #model checking
Coverage Estimation for Symbolic Model Checking (YVH, TK, PHH, XZ), pp. 300–305.
CAV-1997-HenzingerHW #hybrid #model checking #named
HYTECH: A Model Checker for Hybrid Systems (TAH, PHH, HWT), pp. 460–463.
CAV-1995-HenzingerH #algorithm #analysis #hybrid
Algorithmic Analysis of Nonlinear Hybrid Systems (TAH, PHH), pp. 225–238.
CAV-1995-HoW #analysis #automation #protocol
Automated Analysis of an Audio Control Protocol (PHH, HWT), pp. 381–394.
A User Guide to HyTech (TAH, PHH, HWT), pp. 41–71.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.