Computing Applications Archives - Page 66 of 459

Research and Advances Jul 1 2017

Technical Perspective: Ironfleet Simplifies Proving Safety and Liveness Properties

"IronFleet: Proving Safety and Liveness of Practical Distributed Systems," by Chris Hawblitzel, et al., describes mechanically checked proofs for two non-trivial distributed services: A Paxos-based library to support replication and a shared key-value store.

Fred B. Schneider

Research and Advances Jul 1 2017

Inference and Auction Design in Online Advertising

Econometrics is a key component to gauging user satisfaction and advertisers' profits.

Denis Nekipelov and Tammy Wang

Inference and Auction Design in Online Advertising, illustration

News Jun 29 2017

Sight nseen

New hope for visually impaired technology users.

Joe Dysart

Blitab, an Android tablet with a Braille surface designed to render 65 words at a time.

BLOG@CACM Jun 20 2017

Deep Dictionary

The abstraction from big data on English words of distributed vector representations computing simple semantic aspects has drawn interest from the computing community.

Robin K. Hill

News Jun 1 2017

The Soft Side of Quantum Computing

Future quantum computers will need software tailored to their specific ways of operating.

Arnout Jaspers

News Jun 1 2017

Potential and Peril

The outlook for artificial intelligence-based autonomous weapons.

Sarah Underwood

Campaign to Stop Killer Robots participants, London 2013

News Jun 1 2017

Big Data

2014 ACM A.M. Turing Award recipient Michael Stonebraker, 2013 ACM Prize recipient David Blei, 2007 ACM Prize recipient Daphne Koller, and ACM Fellow Vipin Kumar discuss trends in big data.

CACM Staff

David Blei, Daphne Koller, Vipin Kumar, and Michael Stonebraker

News Jun 1 2017

Weaving the Web

Sir Tim Berners-Lee created a paradigm shift that changed the world with his invention of the World Wide Web, Hypertext Transport Protocol, and Hypertext Markup Language.

Neil Savage

2016 ACM A.M. Turing Award recipient Tim Berners-Lee

News Jun 1 2017

Deep Learning Takes on Translation

Improvements in hardware, the availability of massive amounts of data, and algorithmic upgrades are among the factors supporting better machine translation.

Don Monroe

Deep Learning Takes on Translation, illustration

Research and Advances Jun 1 2017

The Scion Internet Architecture

Adhering to the end-to-end principle even more than the current Internet yields highly available point-to-point communication.

Research and Advances Jun 1 2017

The Dynamics of Work-Family Conflict

Conflict is averted by separating work and family time and responsibility, as reflected in millions of tweets.

Yili Liu and Lina Zhou

The Dynamics of Work-Family Conflict, illustrative photo

Opinion Jun 1 2017

This Is For Everyone

Sir Tim Berners-Lee on the formative years of the world wide web, and the challenges it now faces.

Leah Hoffmann

Opinion Jun 1 2017

Forced Exception Handling

You can never discount the human element in programming.

George V. Neville-Neil

Research and Advances Jun 1 2017

Learnable Programming: Blocks and Beyond

New blocks frameworks open doors to greater experimentation for novices and professionals alike.

Research and Advances Jun 1 2017

Technical Perspective: What Led Computer Vision to Deep Learning?

We are in the middle of the third wave of interest in artificial neural networks as the leading paradigm for machine learning. "ImageNet Classification with Deep Convolutional Neural Networks" is the paper most responsible for this third wave.

Jitendra Malik

Research and Advances Jun 1 2017

ImageNet Classification with Deep Convolutional Neural Networks

In the 1980s backpropagation did not live up to the very high expectations of its advocates. Twenty years later, we know what went wrong: for deep neural networks to shine, they need far more labeled data and hugely more computation.

Alex Krizhevsky, Ilya Sutskever, and Geoffrey E. Hinton

ILSVRC-2010 test images and training images

Research and Advances Jun 1 2017

Unexpected Power of Low-Depth Arithmetic Circuits

Several earlier results have shown that it is possible to rearrange basic computational elements in surprising ways to give more efficient algorithms. The main result of this article is along a similar vein.

Ankit Gupta, Pritish Kamath, Neeraj Kayal, and Ramprasad Saptharishi

Unexpected Power of Low-Depth Arithmetic Circuits, illustration

Research and Advances Jun 1 2017

Technical Perspective: Low-Depth Arithmetic Circuits

The past few years have seen a revolution in our understanding of arithmetic circuits. "Unexpected Power of Low-Depth Arithmetic Circuits" by Gupta et al. on the "chasm at depth 3" is one of the culminations of this new understanding.

Avi Wigderson

Practice Jun 1 2017

The Debugging Mind-Set

Understanding the psychology of learning strategies leads to effective problem-solving skills.

Devon H. O'Dell

The Debugging Mind-Set, illustrative photo

Practice Jun 1 2017

Too Big Not to Fail

Embrace failure so it does not embrace you.

Pat Helland, Simon Weaver, and Ed Harris

News May 25 2017

Lawmakers Seek to Expand Repair Options

End-users want to be able to repair their expensive electronics; manufacturers disagree.

Neil Savage

Do-it-yourselfers currently cannot legally repair their electronic devices.

BLOG@CACM May 24 2017

St. Petersburg ITMO Team Wins First Place at ICPC World Finals

St. Petersburg ITMO University, a perennial contender in the ACM International Collegiate Programming Contest (ICPC), won the 2017 World Finals on Wednesday in Rapid City, South Dakota. The university's team has won the prestigious competition in seven of the last 13 years.

Kelsey Sinclair

News May 23 2017

In Memoriam: Jean E. Sammet 1928-2017

Sammet was the first female president of ACM, and a pioneer in programming languages.

Lawrence M. Fisher

News May 23 2017

Making Machines Make Sense

Researchers are working to imbue computing devices with sophisticated object recognition and tactile capabilities that could take computer sensing to an entirely new level.

Samuel Greengard

A Google algorithm recognizes fruit in a bowl.

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 Involved

Communications 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