Mobile performance issues? Fix the back end, not just the client.
Theory
Advertisement
The Value of Microprocessor Designs
Applying a centuries-old technique to modern cost estimation.
Symbolic Execution For Software Testing: Three Decades Later
The challenges — and great promise — of modern symbolic execution techniques, and the tools to help implement them.
New Approaches to Security and Availability For Cloud Data
Extending the data trust perimeter from the enterprise to the public cloud requires more than encryption.
Software techniques that tolerate latency variability are vital to building responsive large-scale Web services.
Athena Award Nominations Closing Soon!
Don't miss out on the chance to nominate someone for an Athena Award from ACM-W.
Software Engineering in the Venice of the North
ESEC-FSE 2013 (in Saint Petersburg,, 18-26 August) is the place to be for software engineering in 2013.
The leading open source system for processing big data continues to evolve, but new approaches with added features are on the rise.
Large genomic databases with interactive access require new, layered abstractions, including separating "evidence" from "inference."
Illustrating How Mechanical Assemblies Work
How-things-work visualizations use a variety of visual techniques to depict the operation of complex mechanical assemblies. We present an automated approach for generating such visualizations.
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 practices through technology. The following paper is a watershed in depiction, creating imagery that gets ideas across.
Anatomy of a Solid-State Drive
While the ubiquitous SSD shares many features with the hard-disk drive, under the surface they are completely different.
Improved performance and a proven deployment strategy make SPDY a potential successor to HTTP.
Computers interacting with, not imitating, humans is the way forward.
Levels of Abstraction; Pre-Teens and Career Choices
Mark Guzdial writes about the need for programming languages to support multimedia at all levels. Judy Robertson shares insights about 12-year-old students' lack of understanding about computer science.
Technical Perspective: High-Level Data Structures
This lifting of data structure thinking to the relational level has long inspired computer scientists. In "An Introduction to Data Representation Synthesis," the authors aim at elevating data structure programming to the relational realm.
A unique firsthand account of formative experiences with Alan Turing.
Theory of Algorithmic Self-Assembly
The challenge of programming molecules to manipulate themselves.
Three breakthrough experiments involving photons have extended coherence times and indicated scalable production.
Sanjeev Arora talks about proof, intractability, and finding the best way to approximate problems.
An Introduction to Data Representation Synthesis
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is declarative and results in provably correct code.
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