BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
4 × USA
Collaborated with:
A.C.Parker R.Camposano
Talks about:
synthesi (2) descript (2) behavior (2) hardwar (2) design (2) digit (2) transform (1) technolog (1) techniqu (1) computer (1)

Person: Michael C. McFarland

DBLP DBLP: McFarland:Michael_C=

Contributed to:

DAC 19891989
DAC 19881988
DAC 19861986
DAC 19831983
DAC 19811981

Wrote 5 papers:

DAC-1989-McFarland #social
The Social Implications of Computerization: Making the Technology Humane (MCM), pp. 129–134.
DAC-1988-McFarlandPC #synthesis #tutorial
Tutorial on High-Level Synthesis (MCM, ACP, RC), pp. 330–336.
DAC-1986-McFarland #behaviour #bottom-up #design #hardware #synthesis #using
Using bottom-up design techniques in the synthesis of digital hardware from abstract behavioral descriptions (MCM), pp. 474–480.
DAC-1983-McFarland #behaviour #clustering #hardware
Computer-aided partitioning of behavioral hardware descriptions (MCM), pp. 472–478.
DAC-1981-McFarland #automation #correctness #design #on the #optimisation #proving
On proving the correctness of optimizing transformations in a digital design automation system (MCM), pp. 90–97.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.