Software Engineering and Programming Languages Archives - Page 59 of 283

Opinion Jun 1 2014

Efficient Code to Counter Dying Moore’s Law

If Moore's Law is indeed winding down, as Moshe Y. Vardi said in "Moore's Law and the Sand-Heap Paradox" (May 2014), software practitioners must focus even more than they already do on developing efficient code.

CACM Staff

Research and Advances Jun 1 2014

Implementing Distributed Shared Memory For Dynamic Networks

Atomically consistent memory services provide resiliency in dynamic settings.

Peter Musial, Nicolas Nicolaou, and Alexander A. Shvartsman

Implementing Distributed Shared Memory for Dynamic Networks, illustration

Opinion Jun 1 2014

Q&A: Divide and Conquer

Leslie Lamport on Byzantine generals, clocks, and other tools for reasoning about concurrent systems.

Leah Hoffmann

2013 ACM A.M. Turing Award recipient Leslie Lamport

Opinion Jun 1 2014

Owning and Using

On vital and supporting systems.

Phillip G. Armour

Opinion Jun 1 2014

The Logic of Logging

And the illogic of PDF.

George V. Neville-Neil

The Logic of Logging, illustrative cartoon

Opinion Jun 1 2014

Beyond Data and Analysis

Why business analytics and big data really matter for modern business organizations.

Charles K. Davis

Beyond Data and Analysis, illustrative photo

Practice Jun 1 2014

The Curse of the Excluded Middle

"Mostly functional" programming does not work.

Erik Meijer

The Curse of the Excluded Middle, illustration

Practice Jun 1 2014

Domain-Specific Languages and Code Synthesis Using Haskell

Looking at embedded DSLs.

Andy Gill

Domain-Specific Languages and Code Synthesis Using Haskell, illustration

Practice Jun 1 2014

Design Exploration Through Code-Generating DSLs

High-level DSLs for low-level programming.

Bo Joel Svensson, Mary Sheeran, and Ryan R. Newton

Design Exploration through Code-Generating DSLs, illustration

BLOG@CACM May 18 2014

The Good, the Hype and the Ugly

One of the most dazzling changes to the software development world in the past decade has been the spread of agile methods.

Bertrand Meyer

BLOG@CACM May 12 2014

Run-Time Assertions: What Are You Waiting For?

Would Design by Contract have avoided Heartbleed?

Bertrand Meyer

News May 8 2014

Windows Xp: The Millennium Bug For Atms?

There may be no industry more impacted by the retirement of the XP operating system than banking.

Mark Broderick

An ATM running Microsoft Windows XP, still the operating system of most ATMs.

Practice May 1 2014

The NSA and Snowden: Securing the All-Seeing Eye

How good security at the NSA could have stopped him.

Bob Toxen

Practice May 1 2014

A Primer on Provenance

Better understanding data requires tracking its history and context.

Practice May 1 2014

Don’t Settle For Eventual Consistency

Stronger properties for low-latency geo-replicated storage.

Wyatt Lloyd, Michael J. Freedman, Michael Kaminsky, and David G. Andersen

Opinion May 1 2014

What Happened to Video Game Piracy?

How video games thrive in a world of piracy.

Ben Depoorter

Research and Advances May 1 2014

The Community Source Approach to Software Development and the Kuali Experience

Participating educational institutions get a much more cost-effective result compared to the commercial off-the-shelf alternative.

Manlu Liu, Sean Hansen, and Qiang Tu

Research and Advances May 1 2014

Reducing the Software Value Gap

How to cope with the growing demand for software solutions at no extra cost.

Shimeon Pass and Boaz Ronen

Reducing the Software Value Gap, illustration

Research and Advances May 1 2014

Cloud Security: A Gathering Storm

Users' trust in cloud systems is undermined by the lack of transparency in existing security policies.

Mihir Nanavati, Patrick Colp, Bill Aiello, and Andrew Warfield

Research and Advances May 1 2014

Understanding the Empirical Hardness of NP-Complete Problems

Using machine learning to predict algorithm runtime.

Kevin Leyton-Brown, Holger H. Hoos, Frank Hutter, and Lin Xu

Understanding the Empirical Hardness of NP-Complete Problems, illustration

News May 1 2014

The Forever Disc

Can our digital data represent us a million years from now?

Tom Geller

Opinion May 1 2014

Sometimes It Takes Some Time!

Too often one gets the impression of tacit expectation that scientific research has to produce results within some predictable time. But many examples illustrate that it may take some time to validate the results of theoretical research.

Vinton G. Cerf

Opinion May 1 2014

Tom Kilburn: A Tale of Five Computers

Reflections on a British computer engineer who influenced several important machines, including the first stored-program computer.

David Anderson

Research and Advances May 1 2014

Technical Perspective: The Interplay of Neuroscience and Cryptography

An ideal scheme for password storage would enable a password with more than 20 bits of randomness to be input and output from the brain of a human being who is unconscious of the process and thus unable to give away or reveal the password.

Ari Juels and Bonnie Wong

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