Sign In

Communications of the ACM

Latest Research



Communication Costs of Strassen's Matrix Multiplication
From Communications of the ACM

Communication Costs of Strassen's Matrix Multiplication

Proving lower bounds on the communication of algorithms and finding algorithms that attain these bounds are fundamental goals. 

From Communications of the ACM

Technical Perspective: Silicon Stress

Moore's Law has been the mainstay of semiconductor electronics since the invention of the transistor and its application to the integrated circuit. Implicit in...

TSV Stress-Aware Full-Chip Mechanical Reliability Analysis and Optimization for 3D IC
From Communications of the ACM

TSV Stress-Aware Full-Chip Mechanical Reliability Analysis and Optimization for 3D IC

Three-dimensional integrated circuit (3D IC) with through-silicon-via (TSV) is believed to offer new levels of efficiency, power, performance, and form-factor advantages...

From Communications of the ACM

Technical Perspective: The Cleanest Garbage Collection

In quite a tour de force, the authors of the following paper have built a provably correct real-time garbage collector for reconfigurable hardware (field programmable...

And Then There Were None
From Communications of the ACM

And Then There Were None: A Stall-Free Real-Time Garbage Collector for Reconfigurable Hardware

We present a garbage collector synthesized directly to hardware, capable of collecting a heap of uniform objects completely concurrently. These heaps are composed...

From Communications of the ACM

Technical Perspective: Centip3De Demonstrates More than Moore...

Exponentially increasing transistor integration also demands more interconnections, which have started hitting fundamental limits. The Centip3De design demonstrates...

Centip3De
From Communications of the ACM

Centip3De: A Many-Core Prototype Exploring 3D Integration and Near-Threshold Computing

This paper evaluates the use of three-dimensional integration to reduce global interconnect by adding multiple layers of silicon with vertical connections between...

From Communications of the ACM

Technical Perspective: Can We Verify Cyber-Physical Systems?

Developing effective symbolic verification technology for mixed discrete-analog models has proved to be a challenging problem. The following paper by Althoff...

Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization
From Communications of the ACM

Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization

We present a scalable and formal technique to verify locking time and stability for charge-pump phase-locked loops (PLLs).

From Communications of the ACM

Technical Perspective: Progress in Visual Categorization

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...

Visual Object Detection with Deformable Part Models
From Communications of the ACM

Visual Object Detection with Deformable Part Models

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...

From Communications of the ACM

Technical Perspective: Every Graph Is Essentially Sparse

The following paper by Batson, Spielman, Srivastava, and Teng surveys one of the most important recent intellectual achievements of theoretical computer science...

Spectral Sparsification of Graphs
From Communications of the ACM

Spectral Sparsification of Graphs: Theory and Algorithms

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...

From Communications of the ACM

Technical Perspective: A Fresh Approach to Vector Graphics

The following paper makes a fundamental contribution to the world of vector graphics by introducing a new primitive called diffusion curve.

Diffusion Curves
From Communications of the ACM

Diffusion Curves: A Vector Representation for Smooth-Shaded Images

We describe a new vector-based primitive for creating smooth-shaded images, called the diffusion curve.

From Communications of the ACM

Technical Perspective: Circuit Placement Challenges

For a semiconductor circuit with billions of transistors, finding desired locations of circuit components is a challenging task that substantially impacts circuit...

SimPL: An Algorithm for Placing VLSI Circuits
From Communications of the ACM

SimPL: An Algorithm for Placing VLSI Circuits

VLSI placement optimizes locations of circuit components so as to reduce interconnect. We propose an algorithm for large-scale placement that outperforms prior...

From Communications of the ACM

Technical Perspective: The Ray-Tracing Engine That Could

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...

GPU Ray Tracing
From Communications of the ACM

GPU Ray Tracing

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...

From Communications of the ACM

Technical Perspective: Understanding Pictures of Rooms

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...
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account
Read CACM in a free mobile app!
Access the latest issue, plus archived issues and more
ACM Logo
  • ACM CACM apps available for iPad, iPhone and iPod Touch, and Android platforms
  • ACM Digital Library apps available for iOS, Android, and Windows devices
  • Download an app and sign in to it with your ACM Web Account
Find the app for your mobile device
ACM DL Logo