Systems and Networking
Advertisement
Dynamic Certification for Autonomous Systems
An attempt to provide a common language between formal models, simulations, real-world (testing) data, and regulatory mechanisms.
Model Counting Meets Distinct Elements
In this work, we seek to investigate whether bridging the seeming communication gap between two different domains of computer science may pave the way to richer fundamental insights.
Technical Perspective: Tapping the Link between Algorithmic Model Counting and Streaming
"Model Counting Meets Distinct Elements," by A. Pavan et al., gives a surprising connection between model counting and streaming, providing a generic transformation of data stream algorithms for F0 estimation to algorithms for model counting.
Competing Agendas Roil Online Content Moderation Efforts
The EU and the U.S. diverge on how they handle online content moderation.
Face It, Self-Driving Cars Still Haven’t Earned Their Stripes
Edge cases remain a serious, unsolved problem, $100 billion later.
Pneumatic Computing Gains Air of Importance
The emergence of pneumatics as a computing tool could alter many fields and lead to new innovations.
Optical Vectors Beam Multi-Bits
The technique works by modulating the vector-quality factor, instead of the amplitude of a laser.
Federated Learning: How Private Is It Really?
Just when it looks like Federated Learning is able to keep local data private, out comes a study to deflate us.
Automated Tests Are the Safety Net
Automated testing in software development significantly diminishes routine work and saves time, allowing programmers to work more effectively.
Giving Users More than They Can Handle
Are Microsoft's artificial intelligence files creating security issues for customers?
Computer-Assisted Proofs Take on Fluid Flow
Researchers use computers to show that equations can "blow up."
The Carbon Footprint of Artificial Intelligence
Looking for ways to cut the release of greenhouse gases attributable to AI use, at a time that usage is very likely to grow.
Technical Perspective: Can We Uncover Private Backbone Infrastructures?
In "A Manifold View of Connectivity in the Private Backbone Networks of Hyperscalers," Salamatian et al. assemble techniques from the two broad strategies developed by the networking community and complement them with new ones using concepts from Riemannian geometry.
A Manifold View of Connectivity in the Private Backbone Networks of Hyperscalers
We present a new empirical approach for elucidating connectivity in privately owned and operated backbone networks.
For a More Transparent Governance of Open Source
Seeking the best governance models for FOSS projects.
SI and Binary Prefixes: Clearing the Confusion
Considering the emergence of non-standard acceptance of SI prefixes.
Why You Should Be Able to Make Your Own Individualized, Digital Nano-Currency
Increasing opportunities for access to traditional financial systems.
A discussion with Alfred Spector, Peter Norvig, Chris Wiggins, Jeannette Wing, Ben Fried, and Michael Tingley.
A Computational Inflection for Scientific Discovery
Enabling researchers to leverage systems to overcome the limits of human cognitive capacity.
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