 | 1992 |
|---|
| 4 |       | David W. Knapp,
Marianne Winslett:
A prescriptive formal model for data-path hardware.
IEEE Trans. on CAD of Integrated Circuits and Systems 11(2): 158-184 (1992) |
| 3 | | David W. Knapp:
Fasolt: a program for feedback-driven data-path optimization.
IEEE Trans. on CAD of Integrated Circuits and Systems 11(6): 677-695 (1992) |
| 1991 |
|---|
| 2 | | David W. Knapp,
Alice C. Parker:
The ADAM design planning engine.
IEEE Trans. on CAD of Integrated Circuits and Systems 10(7): 829-846 (1991) |
| 1989 |
|---|
| 1 | | Marianne Winslett,
David W. Knapp,
K. Hall,
Gio Wiederhold:
Use of Change Coordination in an Information-rich Design Environment.
DAC 1989: 252-257 |
