On the Future of ACM
How must ACM restructure its portfolio, and the business models that support it, to stay relevant and viable in the future?
John White
Page 5
DEPARTMENT:
From the president
Revisiting the Tragedy of the Commons
While the commons created by the Internet need not be bounded, it is a shared environment that must be protected for the benefit of its users.
Vinton G. Cerf
Page 7
DEPARTMENT:
Letters to the Editor
Deep Accountability, Beyond Even Liability
I am a Colorado licensed professional engineer whose area of practice is software and who found no cause for disagreement with the first half of Vinton G. Cerf's "From the President" editorial (July 2013). The second half …
CACM Staff
Pages 8-9
DEPARTMENT:
[email protected]
Helping Scientists, Engineers to Work Up to 100 Times Faster
Philip Guo explains how programming skills can make scientists and engineers more efficient and creative.
Philip Guo
Pages 12-13
COLUMN:
News
Tuning In to Graphene
New ultra-fast wireless antennas may be on the way, but don't throw away your old wireless router just yet.
Alex Wright
Pages 15-17
Making the Internet Safe For Gadgets
Initiatives favor direct connections, named resources, and cryptography.
Tom Geller
Pages 18-20
Software Helps Linguists Reconstruct, Decipher Ancient Languages
Linguists who once spent an entire career reconstructing a major language family now can accomplish that in just a few hours.
Paul Hyman
Pages 21-23
The Alan Turing Year Leaves a Rich Legacy
A year-long celebration of the life and work of a man whom many call the founding father of computer science.
Sarah Underwood
Pages 24-25
COLUMN:
Technology strategy and management
Evaluating a Startup Venture
Considering the key elements of successful startups.
Michael A. Cusumano
Pages 26-29
COLUMN:
The business of software
When Faster Is Slower
How the speed of modern tools may decelerate development.
Phillip G. Armour
Pages 30-32
COLUMN:
Kode Vicious
The Naming of Hosts Is a Difficult Matter
Also, the perils of premature rebooting.
George V. Neville-Neil
Pages 33-34
COLUMN:
Inside risks
Controlling For Cybersecurity Risks of Medical Device Software
Medical device hacking is a red herring. But the flaws are real.
Kevin Fu, James Blum
Pages 35-37
COLUMN:
Viewpoint
Beyond Efficiency
Esteem for efficiency should be tempered with respect for robustness.
David H. Ackley
Pages 38-40
SECTION:
Practice
Barbarians at the Gateways
A special section on high-frequency trading and exchange technology.
Jacob Loveless
Pages 42-49
Online Algorithms in High-Frequency Trading
The challenges faced by competing HFT algorithms.
Jacob Loveless, Sasha Stoikov, Rolf Waeber
Pages 50-56
Passively Measuring TCP Round-Trip Times
A close look at round-trip time measurements with the Transmission Control Protocol.
Stephen D. Strowes
Pages 57-64
SECTION:
Contributed articles
Implementing the Argument Web
Improve online public discourse by connecting opinions across blogs, editorials, and social media.
Floris Bex, John Lawrence, Mark Snaith, Chris Reed
Pages 66-73
Trends in Computer Science Research
Keywords in the ACM Digital Library and IEEE Xplore digital library and in NSF grants anticipate future CS research.
Apirak Hoonlor, Boleslaw K. Szymanski, Mohammed J. Zaki
Pages 74-83
SECTION:
Review articles
A Blueprint for Building a Quantum Computer
Quantum computer architecture holds the key to building commercially viable systems.
Rodney Van Meter, Dominic Horsman
Pages 84-93
SECTION:
Research highlights
Technical Perspective: Can We Verify Cyber-Physical Systems?
Developing effective symbolic verification technology for mixed discrete-analog models has proved to be a challenging problem. The following paper by Althoff et al. reports a major milestone in this quest.
Rajeev Alur
Page 96
Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization
We present a scalable and formal technique to verify locking time and stability for charge-pump phase-locked loops (PLLs).
Matthias Althoff, Akshay Rajhans, Bruce H. Krogh, Soner Yaldiz, Xin Li, Larry Pileggi
Pages 97-104
COLUMN:
Last byte
Future Tense: Quantum Precog
From the intersection of computational science and technological speculation, with boundaries limited only by our ability to imagine what could be.Spared a horrible death, it was murder just the same.
Brian Clegg
Pages 112-ff