How must ACM restructure its portfolio, and the business models that support it, to stay relevant and viable in the future?
DEPARTMENT: From the president
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
DEPARTMENT: Letters to the Editor
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 …
Philip Guo explains how programming skills can make scientists and engineers more efficient and creative.
New ultra-fast wireless antennas may be on the way, but don't throw away your old wireless router just yet.
Initiatives favor direct connections, named resources, and cryptography.
Linguists who once spent an entire career reconstructing a major language family now can accomplish that in just a few hours.
A year-long celebration of the life and work of a man whom many call the founding father of computer science.
COLUMN: Technology strategy and management
Considering the key elements of successful startups.
Michael A. Cusumano
COLUMN: The business of software
How the speed of modern tools may decelerate development.
Phillip G. Armour
COLUMN: Kode Vicious
Also, the perils of premature rebooting.
George V. Neville-Neil
COLUMN: Inside risks
Medical device hacking is a red herring. But the flaws are real.
Kevin Fu, James Blum
Esteem for efficiency should be tempered with respect for robustness.
David H. Ackley
A special section on high-frequency trading and exchange technology.
The challenges faced by competing HFT algorithms.
Jacob Loveless, Sasha Stoikov, Rolf Waeber
A close look at round-trip time measurements with the Transmission Control Protocol.
Stephen D. Strowes
SECTION: Contributed articles
Improve online public discourse by connecting opinions across blogs, editorials, and social media.
Floris Bex, John Lawrence, Mark Snaith, Chris Reed
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
SECTION: Review articles
Quantum computer architecture holds the key to building commercially viable systems.
Rodney Van Meter, Dominic Horsman
SECTION: Research highlights
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.
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
COLUMN: Last byte
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.