Communications of the ACM
Refine your search:
Governance and Oversight Coming to AI and Automation: Independent Audit of AI Systems
Independent Audit of AI Systems is the next evolution of governance for artificial intelligence and automation.
From [email protected]
More Replicas of Historical Calculating Machines Found
Documenting the discovery of several previously unknown replicas of historical computing devices made by Roberto A. Guatelli.
From [email protected]
The Model Maker of Leonardo da Vinci, Blaise Pascal, and Charles Babbage
Discovery of a previously unknown replica of the legendary Swiss Millionaire calculating machine at Carnegie Mellon University in Pittsburgh, PA.
From [email protected]
What Turing and Church Left Out
Concurrency control for readers and writers in a database is a classic problem that illustrates the power of message passing.
From [email protected]
Did Albert Einstein Calculate on the 'Millionaire' in Zurich?
In 1897, ETH Zurich was the first university in the world to have a copy of the legendary four-species calculating machine Millionaire.
From [email protected]
Validating Beneficial AI
The foundational work of the first AI for Good Summit allows the AI community to work together to create an infrastructure for responsible communication, development...
From [email protected]
Articulation of Decision Responsibility
Can we establish a locution for the results of a program that does not ascribe decision-making power?
From [email protected]
Securing Threats to Election Systems
Election systems are supposed to be disconnected from the Internet, for obvious and sensible reasons. Most elections today, however, use computers.
From [email protected]
Time To End The vi/Emacs Debate
If you still use Emacs, I feel for you. Perhaps it is time to give vi a try.
From [email protected]
A Computing Education Research Perspective on Programmable Programming Languages
Computing education researcher take on the implications of programmable programming languages
From [email protected]
Operating Systems as Possible Worlds
Is a comparison between operating systems, which are analyzed by software engineers for conditional execution paths, and possible worlds, which are analyzed by...
From [email protected]
Cyber Insecurity and Cyber Libertarianism
Here we are, 70 years into the computer age and we still do not seem to know how to build secure information systems. And yet, our community marches forward with...
From [email protected]
Just Press Reboot
Why does the press continue to talk about "computer problems"?
From [email protected]
Star [email protected]: Inspiring Discovery and Innovation
Star Trek has inspired generations to pursue science and technology careers, not a few of whom have transformed part of it into technological and commercial fact...
From [email protected]
Welcome to the 40th Annual ACM-ICPC World Finals in Phuket, Thailand
The ACM International Collegiate Programming Contest, sponsored by IBM, is the oldest, largest, and most prestigious programming competition in the world.
From [email protected]
SC16 Expands Focus on Hpc Provider Community, Practitioners
State of the Practice focus at SC16 expands opportunities for HPC service providers and practitioners to publish their innovations and best practices.
From [email protected]
California's Internet Voting Initiatives
The vast majority of computer and network security experts agree that there is currently no way to adequately secure an online public election.
From [email protected]
A Week of HPC at SC15
ETH's Torsten Hoefler walks through a week of workshops, tutorials, papers, and his reactions to a week at SC.
From [email protected]
Intriguing Possibilities as Hpc Reaches an Inflection Point
SC15 is taking place at a time when high-performance computing (HPC) finds itself at an inflection point. As we approach the end of CMOS, the path forward for HPC's...
From [email protected]
SC Turns Reproducibility Challenges Into Opportunities
The annual SC conference is instituting new practices over the next five years that will help establish SC as the "gold standard" for computational science practice...
From [email protected]