This paper evaluates the use of three-dimensional integration to reduce global interconnect by adding multiple layers of silicon with vertical connections between...Ronald G. Dreslinski, David Fick, Bharan Giridhar, Gyouho Kim, Sangwon Seo, Matthew Fojtik, Sudhir Satpathy, Yoonmyung Lee, Daeyeon Kim, Nurrachman Liu, Michael Wieckowski, Gregory Chen, Dennis Sylvester, David Blaauw, Trevor Mudge From Communications of the ACM | November 2013
Developing effective symbolic verification technology for mixed discrete-analog models has proved to be a challenging problem. The following paper by Althoff...Rajeev Alur From Communications of the ACM | October 2013
We present a scalable and formal technique to verify locking time and stability for charge-pump phase-locked loops (PLLs).Matthias Althoff, Akshay Rajhans, Bruce H. Krogh, Soner Yaldiz, Xin Li, Larry Pileggi From Communications of the ACM | October 2013
Our visual system helps us carry out our daily business. Our eyes and brain help us by measuring shapes, trajectories, and distances in world around us, and by...Pietro Perona From Communications of the ACM | September 2013
We describe a state-of-the-art system for finding objects in cluttered images. Our system is based on deformable models that represent objects using local part...Pedro Felzenszwalb, Ross Girshick, David McAllester, Deva Ramanan From Communications of the ACM | September 2013
The following paper by Batson, Spielman, Srivastava, and Teng surveys one of the most important recent intellectual achievements of theoretical computer science...Assaf Naor From Communications of the ACM | August 2013
Graph sparsification is the approximation of an arbitrary graph by a sparse graph. We explain what it means for one graph to be a spectral approximation of another...Joshua Batson, Daniel A. Spielman, Nikhil Srivastava, Shang-Hua Teng From Communications of the ACM | August 2013
The following paper makes a fundamental contribution to the world of vector graphics by introducing a new primitive called diffusion curve.Peter Wonka From Communications of the ACM | July 2013
We describe a new vector-based primitive for creating smooth-shaded images, called the diffusion curve.Alexandrina Orzan, Adrien Bousseau, Pascal Barla, Holger Winnemöller, JoĆ«lle Thollot, David Salesin From Communications of the ACM | July 2013
For a semiconductor circuit with billions of transistors, finding desired locations of circuit components is a challenging task that substantially impacts circuit...Yao-Wen Chang From Communications of the ACM | June 2013
VLSI placement optimizes locations of circuit components so as to reduce interconnect. We propose an algorithm for large-scale placement that outperforms prior...Myung-Chul Kim, Dong-Jin Lee, Igor L. Markov From Communications of the ACM | June 2013
It has been an open question whether it is possible to build GPU-targeted high-performance software systems that are themselves programmable. "GPU Ray Tracing" shows...Matt Pharr From Communications of the ACM | May 2013
The NVIDIA OptiX ray tracing engine builds on the key observation that most ray tracing algorithms can be implemented using a small set of programmable operations...Steven G. Parker, Heiko Friedrich, David Luebke, Keith Morley, James Bigler, Jared Hoberock, David McAllister, Austin Robison, Andreas Dietrich, Greg Humphreys, Morgan McGuire, Martin Stich From Communications of the ACM | May 2013
The rich world is getting older, so we will see many efforts to build robots that can provide some in-home care for frail people. These robots will need computer...David Forsyth From Communications of the ACM | April 2013
We address the problem of understanding an indoor scene from a single image in terms of recovering the room geometry (floor, ceiling, and walls) and furniture layout...Huayan Wang, Stephen Gould, Daphne Roller From Communications of the ACM | April 2013
With video delivery, it appears that once again "the Internet changes everything." In this changed environment, what measures of quality are most relevant, and...David Oran From Communications of the ACM | March 2013
As Internet-based videos become mainstream, user expectation for high quality is constantly increasing. In this context, it is crucial for content providers to...Florin Dobrian, Asad Awan, Dilip Joseph, Aditya Ganjam, Jibin Zhan, Vyas Sekar, Ion Stoica, Hui Zhang From Communications of the ACM | March 2013
The microprocessor chip R&D community has been well aware of the so-called "power wall" challenge for over a decade. The following work by Esmaeilzadeh et al. is...Pradip Bose From Communications of the ACM | February 2013
Tthe microprocessor industry has shifted to multicore scaling as its principal strategy for continuing performance growth. However, while transistor count increases...Hadi Esmaeilzadeh, Emily Blem, Renée St. Amant, Karthikeyan Sankaralingam, Doug Burger From Communications of the ACM | February 2013
The following article by Shotton et al. describes a landmark computer vision system that takes a single depth image containing a person and automatically estimates...James M. Rehg From Communications of the ACM | January 2013