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 × Australia
1 × Estonia
1 × Ireland
1 × Sweden
1 × Taiwan
2 × Canada
3 × China
3 × France
7 × USA
Collaborated with:
M.F.P.O'Boyle F.T.S.Chan J.Ye K.Lau Wenliang Chen C.Wang B.Franke A.David M.Mikucionis A.Legay M.Lyu M.Li W.Fan M.K.Emani D.Grewe H.Li Y.Guo W.Zhang P.V.Elizondo D.C.Powell K.Singh C.Chen A.Chattopadhyay G.Tournavitis K.G.Larsen T.Jiang Z.Tian Y.Xu L.Wang C.Yang L.Zhang Q.Ye X.Zhang N.C.Gloy J.B.Chen M.D.Smith P.Chakraborty S.R.Mekaru J.S.Brownstein N.Ramakrishnan M.Lai Z.Lu H.Davulcu R.Chattopadhyay I.Davidson S.Panchanathan P.E.Bulychev K.G.Larsen D.B.Poulsen
Talks about:
parallel (8) system (8) product (5) time (5) control (4) machin (4) base (4) map (4) probabl (3) polici (3)

Person: Zheng Wang

DBLP DBLP: Wang:Zheng

Contributed to:

CASE 20152015
KDD 20152015
CASE 20142014
CC 20142014
ICML c2 20142014
CASE 20132013
CGO 20132013
DATE 20132013
HCI/DHM p2 20132013
KDD 20132013
KDD 20122012
QAPL 20122012
CAV 20112011
HCI/DHM 20112011
CASE 20102010
ICSM 20092009
PLDI 20092009
PPoPP 20092009
SIGAda 20072007
CBSE 20052005
SOSP 19971997
CASE 20162016
CASE 20172017

Wrote 24 papers:

CASE-2015-LyuWC #algorithm #heuristic #integer #programming
Mixed integer programming model and heuristic algorithm for production planning of continuous casting and hot rolling (ML, ZW, FTSC), pp. 1503–1508.
KDD-2015-WangCMBYR #predict
Dynamic Poisson Autoregression for Influenza-Like-Illness Case Count Prediction (ZW, PC, SRM, JSB, JY, NR), pp. 1285–1294.
CASE-2014-LiCW #policy #robust
A robust (r, Q) policy for a simple VMI system with inventory inaccuracy and time-delay (ML, FTSC, ZW), pp. 652–657.
CC-2014-WangPFO #legacy #parallel
Exploitation of GPUs for the Parallelisation of Probably Parallel Legacy Code (ZW, DCP, BF, MFPO), pp. 154–173.
ICML-c2-2014-WangLLFDY #matrix
Rank-One Matrix Pursuit for Matrix Completion (ZW, MJL, ZL, WF, HD, JY), pp. 91–99.
CASE-2013-WangC #multi #policy #robust
A robust production control policy for a multiple-stage production system with inventory inaccuracy and time-delay (ZW, FTSC), pp. 77–82.
CGO-2013-EmaniWO #adaptation #parallel
Smart, adaptive mapping of parallelism in the presence of external workload (MKE, ZW, MFPO), p. 10.
CGO-2013-GreweWO #parallel #source code
Portable mapping of data parallel programs to OpenCL for heterogeneous systems (DG, ZW, MFPO), p. 10.
DATE-2013-WangSCC #design #embedded #estimation #performance #reliability
Accurate and efficient reliability estimation techniques during ADL-driven embedded processor design (ZW, KS, CC, AC), pp. 547–552.
Oxygenation and Blood Volume in Skeletal Muscle in Response to External Force (HL, CW, ZW), pp. 359–365.
KDD-2013-WangY #learning #query
Querying discriminative and representative samples for batch mode active learning (ZW, JY), pp. 158–166.
KDD-2012-ChattopadhyayWFDPY #probability
Batch mode active sampling based on marginal probability distribution matching (RC, ZW, WF, ID, SP, JY), pp. 741–749.
QAPL-2012-BulychevDLMPLW #automaton #model checking #named #statistics
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata (PEB, AD, KGL, MM, DBP, AL, ZW), pp. 1–16.
CAV-2011-DavidLLMW #model checking #realtime #statistics
Time for Statistical Model Checking of Real-Time Systems (AD, KGL, AL, MM, ZW), pp. 349–355.
DHM-2011-JiangWTXW #case study #evaluation #performance
Study on Synthetic Evaluation of Human Performance in Manually Controlled Spacecraft Rendezvous and Docking Tasks (TJ, CW, ZT, YX, ZW), pp. 387–393.
CASE-2010-GuoZW #analysis
Directed motion of an atomic scale engine and stability analysis (YG, WZ, ZW), pp. 545–550.
ICSM-2009-WangWYZY #evolution #kernel #linux #network #novel
Linux kernels as complex networks: A novel method to study evolution (LW, ZW, CY, LZ, QY), pp. 41–50.
PLDI-2009-TournavitisWFO #approach #detection #parallel #towards
Towards a holistic approach to auto-parallelization: integrating profile-driven parallelism detection and machine-learning based mapping (GT, ZW, BF, MFPO), pp. 177–187.
PPoPP-2009-WangO #approach #machine learning #parallel
Mapping parallelism to multi-cores: a machine learning based approach (ZW, MFPO), pp. 75–84.
SIGAda-2007-LauW #component
Verified component-based software in SPARK: experimental results for a missile guidance system (KKL, ZW), pp. 51–58.
CBSE-2005-LauEW #component
Exogenous Connectors for Software Components (KKL, PVE, ZW), pp. 90–106.
SOSP-1997-ZhangWGCS #automation #optimisation #profiling
System Support for Automated Profiling and Optimization (XZ, ZW, NCG, JBC, MDS), pp. 15–26.
CASE-2016-ChenW #capacity
Integrated capacity planning and production control of a parallel-machine manufacturing system (WC, ZW), pp. 401–406.
CASE-2017-ChenWC #multi #policy #probability
Steady state probability distribution of a two-product-type and multi-parallel-machine system under prioritized hedging point control policy (WC, ZW, FTSC), pp. 224–230.

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.