Robert A. Mueller

19 papers A* 9A 1Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
1988 J jnl
Compaction with General Timing.
IEEE Trans. Software Eng.
Vicki H. Allan, Robert A. Mueller
1988 J jnl
Horizon: A Retargetable Compiler for Horizontal Microarchitectures.
IEEE Trans. Software Eng.
Robert A. Mueller, Michael R. Duda, Philip H. Sweany, Jack S. Walicki
1987 A* conf
Phase coupling for horizontal microcode generation.
MICRO
Vicki H. Allan, Robert A. Mueller
1987 J jnl
Retargetable Microcode Synthesis.
ACM Trans. Program. Lang. Syst.
Robert A. Mueller, Joseph Varghese
1987 A* conf
Trace scheduling optimization in a retargetable microcode compiler.
MICRO
Michael A. Howland, Robert A. Mueller, Philip H. Sweany
1986 A* conf
A case study in signal processing microprogramming using the URPR software pipelining technique.
MICRO
Robert A. Mueller, Bogong Su, Michael R. Duda, Brian L. Plomondon
1986 J jnl
Formal Methods of Microcode Verification and Synthesis.
IEEE Softw.
Robert A. Mueller, Michael R. Duda
1986 J jnl
Guest Editors' Introduction Firmware Engineering: The Interaction of Microprogramming and Software Technology.
IEEE Softw.
Subrata Dasgupta, Robert A. Mueller
1986 A conf
Parallel Theorem Proving with Connection Graphs.
CADE
Rasiah Loganantharaj, Robert A. Mueller
1985 J jnl
Knowledge-Based Code Selection Methods in Retargetable Microcode Synthesis.
IEEE Des. Test
Robert A. Mueller, Joseph Varghese
1984 A* conf
A survey of resource allocation methods in optimizing microcode compilers.
MICRO
Robert A. Mueller, Michael R. Duda, Stephen M. O'Haire
1984 A* conf
Global methods in the flow graph approach to retargetable microcode generation.
MICRO
Robert A. Mueller, Joseph Varghese, Vicki H. Allan
1984 A* ed.
Proceedings of the 17th annual workshop on Microprogramming, MICRO 1984, New Orleans, Louisiana, USA, October 30 - November 2, 1984
MICRO
M. Carter, Robert A. Mueller
1984 J jnl
The Complexity of Horizontal Word Encoding in Microprogrammed Machines.
IEEE Trans. Computers
Robert A. Mueller, Vicki H. Allan, Joseph Varghese
1982 A* conf
Formal semantics for the automated derivation of micro-code.
DAC
Robert A. Mueller, Joseph Varghese
1981 A* conf
Contrasting translation, verification and synthesis in software and firmware engineering.
MICRO
Robert A. Mueller, Gearold R. Johnson
1980 A* conf
Formalization and automated synthesis of microprograms.
MICRO
Robert A. Mueller
1977 J jnl
Automated Generation of Cross-System Software for Microcomputers.
Computer
Gearold R. Johnson, Robert A. Mueller
1976 — conf
The automated generation of cross-system software for supporting micro/mini computer systems.
SIGMINI
Gearold R. Johnson, Robert A. Mueller