BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
4 × USA
Collaborated with:
D.J.Sorin O.Matthews A.Raghunathan N.K.Jha J.D.Bingham J.Erickson T.W.Molter S.McQuaide M.Holl L.W.Burgess M.E.Lidstrom D.R.Meldrum
Talks about:
scalabl (2) verifi (2) power (2) manag (2) dynam (2) coher (2) trustworthi (1) architect (1) algorithm (1) protocol (1)

Person: Meng Zhang

DBLP DBLP: Zhang:Meng

Contributed to:

DAC 20142014
HPCA 20142014
DAC 20132013
CASE 20072007

Wrote 5 papers:

DAC-2014-SorinMZ #architecture #power management
Architecting Dynamic Power Management to be Formally Verifiable (DJS, OM, MZ), p. 3.
HPCA-2014-MatthewsZS #power management
Scalably verifiable dynamic power management (OM, MZ, DJS), pp. 579–590.
HPCA-2014-ZhangBES #design #named #protocol #scalability #verification
PVCoherence: Designing flat coherence protocols for scalable verification (MZ, JDB, JE, DJS), pp. 392–403.
DAC-2013-ZhangRJ #network #towards
Towards trustworthy medical devices and body area networks (MZ, AR, NKJ), p. 6.
CASE-2007-MolterMZHBLM #algorithm #metric
Algorithm Advancements for the Measurement of Single Cell Oxygen Consumption Rates (TWM, SM, MZ, MH, LWB, MEL, DRM), pp. 386–391.

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.