Today's powerful, robust SAT solvers have become primary tools for solving hard computational problems.
Johannes K. Fichte, Daniel Le Berre, Markus Hecher, Stefan Szeider Pages 64-72DEPARTMENT: Cerf's Up
As the inventor of Ethernet, now ubiquitous in so many forms, Bob Metcalfe, the Turing Award Laureate for 2022, has earned the right to speak about connectivity.
Vinton G. Cerf Page 5SECTION: Contributed Articles
For a given cryptographic scheme, as perfect security is almost never achievable, one requires a computational assumption. Computational assumptions are some well-defined problems that are widely accepted as difficult.
David Pointcheval Page 106
FoundationDB, an open-source transactional key-value store, is one of the first systems to combine the flexibility and scalability of NoSQL architectures with the power of ACID transactions.
Jingyu Zhou, Meng Xu, Alexander Shraer, Bala Namasivayam, Alex Miller, Evan Tschannen, Steve Atherton, Andrew J. Beamon, Rusty Sears, John Leach, Dave Rosenthal, Xin Dong, Will Wilson, Ben Collins, David Scherer, Alec Grieser, Yang Liu, Alvin Moore, Bhaskar Muppana, Xiaoge Su, Vishesh Yadav Pages 97-105DEPARTMENT: BLOG@CACM
FoundationDB, as explored in "FoundationDB: A Distributed Key-Value Store," by Jingyu Zhou et al., pioneered the development of a scalable distributed key-value store with strong consistency guarantees.
Alfons Kemper Page 96COLUMN: Last Byte