Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Jeremy R. Levitt, Kunle Olukotun |
A Scalable Formal Verification Methodology for Pipelined Microprocessors. |
DAC |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Jerry R. Burch |
Techniques for Verifying Superscalar Microprocessors. |
DAC |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Jim Dunning, Gerald Garcia, Jim Lundberg, Ed Nuckolls |
An all-digital phase-locked loop with 50-cycle lock time suitable for high-performance microprocessors. |
IEEE J. Solid State Circuits |
1995 |
DBLP DOI BibTeX RDF |
|
14 | Jose Alvarez, Hector Sanchez, Gianfranco Gerosa, Roger Countryman |
A wide-bandwidth low-voltage PLL for PowerPC microprocessors. |
IEEE J. Solid State Circuits |
1995 |
DBLP DOI BibTeX RDF |
|
14 | Nathalie Drach, Alain Gefflaut, Philippe Joubert, André Seznec |
About Cache Associativity in Low-Cost Shared Memory Multi-Microprocessors. |
Parallel Process. Lett. |
1995 |
DBLP DOI BibTeX RDF |
|
14 | Ruby B. Lee |
Accelerating multimedia with enhanced microprocessors. |
IEEE Micro |
1995 |
DBLP DOI BibTeX RDF |
|
14 | Alina Deutsch, Gerard V. Kopcsay, Christopher W. Surovic, Barry J. Rubin, Lewis M. Terman, Richard P. Dunne Jr., Thomas A. Gallo, Robert H. Dennard |
Modeling and characterization of long on-chip interconnections for high-performance microprocessors. |
IBM J. Res. Dev. |
1995 |
DBLP DOI BibTeX RDF |
|
14 | Phillip J. Windley |
Formal Modeling and Verification of Microprocessors. |
IEEE Trans. Computers |
1995 |
DBLP DOI BibTeX RDF |
|
14 | Soo-Mook Moon, Scott D. Carson |
Generalized Multiway Branch Unit for VLIW Microprocessors. |
IEEE Trans. Parallel Distributed Syst. |
1995 |
DBLP DOI BibTeX RDF |
generalized multiway branching, VLIW microprocessor, condition tree, mirror normalization, VLIW compiler, Instruction-level parallelism, superscalar microprocessor |
14 | Wen-Mei W. Hwu, Richard E. Hank, David M. Gallagher, Scott A. Mahlke, Daniel M. Lavery, Grant E. Haab, John C. Gyllenhaal, David I. August |
Compiler technology for future microprocessors. |
Proc. IEEE |
1995 |
DBLP DOI BibTeX RDF |
|
14 | Yale N. Patt |
Scanning the Issue - Special Issue on Microprocessors. |
Proc. IEEE |
1995 |
DBLP DOI BibTeX RDF |
|
14 | Mohamed Rafiquzzaman |
Microprocessors and microcomputer-based system design (2. ed.). |
|
1995 |
RDF |
|
14 | John Lee, Jinseok Kong |
Prospects of Distributed Shared Memory for Reducing Global Traffic in Shared-Bus Microprocessors. |
Parallel and Distributed Computing and Systems |
1995 |
DBLP BibTeX RDF |
|
14 | Daniel Etiemble, Cécile Germain |
Standard Microprocessors Versus Custom Processing Elements for Massively Parallel Architectures. |
PaCT |
1995 |
DBLP DOI BibTeX RDF |
|
14 | Tamás Roska, Leon O. Chua, Ákos Zarándy |
Translating Neuromorphic CNN Visual Models to the Analogic Visual Microprocessors. |
ISCAS |
1995 |
DBLP BibTeX RDF |
|
14 | Stan Y. Liao, Srinivas Devadas, Kurt Keutzer, Steven W. K. Tjiang, Albert R. Wang |
Code Optimization Techniques for Embedded DSP Microprocessors. |
DAC |
1995 |
DBLP DOI BibTeX RDF |
optimization, code generation, digital signal processors |
14 | Charles H. Malley, Max Dieudonné |
Logic Verification Methodology for PowerPC Microprocessors. |
DAC |
1995 |
DBLP DOI BibTeX RDF |
|
14 | Michael Golden |
Reducing the penalty of branch and load hazards in pipelined microprocessors. |
|
1995 |
RDF |
|
14 | Farooq Butt |
Rapid Development of a Source-Level Debugger for PowerPC Microprocessors. |
ACM SIGPLAN Notices |
1994 |
DBLP DOI BibTeX RDF |
PowerPC |
14 | Francisco Corella |
Automated Verification of Behavioral Equivalence for Microprocessors. |
IEEE Trans. Computers |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Jaushin Lee, Janak H. Patel |
Architectural level test generation for microprocessors. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Hoang Le-Huy |
Microprocessors and digital ICs for motion control. |
Proc. IEEE |
1994 |
DBLP DOI BibTeX RDF |
|
14 | David E. Culler, Michial A. Gunter, James C. Lee |
Analysis of Multithreaded Microprocessors under Multiprogramming. |
Multithreaded Computer Architecture |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Mayank Gupta, Barbara Zivkov |
A Structured Verification Approach for MIPS Microprocessors: A Case Study of the R4200. |
COMPCON |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Naomi Fujimura |
An analysis of the effects and evaluation of upper CASE tools for embedded microprocessors in Japan and the US. |
APSEC |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Herbert H. J. Hum, Kevin B. Theobald, Guang R. Gao |
Building Multithreaded Architectures with Off-the-Shelf Microprocessors. |
IPPS |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Michael J. Garcia, Brian K. Reynolds |
Single Chip PCI Bridge and Memory Controller for PowerPCTM Microprocessors. |
ICCD |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Vishal Bhagwati, Srinivas Devadas |
Automatic Verification of Pipelined Microprocessors. |
DAC |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Thomas F. Fox |
The Design of High-Performance Microprocessors at Digital. |
DAC |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Ing-Jer Huang, Alvin M. Despain |
Synthesis of Instruction Sets for Pipelined Microprocessors. |
DAC |
1994 |
DBLP DOI BibTeX RDF |
|
14 | John D. Bunda |
Instruction-processing optimization techniques for VLSI microprocessors. |
|
1993 |
RDF |
|
14 | Z. Zheng, H. Lecocq, R. Jordant |
Adaptive Manipulator Control - A Parallel Implementation on a Network of Microprocessors. |
ICRA (1) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Michel Allemand |
A Rewriting Based Method for the Formal Verification of Microprocessors. |
CHDL |
1993 |
DBLP BibTeX RDF |
|
14 | Neal A. Harman, John V. Tucker |
Algebraic Models and the Correctness of Microprocessors. |
CHARME |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Terence M. Potter, Hsiao-chen Chung, Chuan-lin Wu |
Reconfigurable Branch Processing Strategy in Super-Scalar Microprocessors. |
ICPP (1) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | David H. Bailey |
RISC microprocessors and scientific computing. |
SC |
1993 |
DBLP DOI BibTeX RDF |
RISC, Intel i860 |
14 | John D. Bunda, Donald S. Fussell, Roy M. Jenevein, William C. Athas |
16-Bit vs. 32-Bit Instructions for Pipelined Microprocessors. |
ISCA |
1993 |
DBLP DOI BibTeX RDF |
|
14 | José Salinas, Fabrizio Lombardi |
A data path approach for testing microprocessors with a fault bound: the MC68000 case. |
Microprocess. Microsystems |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Kelly M. Hall, Phillip J. Windley |
Simulating Microprocessors from Formal Specifications. |
TPHOLs |
1992 |
DBLP BibTeX RDF |
|
14 | Hélène Collavizza |
Mu-SPEED: A System for the Specification and Verification of Microprocessors. |
STACS |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Debra Bernstein, John F. Brown III, Rebecca L. Stamm, G. Michael Uhler |
NVAX and NVAX + Single-Chip CMOS VAX Microprocessors. |
ICCD |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Jaushin Lee, Janak H. Patel |
An Instruction Sequence Assembling Methodology for Testing Microprocessors. |
ITC |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Ad J. van de Goor, Th. J. W. Verhallen |
Functional Testing of Current Microprocessors (applied to the Intel i860TM). |
ITC |
1992 |
DBLP DOI BibTeX RDF |
|
14 | William C. Bruce, Michael G. Gallup, Grady Giles, Tom Munns |
Implementing 1149.1 on CMOS Microprocessors. |
ITC |
1992 |
DBLP DOI BibTeX RDF |
|
14 | David E. Culler, Michial A. Gunter, James C. Lee |
Analysis of multithreaded microprocessors under multiprogramming. |
ISCA |
1992 |
DBLP DOI BibTeX RDF |
|
14 | John Fulcher |
Book review: The 68000 and 68020 Microprocessors: Hardware, Software and Interfacing Techniques by W. Triebel and A. Singh (Prentice Hall, 1991). |
SIGARCH Comput. Archit. News |
1991 |
DBLP DOI BibTeX RDF |
|
14 | António de Brito Ferrari |
16-bit and 32-bit microprocessors: architecture, software, and interfacing techniques: Singh, A and Triebel, W A Prentice-Hall (1991), £18.95, ISBN 0-13-81268-0, pp 577. |
Microprocess. Microsystems |
1991 |
DBLP DOI BibTeX RDF |
|
14 | A. J. Anderson |
A performance evaluation of microprocessors, DSPs and the transputer for recursive parameter estimation. |
Microprocess. Microsystems |
1991 |
DBLP DOI BibTeX RDF |
|
14 | James L. Elshoff, Michael Marcotty |
Microtool: An Environment for Programming Microprocessors. |
IEEE Softw. |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Walter A. Triebel, Avtar Singh |
68000 and 68020 microprocessors - hardware, software and interfacing techniques. |
|
1991 |
RDF |
|
14 | Wolfgang Küchlin, David Raymond Lutz, Nicholas J. Nevin |
Integer Multiplication in PARSAC-2 on Stock Microprocessors. |
AAECC |
1991 |
DBLP DOI BibTeX RDF |
|
14 | William C. Bruce, Michael G. Gallup, Grady Giles, Tom Munns |
Implementing 1149.1 on CMOS Microprocessors. |
ITC |
1991 |
DBLP DOI BibTeX RDF |
|
14 | D. B. Tolley |
Analysis of CISC versus RISC microprocessors for FDDI network interfaces. |
LCN |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Pavel Valásek |
Microprocessors for engineers: Interfacing for real-time applications : Pradip Kumar Sinha. |
Autom. |
1990 |
DBLP DOI BibTeX RDF |
|
14 | A. W. van Herwaarden, Reinoud F. Wolffenbuttel |
Introduction to sensors compatible with microprocessors. |
Microprocess. Microsystems |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Ian P. Leslie |
80286 and 80386 microprocessors: New PC architectures: Fontaine, A B and Barrand, F Macmillan Education, Basingstoke, UK (1989) £14.00 pp 258. |
Microprocess. Microsystems |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Joe Gallacher |
Microprocessors and their operating systems: Holland, R C Pergamon Press, Oxford, UK (1989) £8.75 pp 186. |
Microprocess. Microsystems |
1990 |
DBLP DOI BibTeX RDF |
|
14 | H. L. Fox |
Interfacing Microprocessors In Hydraulic Systems (Fluid Power and Control Series/9), by Alan Kleman Marcel Dekker, New York, 1989, v 244 pp., index ($79.75 in US and Canada; $95.50 elsewhere). |
Robotica |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Koichi Hashimoto, Kenji Ohashi, Hidenori Kimura |
An Implementation of a Parallel Algorithm for Real-Time Model-Based Control on a Network of Microprocessors. |
Int. J. Robotics Res. |
1990 |
DBLP DOI BibTeX RDF |
|
14 | K. T. Lua |
Failure of instruction prefetching of 8088/286/ 386 microprocessors in XT/AT systems. |
Microprocessing and Microprogramming |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Naomi Fujimura |
Software productivity in built-in microprocessors. |
Microprocessing and Microprogramming |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Régis Leveugle, T. Michel, Gabriele Saucier |
Design of microprocessors with built-in on-line test. |
FTCS |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Hartmut C. Ritter, Thomas M. Schwair |
Modular BIST concept for microprocessors. |
ICCD |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Phillip J. Windley |
A Hierarchical Methodology for Verifying Microprogrammed Microprocessors. |
S&P |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Ken Sakamura, Tatsuya Enomoto |
32-bit microprocessors based on the TRON specification. |
Microprocess. Microsystems |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Jacob Davidson |
High-level language for embedded microprocessors. |
Microprocess. Microsystems |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Dieter Bong, Christoph Ruland |
Optimized software implementations of the modular exponentiation on general purpose microprocessors. |
Comput. Secur. |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Thomas L. Harman |
Motorola MC68020 and MC68030 microprocessors - assembly language, interfacing and design. |
|
1989 |
RDF |
|
14 | Mark B. Sandler, L. Hayat, L. Costa, A. A. Naqvi |
A comparative evaluation of DSPs, microprocessors and the transputer for image processing. |
ICASSP |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Jiemin Gong, Minzhu Lu, Ning Li |
A tool to generate DEBUG program of arbitrary type of microprocessors. |
COMPSAC |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Gordon B. Steven |
A novel effective address calculation mechanism for RISC microprocessors. |
SIGARCH Comput. Archit. News |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Harry Vlahos, Veljko Milutinovic |
GaAs microprocessors and digital systems: an overview of R&D efforts. |
IEEE Micro |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Alistair Armitage |
Microprocessors and industrial control: Wheeler, C Hutchinson, London, UK (1988) £9.95, pp 176. |
Microprocess. Microsystems |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Gordon B. Steven, Fleur L. Williams |
General addressing mechanisms for microprocessors. |
Microprocess. Microsystems |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Russel L. Winder |
Modelling 8-bit microprocessors for a general-purpose simulator. |
Microprocess. Microsystems |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Jie Shi, Serge Monchaud, Raymond Prat, Ivan Kas |
Control of motors by microprocessors for space positioning and localization. |
Microprocess. Microprogramming |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Erik F. Dirkx, Jacques Tiberghien |
An animated simulation environment for microprocessors. |
Microprocess. Microprogramming |
1988 |
DBLP DOI BibTeX RDF |
|
14 | S. Sanyal, P. V. S. Rao |
Design of a high reliability self diagnosing computer using bit slice microprocessors. |
Microprocess. Microprogramming |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Ravi K. Gulati, Deepak K. Goel |
An efficient compaction algorithm for test vectors of microprocessors and microcontrollers. |
ICCAD |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Alan Clements 0001 |
Microprocessors and microcomputers: The 6800 family: Ronald J Tocci and Lester P Laskowski Prentice-Hall, Englewood Cliffs, NJ, USA (1986) £36.35 pp xiii + 497. |
Microprocess. Microsystems |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Mas Tsuchiya, Bruno A. Koch |
Microprocessors and componrnt technologies. |
Microprocess. Microsystems |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Barry Brey |
Major microprocessors: a unified approach using calm: J D Nicoud and F Wagner North-Holland, Amsterdam, The Netherlands (1986) $72.00/Dfl.180.00 pp xvi + 332. |
Microprocess. Microsystems |
1987 |
DBLP DOI BibTeX RDF |
|
14 | A. H. Cribbens |
Microprocessors in railway signalling: the Solid-State Interlocking. |
Microprocess. Microsystems |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Lionel R. Thompson |
Microprocessors in industry. |
Microprocess. Microsystems |
1987 |
DBLP DOI BibTeX RDF |
|
14 | R. C. Holland |
Digital systems: from gates to microprocessors: Sanjay K Bose Wiley Eastern, New Delhi India (1986) £12.95 pp 424. |
Microprocess. Microsystems |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Alan Clements 0001 |
The architecture of microprocessors: Francois Anceau Addison-Wesley, Wokingham, UK (1986) £21.95 pp 252. |
Microprocess. Microsystems |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Anthony C. Davies |
Features of high-level languages for microprocessors. |
Microprocess. Microsystems |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Paritosh K. Chakraborty |
Realization of multiple-input basic logic gates using microprocessors. |
Microprocess. Microsystems |
1987 |
DBLP DOI BibTeX RDF |
|
14 | S. J. Cahill |
Introductory text covers commercial integrated circuits: RC HollandIntegrated circuits and microprocessors Pergamon, Oxford, UK (1986) £10.50 $14.50 pp 200. |
Microprocess. Microsystems |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Philippe Genestier |
Conception de microprocesseurs à haut rendement. (Design of high yield microprocessors). |
|
1987 |
RDF |
|
14 | Thayne C. Cooper, Wayne D. Bell, Frank C. Lin, Norm J. Rasmussen |
A Benchmark Comparison of 32-bit Microprocessors. |
IEEE Micro |
1986 |
DBLP DOI BibTeX RDF |
|
14 | Alexander Silbey, Veljko Milutinovic, Victor Mendoza-Grado |
A Survey of Advanced Microprocessors and HLL Computer Architectures. |
Computer |
1986 |
DBLP DOI BibTeX RDF |
|
14 | George Barney |
Control text is pitched at undergraduate level: S A Money'Microprocessors in instrumentation and control' Collins, Glasgow, UK (1985) £20.00 pp viii + 246. |
Microprocess. Microsystems |
1986 |
DBLP DOI BibTeX RDF |
|
14 | Zhenyu Li, Henrik V. Sorensen, C. Sidney Burrus |
FFT and convolution algorithms on DSP microprocessors. |
ICASSP |
1986 |
DBLP DOI BibTeX RDF |
|
14 | P. Seetharamaiah, V. R. Murthy |
Tabular Mechanisation for Flexible Testing of Microprocessors. |
ITC |
1986 |
DBLP BibTeX RDF |
|
14 | William C. Bruce, C. C. Hunter, L. A. Basto |
Testing Barrel Shifters in Microprocessors. |
ITC |
1986 |
DBLP BibTeX RDF |
|
14 | J. Balfour |
Source level debugging for microprocessors. |
|
1986 |
RDF |
|
14 | James T. Rayfield, Harvey F. Silverman |
An Approach to DFT Calculations Using Standard Microprocessors. |
IBM J. Res. Dev. |
1985 |
DBLP DOI BibTeX RDF |
|
14 | Robert C. Stanley |
Microprocessors in Brief. |
IBM J. Res. Dev. |
1985 |
DBLP DOI BibTeX RDF |
|
14 | Jonathan P. Bowen |
Microprocessors: O A R ComillieEPO Applied Technology Series, Vol 8, Pergamon, Oxford, UK (1985) £57.00 pp 442. |
Microprocess. Microsystems |
1985 |
DBLP DOI BibTeX RDF |
|