Automated Support For Diagnosis and Repair
Model checking and logic-based learning together deliver automated support, especially in adaptive and autonomous systems.
Research and Advances
Advertisement
Hacking Nondeterminism with Induction and Coinduction
We introduce bisimulation up to congruence as a technique for proving language equivalence of nondeterministic finite automata.
Technical Perspective: The Equivalence Problem For Finite Automata
As the equivalence problem is essential in many applications, we need algorithms that avoid the worst-case complexity as often as possible. In "Hacking Nondeterminism with Induction and Coinduction," Filippo Bonchi and Damien Pous show us there is a better way.
To Govern IT, or Not to Govern IT?
Business leaders may bemoan the burdens of governing IT, but the alternative could be much worse.
Distributed Information Processing in Biological and Computational Systems
Exploring the similarities and differences between distributed computations in biological and computational systems.
Interactive Intent Modeling: Information Discovery Beyond Search
The system should let users incrementally direct their search toward relevant, though not initially obvious, information.
Analyzing Worldwide Research in Hardware Architecture, 1997-2011
Results showed more published papers, collaboration with U.S. colleagues, preference for English, and uneven research impact.
Technical Perspective: Big Data Needs Approximate Computing
"Neural Acceleration for General-Purpose Approximate Programs" demonstrates the significant advantages in cost, power, and latency through approximate computing.
Neural Acceleration For General-Purpose Approximate Programs
This paper describes a new approach that uses machine learning-based transformations to accelerate approximation-tolerant programs.
This year's CNRS Gold Medal recipient, Gérard Berry, discusses his roots in computer science, why computers are stupid, and how he has helped to simplify programming.
GPUfs: The Case For Operating System Services on GPUs
The GPUfs file system layer for GPU software makes core operating system abstractions available to GPU code.
Computationally Modeling Human Emotion
Computer models of emotion inform theories of human intelligence and advance human-centric applications.
Technical Perspective: Rethinking Caches For Throughput Processors
As GPUs have become mainstream parallel processing engines, many applications targeting GPUs now have data locality more amenable to traditional caching. The architecture described in "Learning Your Limits" has a number of virtues.
Learning Your Limit: Managing Massively Multithreaded Caches Through Scheduling
This paper studies the effect of accelerating highly parallel workloads with significant locality on a massively multithreaded GPU.
HACs offer a new science for exploring the computational and human aspects of society.
On Facebook, Most Ties Are Weak
Strong ties connect individuals in the same community; weak ties connect individuals in different communities.
Scene Understanding By Labeling Pixels
Pixels labeled with a scene's semantics and geometry let computers describe what they see.
Technical Perspective: The Intricate Dance of Fabric and Light
For years, graphics programs have simulated fabric as a collection of fibers, requiring tweaks to algorithms for each new fabric. "Building Volumetric Appearance Models of Fabric Using Micro CT Imaging" solves this problem in a creative way.
Building Volumetric Appearance Models of Fabric Using Micro CT Imaging
Visualizing and rendering cloth has been an important area of graphics research for decades. This paper proposes a new approach to acquiring volume models, based on density data from CT scans and appearance data from photographs under uncontrolled illumination.
Reading News with Maps By Exploiting Spatial Synonyms
Use this map query interface to search the world, even when not sure what information you seek. (View a related original video at https://vimeo.com/106352925.)
Wikidata: A Free Collaborative Knowledgebase
This collaboratively edited knowledgebase provides a common source of data for Wikipedia, and everyone else.
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get InvolvedCommunications of the ACM (CACM) is now a fully Open Access publication.
By opening CACM to the world, we hope to increase engagement among the broader computer science community and encourage non-members to discover the rich resources ACM has to offer.
Learn More