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 × Belgium
2 × USA
Collaborated with:
H.u.Asad J.Kim M.A.Horowitz
Talks about:
phase (2) lock (2) vdm (2) use (2) transient (1) mismatch (1) support (1) program (1) perform (1) environ (1)

Person: Kevin D. Jones

DBLP DBLP: Jones:Kevin_D=

Contributed to:

DAC 20152015
DAC 20072007
VDM Europe 19871987

Wrote 4 papers:

DAC-2015-AsadJ #programming #using #verification
Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programming (HuA, KDJ), p. 6.
DAC-2007-KimJH #estimation #monte carlo #performance
Fast, Non-Monte-Carlo Estimation of Transient Performance Variation Due to Device Mismatch (JK, KDJ, MAH), pp. 440–443.
Support Environments for VDM (KDJ), pp. 110–117.
VDME-1987-Jones87b #data flow #semantics #using
A Formal Semantics for a DataFlow Machine — Using VDM (KDJ), pp. 331–355.

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.