Robert A. Mueller

IEEE Trans. Software Eng., 1988

1987

Retargetable Microcode Synthesis.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1987

Trace scheduling optimization in a retargetable microcode compiler.

[BibT_eX]

[DOI]

Michael A. Howland

Philip H. Sweany

Proceedings of the 20st Annual Workshop and Symposium on Microprogramming and Microarchitecture, 1987

Phase coupling for horizontal microcode generation.

[BibT_eX]

[DOI]

Proceedings of the 20st Annual Workshop and Symposium on Microprogramming and Microarchitecture, 1987

1986

Formal Methods of Microcode Verification and Synthesis.

[BibT_eX]

[DOI]

Michael R. Duda

IEEE Softw., 1986

Guest Editors' Introduction Firmware Engineering: The Interaction of Microprogramming and Software Technology.

[BibT_eX]

[DOI]

Subrata Dasgupta

IEEE Softw., 1986

A case study in signal processing microprogramming using the URPR software pipelining technique.

[BibT_eX]

[DOI]

Proceedings of the 19th annual workshop on Microprogramming, 1986

Parallel Theorem Proving with Connection Graphs.

[BibT_eX]

[DOI]

Rasiah Loganantharaj

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1985

Knowledge-Based Code Selection Methods in Retargetable Microcode Synthesis.

[BibT_eX]

[DOI]

IEEE Des. Test, 1985

1984

The Complexity of Horizontal Word Encoding in Microprogrammed Machines.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1984

Global methods in the flow graph approach to retargetable microcode generation.

[BibT_eX]

[DOI]

Proceedings of the 17th annual workshop on Microprogramming, 1984

A survey of resource allocation methods in optimizing microcode compilers.

[BibT_eX]

[DOI]

Michael R. Duda

Stephen M. O'Haire

Proceedings of the 17th annual workshop on Microprogramming, 1984

1982

Formal semantics for the automated derivation of micro-code.

[BibT_eX]

[DOI]

Proceedings of the 19th Design Automation Conference, 1982

1981

Contrasting translation, verification and synthesis in software and firmware engineering.

[BibT_eX]

[DOI]

Gearold R. Johnson

Proceedings of the 14th annual workshop on Microprogramming, 1981

1980

Formalization and automated synthesis of microprograms.

[BibT_eX]

[DOI]

Proceedings of the 13th annual workshop on Microprogramming, 1980

1977

Automated Generation of Cross-System Software for Microcomputers.

[BibT_eX]

[DOI]

Gearold R. Johnson

Computer, 1977

1976

The automated generation of cross-system software for supporting micro/mini computer systems.

[BibT_eX]

[DOI]

Gearold R. Johnson