Travelled to:1 × Austria
1 × Canada
1 × China
1 × Japan
1 × Turkey
2 × Germany
3 × France
3 × USA
Collaborated with:W.Hu U.Schlichtmann W.Tsai K.Xu F.Somenzi O.Wu L.Zhang T.Tseng T.Ho S.Shan Y.Hu X.Li T.Peng W.Pan Z.Feng R.Kumar Y.Shen J.Hu X.Ding W.Xiong Z.Wang N.Chen M.Schmidt W.Schneider X.Bai T.Shen R.A.Paul Y.Xu R.Hasholzner B.Rohfleisch C.Haubelt J.Teich L.Li C.Yuan P.Zhu W.Li
Talks about:base (4) awar (3) distribut (2) recognit (2) hierarch (2) analysi (2) applic (2) power (2) model (2) dynam (2)
Person: Bing Li
DBLP: Li:Bing
Contributed to:
2015
201520142012
2012
2011
201020102009
2009
20062003
2001Wrote 13 papers:
- DAC-2015-TsengLHS #synthesis
- Reliability-aware synthesis for flow-based microfluidic biochips by dynamic-device mapping (TMT, BL, TYH, US), p. 6.
- DATE-2015-KumarLSSH #adaptation #verification
- Timing verification for adaptive integrated circuits (RK, BL, YS, US, JH), pp. 1587–1590.
- DATE-2014-LiSH0 #in memory #memory management #named
- Partial-SET: Write speedup of PCM main memory (BL, SS, YH, XL), pp. 1–4.
- DATE-2012-XuLHRHT #analysis #power management
- Variation-aware leakage power model extraction for system-level hierarchical power analysis (YX, BL, RH, BR, CH, JT), pp. 346–351.
- ICPR-2012-DingLHXW #recognition #video
- Context-aware horror video scene recognition via cost-sensitive sparse coding (XD, BL, WH, WX, ZW), pp. 1904–1907.
- ICEIS-v1-2011-LiX
- A Method of Adjusting the Number of Replica Dynamically in HDFS (BL, KX), pp. 529–533.
- CIKM-2010-WuHL #image #ranking #retrieval
- Group ranking with application to image retrieval (OW, WH, BL), pp. 1441–1444.
- ICPR-2010-LiHLYZL #recognition #top-down
- Event Recognition Based on Top-Down Motion Attention (LL, WH, BL, CY, PZ, WL), pp. 3561–3564.
- DATE-2009-LiCSSS #analysis #on the #statistics
- On hierarchical statistical static timing analysis (BL, NC, MS, WS, US), pp. 1320–1325.
- SEKE-2009-PengLPF #algorithm #requirements #using
- Requirements Discovery Based on RGPS Using Evolutionary Algorithm (TP, BL, WP, ZF), pp. 286–290.
- TACAS-2006-LiS #abstraction #bound #model checking #performance #refinement
- Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking (BL, FS), pp. 227–241.
- ICEIS-v4-2003-LiTZ #distributed #framework #semantics
- A Semantic Framework for Distributed Applications (BL, WTT, LJZ), pp. 34–41.
- EDOC-2001-BaiTSLP #distributed #testing
- Distributed End-to-End Testing Management (XB, WTT, TS, BL, RAP), pp. 140–151.