Robert A. Mueller

Publication Activity (10 Years)

Years Active: 1976-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)
Vicki H. Allan, Robert A. Mueller
Compaction with General Timing. IEEE Trans. Software Eng. 14 (5) (1988)
Michael A. Howland, Robert A. Mueller, Philip H. Sweany
Trace scheduling optimization in a retargetable microcode compiler. MICRO (1987)
Vicki H. Allan, Robert A. Mueller
Phase coupling for horizontal microcode generation. MICRO (1987)
Robert A. Mueller, Joseph Varghese
Retargetable Microcode Synthesis. ACM Trans. Program. Lang. Syst. 9 (2) (1987)
Rasiah Loganantharaj, Robert A. Mueller
Parallel Theorem Proving with Connection Graphs. CADE (1986)
Subrata Dasgupta, Robert A. Mueller
Guest Editors' Introduction Firmware Engineering: The Interaction of Microprogramming and Software Technology. IEEE Softw. 3 (4) (1986)
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, Joseph Varghese
Knowledge-Based Code Selection Methods in Retargetable Microcode Synthesis. IEEE Des. Test 2 (4) (1985)
Robert A. Mueller, Vicki H. Allan, Joseph Varghese
The Complexity of Horizontal Word Encoding in Microprogrammed Machines. IEEE Trans. Computers 33 (10) (1984)
Robert A. Mueller, Michael R. Duda, Stephen M. O'Haire
A survey of resource allocation methods in optimizing microcode compilers. MICRO (1984)
Robert A. Mueller, Joseph Varghese, Vicki H. Allan
Global methods in the flow graph approach to retargetable microcode generation. MICRO (1984)
Robert A. Mueller, Joseph Varghese
Formal semantics for the automated derivation of micro-code. DAC (1982)
Robert A. Mueller, Gearold R. Johnson
Contrasting translation, verification and synthesis in software and firmware engineering. MICRO (1981)
Robert A. Mueller
Formalization and automated synthesis of microprograms. MICRO (1980)
Gearold R. Johnson, Robert A. Mueller
Automated Generation of Cross-System Software for Microcomputers. Computer 10 (1) (1977)
Gearold R. Johnson, Robert A. Mueller
The automated generation of cross-system software for supporting micro/mini computer systems. SIGMINI (1976)