Michael C. McFarland

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