 | 2007 |
|---|
| 5 |       | Jaeha Kim,
Kevin D. Jones,
Mark A. Horowitz:
Fast, Non-Monte-Carlo Estimation of Transient Performance Variation Due to Device Mismatch.
DAC 2007: 440-443 |
| 4 | | Jaeha Kim,
Kevin D. Jones,
Mark A. Horowitz:
Variable domain transformation for linear PAC analysis of mixed-signal systems.
ICCAD 2007: 887-894 |
| 1992 |
|---|
| 3 |  | Kevin D. Jones:
A Semantics for a Larch/Modula-3 Interface Language.
Larch 1992: 142-158 |
| 1987 |
|---|
| 2 | | Kevin D. Jones:
Support Environments for VDM.
VDM Europe 1987: 110-117 |
| 1 | | Kevin D. Jones:
A Formal Semantics for a DataFlow Machine - Using VDM.
VDM Europe 1987: 331-355 |
