BibSLEIGH — Zheng

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: Wang:Zheng

Contributed to:

2015

2014

2013

2012

2011

2010

2009

2007

2005

1997

2016

2017

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.
DHM-HB-2013-LiWW: 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.