The Five-Minute Rule 30 Years Later and Its Impact on the Storage Hierarchy
Tracing the evolution of the five-minute rule to help identify imminent changes in the design of data management engines.
Computing Applications
Advertisement
An Elementary Introduction to Kalman Filtering
Demystifying the uses of a powerful tool for uncertain information.
DeepXplore: Automated Whitebox Testing of Deep Learning Systems
We design, implement, and evaluate DeepXplore, the first white-box framework for systematically testing real-world deep learning systems.
Cantando con la Corrente (Singing with Current)
An augmented singer gets some unexpected feedback from his audience.
The Shortest Possible Schedule Theorem: Yes, You Can Throw Money at Software Deadlines
As close as we have to a universal law of software engineering management.
Machine language translation is advancing rapidly, but can it reach the level of human understanding?
I keep hearing excuses for not working on difficult problems: "Eventually AI will solve this so there's no point working on it now." Sorry, wrong answer.
Technical Perspective: The Scalability of CertiKOS
The authors of "Building Certified Concurrent OS Kernels" illustrate that formal verification can scale up to a moderate-size program (6,500 lines of C) that has substantial shared-memory concurrency.
Pinning Down Variables, and Taking an Agile Approach
Robin K. Hill tries to better define variables, while Edwin Torres acknowledges he is his own greatest obstacle.
The Cloud as an Innovation Platform for Software Development
How cloud computing became a platform.
How Might We Increase System Trustworthiness?
Summarizing some of the changes that seem increasingly necessary to address known system and network deficiencies and anticipate currently unknown vulnerabilities.
Multi-Device Digital Assistance
Increased availability of cloud services and ownership of multiple digital devices create unique opportunities for digital assistants to provide guidance across a range of tasks and scenarios.
Unlocking Data to Improve Public Policy
When properly secured, anonymized, and optimized for research, administrative data can be put to work to help government programs better serve those in need.
Sampling-Based Robot Motion Planning
To address the computational challenges that arise when planning for robotic systems, traditional CS algorithms, tools, and paradigms must be revisited.
Protein Design by Provable Algorithms
Protein design algorithms can leverage provable guarantees of accuracy to provide new insights and unique optimized molecules.
Consumer-Grade Fabrication and Its Potential to Revolutionize Accessibility
Digital fabrication technologies open new doors — and challenges — for real-world support.
Building Certified Concurrent OS Kernels
In this work, we present CertiKOS, a novel compositional framework for building verified concurrent OS kernels.
Sabotage-resistant industrial machinery combats Stuxnet-like attacks.
Sustaining Open Collaboration in Universities
Increasing international tension and distrust, and its projection into universities, is eroding open collaboration and inquiry.
The concept of randomness is easy to grasp on an intuitive level but challenging to characterize in rigorous mathematical terms.
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