Sign In

Communications of the ACM

Latest Research



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

Discriminative Learning with Latent Variables for Cluttered Indoor Scene Understanding
From Communications of the ACM

Discriminative Learning with Latent Variables for Cluttered Indoor Scene Understanding

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

From Communications of the ACM

Technical Perspective: Video Quality Assessment in the Age of Internet Video

With video delivery, it appears that once again "the Internet changes everything." In this changed environment, what measures of quality are most relevant, and...

Understanding the Impact of Video Quality on User Engagement
From Communications of the ACM

Understanding the Impact of Video Quality on User Engagement

As Internet-based videos become mainstream, user expectation for high quality is constantly increasing. In this context, it is crucial for content providers to...

From Communications of the ACM

Technical Perspective: Is Dark Silicon Real?

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

Power Challenges May End the Multicore Era
From Communications of the ACM

Power Challenges May End the Multicore Era

Tthe microprocessor industry has shifted to multicore scaling as its principal strategy for continuing performance growth. However, while transistor count increases...

From Communications of the ACM

Technical Perspective: Finding People in Depth

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

Real-Time Human Pose Recognition in Parts from Single Depth Images
From Communications of the ACM

Real-Time Human Pose Recognition in Parts from Single Depth Images

We propose a new method to quickly and accurately predict human pose — the 3-D positions of body joints — from a single depth image, without depending on information...

From Communications of the ACM

Technical Perspective: Visualization, Understanding, and Design

Photographs capture the moment; paintings convey perception, impression, and feeling; illustrations tell stories. Computer graphics aims to enrich all these artistic...
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