Smart Cities: Concepts, Architectures, Research Opportunities
The aim is to improve cities' management of natural and municipal resources and in turn the quality of life of their citizens.
Computing Applications
Advertisement
Even a little genetic engineering can render us too comfortable for our own good.
Verifying Quantitative Reliability For Programs that Execute on Unreliable Hardware
We present Rely, a programming language that enables developers to reason about the quantitative reliability of an application — namely, the probability that it produces the correct result when executed on unreliable hardware.
Ur/Web: A Simple Model For Programming the Web
This paper presents Ur/Web, a domain-specific, statically typed functional programming language that reduces the nest of Web standards for modern Web applications to a simple programming model.
Technical Perspective: Toward Reliable Programming For Unreliable Hardware
"Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware" by Carbin et al. addresses challenges related to a bug, how likely it is to occur, and how it will affect an application's behavior.
Technical Perspective: Why Didn’t I Think of That?
Until now, the database in a Web application has been treated as a global variable, accessible to all. In "Ur/Web: A Simple Model for Programming the Web," Adam Chlipala suggests a better approach.
ShiViz is a new distributed system debugging visualization tool.
SQL has a brilliant future as a major figure in the pantheon of data representations.
The Hidden Dividends of Microservices
Microservices aren't for every company, and the journey isn't easy.
The power of deep neural networks has sparked renewed interest in reinforcement learning, with applications to games, robotics, and beyond.
Smartphone Apps For Social Good
Mobile apps make it easier, faster, and cheaper to create massive impact on social causes ranging from world hunger to domestic violence.
Computational Biology in the 21st Century: Scaling with Compressive Algorithms
Algorithmic advances take advantage of the structure of massive biological data landscape.
A group of people is sitting around your dinner table with one empty chair. Each person has a name that begins with a different letter: A, B, C . . . Because you love puzzles, you ask them to rearrange themselves . . .
Technical Perspective: Combining Logic and Probability
In "Probabilistic Theorem Proving," Gogate and Domingos suggest how PTP could be turned in a fast approximate algorithm by sampling from the set of children of a branch point.
Technical Perspective: Mesa Takes Data Warehousing to New Heights
Producing reports at the scale of Google Ads, where billions of clicks happen per day, is the challenge addressed by the Mesa system described in "Mesa: A Geo-Replicated Online Data Warehouse for Google's Advertising System."
Many representation schemes combining first-order logic and probability have been proposed in recent years. We propose the first method that has the full power of both graphical model inference and first-order theorem proving (in finite domains with Herbrand interpretations).
Progress in Computational Thinking, and Expanding the HPC Community
Jeannette Wing considers the proliferation of computational thinking, while Dan Stanzione hopes to bring more HPC practitioners to SC16.
A proposal for a law to prevent artificial intelligence systems from being mistaken for humans.
Today's social bots are sophisticated and sometimes menacing. Indeed, their presence can endanger online ecosystems as well as our society.
The latest in machine learning helps high-energy physicists handle the enormous amounts of data produced by the Large Hadron Collider.
Reducing waste, encouraging experimentation, and making everyone happy.
Should You Upload or Ship Big Data to the Cloud?
The accepted wisdom does not always hold true.
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