Computer Generation of Hardware for Linear Digital Signal Processing Transforms PETER MILDER, FRANZ FRANCHETTI, and JAMES C. HOE, Carnegie Mellon University ¨ MARKUS PUSCHEL , ETH Zurich

Source URL: www.ece.stonybrook.edu

Fast Fourier Transform on FPGA: Design Choices and Evaluation Peter A. Milder, Franz Franchetti, James C. Hoe, and Markus P¨uschel Department of Electrical and Computer Engineering Carnegie Mellon University Pittsburgh,

Source URL: www.ece.stonybrook.edu

Fast Fourier Transform on FPGA: Design Choices and Evaluation Peter A. Milder, Franz Franchetti, James C. Hoe, Markus Püschel Architectural Level ! DFT has many algorithms (FFTs) and design choices

Source URL: www.ece.stonybrook.edu

• Mathematical analysis
• Fourier analysis
• Digital signal processing
• Unitary operators
• Fast Fourier transform
• Fourier
• Discrete Fourier transform
• Twiddle factor
• CooleyTukey FFT algorithm

Why formal verification remains on the fringes of commercial development Arvind Computer Science & Artificial Intelligence Laboratory Massachusetts Institute of Technology

Source URL: www.fm2008.abo.fi

• Functional languages
• Theoretical computer science
• Technology
• Bluespec
• Inc.
• Arvind
• Atom
• Lennart Augustsson
• Formal methods
• James Hoe
• Computing
• Year of birth missing
• Software engineering

OpenSPARC – An Open Platform for Hardware Reliability Experimentation Ishwar Parulkar and Alan Wood Sun Microsystems, Inc. James C. Hoe and Babak Falsafi Carnegie Mellon University

Source URL: iacoma.cs.uiuc.edu

• Microprocessors
• Parallel computing
• Central processing unit
• Threads
• OpenSPARC
• UltraSPARC T2
• Multi-core processor
• Multithreading
• SPARC
• Computer hardware
• Computer architecture
• Electronic engineering

RAMPing Down Chuck Thacker Microsoft Research August 2010

Source URL: ramp.eecs.berkeley.edu

• Electronics
• Field-programmable gate array
• Multi-core processor
• James Hoe
• Reduced instruction set computing
• Clock rate
• Electronic engineering
• Computing
• Computer architecture