Search results for "microprocessors"

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