- CSB - MetaPress - Google - Bing - Yahoo
 | 1995 | |
|---|---|---|
| c10 |      | Michael C. McFarland, Thaddeus J. Kowalski: Symbolic analysis and verification of CPA descriptions. CHARME 1995: 103-123 |
| 1993 | ||
| j7 | | Michael C. McFarland: Formal Analysis of Correctness of Behavioral Transformations. Formal Methods in System Design 2(3): 231-257 (1993) |
| j6 | | Michael C. McFarland: Formal verification of sequential hardware: a tutorial. IEEE Trans. on CAD of Integrated Circuits and Systems 12(5): 633-654 (1993) |
| c9 | | Michael C. McFarland: Military to Commercial Conversion: Is it Necessary, Is it Practical, Is it Possible? (Panel Abstract). DAC 1993: 589 |
| 1992 | ||
| j5 | | Michael C. McFarland: Broadening the basis for ethical analysis. Journal of Systems and Software 17(1): 39-40 (1992) |
| 1991 | ||
| j4 | | |
| c8 |  | |
| c7 | | |
| 1990 | ||
| j3 | | Michael C. McFarland: Urgency of Ethical Standards Intensifies in Computer Community. IEEE Computer 23(3): 77-81 (1990) |
| j2 | | Michael C. McFarland, Thaddeus J. Kowalski: Incorporating bottom-up design into hardware synthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 9(9): 938-950 (1990) |
| 1989 | ||
| c6 | | Michael C. McFarland: The Social Implications of Computerization: Making the Technology Humane. DAC 1989: 129-134 |
| 1988 | ||
| c5 | | Michael C. McFarland, Alice C. Parker, Raul Camposano: Tutorial on High-Level Synthesis. DAC 1988: 330-336 |
| 1986 | ||
| c4 | | Wayne Hendrix Wolf, Thaddeus J. Kowalski, Michael C. McFarland: Knowledge Engineering Issues in VLSI Synthesis. AAAI 1986: 866-871 |
| c3 | | Michael C. McFarland: Using bottom-up design techniques in the synthesis of digital hardware from abstract behavioral descriptions. DAC 1986: 474-480 |
| 1983 | ||
| j1 | | Michael C. McFarland, Alice C. Parker: An Abstract Model of Behavior for Hardware Descriptions. IEEE Trans. Computers 32(7): 621-637 (1983) |
| c2 | | Michael C. McFarland: Computer-aided partitioning of behavioral hardware descriptions. DAC 1983: 472-478 |
| 1981 | ||
| c1 | | Michael C. McFarland: On proving the correctness of optimizing transformations in a digital design automation system. DAC 1981: 90-97 |
| 1 | Raul Camposano | |
| 2 | Thaddeus J. Kowalski | |
| 3 | Alice C. Parker | |
| 4 | Marilyn Wolf (Wayne Wolf, Wayne Hendrix Wolf) |
Data released under the ODC-BY 1.0 license — See also our legal information page