Communications of the ACM（CACM ）的ISSUE 669论文列表

卷期号： Issue 669

发布时间：

卷期年份： 2013

卷期官网：

Controlling for cybersecurity risks of medical device software.

Making the internet safe for gadgets.

Software helps linguists reconstruct, decipher ancient languages.

Passively measuring TCP round-trip times.

Deep accountability, beyond even liability.

Helping scientists, engineers to work up to 100 times faster.

When faster is slower.

The Alan Turing Year leaves a rich legacy.

On the future of ACM.

Can we verify cyber-physical systems?: technical perspective.

A blueprint for building a quantum computer.

Evaluating a startup venture.

Beyond efficiency.

Barbarians at the gateways.

Tuning in to graphene.

Implementing the argument web.

Trends in computer science research.

Revisiting the tragedy of the commons.

Formal verification of phase-locked loops using reachability analysis and continuization.

Online algorithms in high-frequency trading.

Future tense.

The naming of hosts is a difficult matter.