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 |
1 | K. Hall | [1] |
2 | Alice C. Parker | [2] |
3 | Gio Wiederhold | [1] |
4 | Marianne Winslett | [1] [4] |