Skip to content
cs-conference-ranking.org

Robert A. Mueller

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

9

Venues

3

Active years

1980–1987

Best venue rank

A*

Where they publish

Papers

9 indexed papers, newest first.

YearVenueTitleAuthors
1987MICROPhase coupling for horizontal microcode generation.Vicki H. Allan, Robert A. Mueller
1987MICROTrace scheduling optimization in a retargetable microcode compiler.Michael A. Howland, Robert A. Mueller, Philip H. Sweany
1986CADEParallel Theorem Proving with Connection Graphs.Rasiah Loganantharaj, Robert A. Mueller
1986MICROA case study in signal processing microprogramming using the URPR software pipelining technique.Robert A. Mueller, Bogong Su, Michael R. Duda, Brian L. Plomondon
1984MICROA survey of resource allocation methods in optimizing microcode compilers.Robert A. Mueller, Michael R. Duda, Stephen M. O'Haire
1984MICROGlobal methods in the flow graph approach to retargetable microcode generation.Robert A. Mueller, Joseph Varghese, Vicki H. Allan
1982DACFormal semantics for the automated derivation of micro-code.Robert A. Mueller, Joseph Varghese
1981MICROContrasting translation, verification and synthesis in software and firmware engineering.Robert A. Mueller, Gearold R. Johnson
1980MICROFormalization and automated synthesis of microprograms.Robert A. Mueller