We Need a Building Code For Building Code
A proposal for a framework for code requirements addressing primary sources of vulnerabilities for building systems.
Software Engineering and Programming Languages
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.
Far-Sighted Thinking About Deleterious Computer-Related Events
Considerably more anticipation is needed for what might seriously go wrong.
Is Information Technology Destroying the Middle Class?
While optimists argue that though technology always destroy jobs, it also creates new jobs, pessimists argue that the speed in which information technology is currently destroying jobs is unparalleled.
There Is Nothing New Under the Sun
Centuries before George Boole and Charles Babbage, the notion of binary encoding was well known and apparently even used! Julius Caesar was known to use a simple rotational cipher. Francis Bacon devised a binary encoding scheme and wrote about it in 1623.
Model-Based Testing: Where Does It Stand?
MBT has positive effects on efficiency and effectiveness, even if it only partially fulfills high expectations.
In the NIPS experiment, 10% of papers submitted to the Neural Information Processing Systems Foundation went through its review process twice, with results compared.
What It Means to Receive the Turing Award
The Turing Award gives us a unique opportunity to become ambassadors of our wonderful field. It increases our outside visibility and enables us to build bridges to other disciplines.
Distributed Information Processing in Biological and Computational Systems
Exploring the similarities and differences between distributed computations in biological and computational systems.
Scalability Techniques For Practical Synchronization Primitives
Designing locking primitives with performance in mind.
Interactive Intent Modeling: Information Discovery Beyond Search
The system should let users incrementally direct their search toward relevant, though not initially obvious, information.
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.
A Long Way to Have Come and Still to Go
Oral interaction with computers is increasingly common. Pretty much anywhere you use a keyboard, Google's applications now allow you to speak. This leads me to wonder whether it is possible to write significant programs by way of high-level oral (or written) interaction with a programming system.
This is an extraordinary time to be part of the world's largest educational and scientific society in computing. Membership is at a record high, ACM continues to expand its global reach, and ACM's position at the forefront of computer science education has never been more prominent.
You would be surprised by how much they know about you, and what they are doing with your information.
Smart Transportation Networks Drive Gains
Transportation engineers and city planners are looking to information technology to redefine traffic management in urban areas. With the opportunity, however, comes risks.
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