Sign In

Communications of the ACM

Research


Latest Research


From Communications of the ACM

Technical Perspective: A 'Reasonable' Solution to Deformation Methods

Jacobson et al. construct a deformation method that allows a wide range of handle types (points, line segments, open and closed polygons) and produces deformations...

Bounded Biharmonic Weights for Real-Time Deformation
From Communications of the ACM

Bounded Biharmonic Weights for Real-Time Deformation

Changing an object's shape is a basic operation in computer graphics. Our goal is to make the design and control of deformations simpler by allowing the user to...

From Communications of the ACM

Technical Perspective: Smartphone Security 'Taint' What It Used to Be

The TaintDroid project takes a runtime taint tracking approach toward analyzing Android apps.

TaintDroid
From Communications of the ACM

TaintDroid: An Information Flow Tracking System for Real-Time Privacy Monitoring on Smartphones

Today's smartphone operating systems frequently fail to provide users with adequate control over and visibility into how third-party applications use their privacy...

From Communications of the ACM

Technical Perspective: A New Spin on an Old Algorithm

A paper by Ballard, Demmel, Holtz, and Schwartz considers a fundamental problem, adopting a new perspective on an old algorithm that has for years occupied a peculiar...

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.
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account