Michael C. McFarland

Publication Activity (10 Years)

Years Active: 1981-1995
Publications (10 Years): 0

Publications

Michael C. McFarland, Thaddeus J. Kowalski
Symbolic analysis and verification of CPA descriptions. CHARME (1995)
Michael C. McFarland
Formal Analysis of Correctness of Behavioral Transformations. Formal Methods Syst. Des. 2 (3) (1993)
Michael C. McFarland
Formal verification of sequential hardware: a tutorial. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 12 (5) (1993)
Michael C. McFarland
Military to Commercial Conversion: Is it Necessary, Is it Practical, Is it Possible? (Panel Abstract). DAC (1993)
Michael C. McFarland
Broadening the basis for ethical analysis. J. Syst. Softw. 17 (1) (1992)
Michael C. McFarland, Thaddeus J. Kowalski
Specifying System Behavior in CPA. ICCD (1991)
Michael C. McFarland
Intellectual Property (Panel Abstract). DAC (1991)
Michael C. McFarland
Ethics and the Safety of Computer Systems. Computer 24 (2) (1991)
Michael C. McFarland
Urgency of Ethical Standards Intensifies in Computer Community. Computer 23 (3) (1990)
Michael C. McFarland, Alice C. Parker, Raúl Camposano
The high-level synthesis of digital systems. Proc. IEEE 78 (2) (1990)
Michael C. McFarland, Thaddeus J. Kowalski
Incorporating bottom-up design into hardware synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 9 (9) (1990)
Michael C. McFarland
The Social Implications of Computerization: Making the Technology Humane. DAC (1989)
Michael C. McFarland
A fast floor planning algorithm for architectural evaluation. ICCD (1989)
Michael C. McFarland, Alice C. Parker, Raul Camposano
Tutorial on High-Level Synthesis. DAC (1988)
Wayne Hendrix Wolf, Thaddeus J. Kowalski, Michael C. McFarland
Knowledge Engineering Issues in VLSI Synthesis. AAAI (1986)
Michael C. McFarland
Using bottom-up design techniques in the synthesis of digital hardware from abstract behavioral descriptions. DAC (1986)
Michael C. McFarland
Computer-aided partitioning of behavioral hardware descriptions. DAC (1983)
Michael C. McFarland, Alice C. Parker
An Abstract Model of Behavior for Hardware Descriptions. IEEE Trans. Computers 32 (7) (1983)
Michael C. McFarland
On proving the correctness of optimizing transformations in a digital design automation system. DAC (1981)