Michael R. Duda

Publication Activity (10 Years)

Years Active: 1984-1988
Publications (10 Years): 0

Publications

Robert A. Mueller, Michael R. Duda, Philip H. Sweany, Jack S. Walicki
Horizon: A Retargetable Compiler for Horizontal Microarchitectures. IEEE Trans. Software Eng. 14 (5) (1988)
Robert A. Mueller, Michael R. Duda
Formal Methods of Microcode Verification and Synthesis. IEEE Softw. 3 (4) (1986)
Robert A. Mueller, Bogong Su, Michael R. Duda, Brian L. Plomondon
A case study in signal processing microprogramming using the URPR software pipelining technique. MICRO (1986)
Robert A. Mueller, Michael R. Duda, Stephen M. O'Haire
A survey of resource allocation methods in optimizing microcode compilers. MICRO (1984)