Communications of the ACM
Latest Research
From Communications of the ACM
Motion Fields For Interactive Character Locomotion
We propose a novel representation of motion data and control of virtual characters that gives highly agile responses to user input and allows a natural handling...
From Communications of the ACM
Technical Perspective: The Interplay of Neuroscience and Cryptography
An ideal scheme for password storage would enable a password with more than 20 bits of randomness to be input and output from the brain of a human being who is...
From Communications of the ACM
Neuroscience Meets Cryptography: Crypto Primitives Secure Against Rubber Hose Attacks
We present a defense against coercion attacks using the concept of implicit learning from cognitive psychology. We use a carefully crafted computer game to allow...
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...
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.
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...
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...
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...
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...
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...
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...
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