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 × 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


Contributed to:

DAC 20152015
DATE 20152015
DATE 20142014
DATE 20122012
ICPR 20122012
ICEIS v1 20112011
CIKM 20102010
ICPR 20102010
DATE 20092009
SEKE 20092009
TACAS 20062006
ICEIS v4 20032003
EDOC 20012001

Wrote 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.
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.

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.