Communications of the ACM （CACM） - Issue 669 论文列表
| 点击这里查看 Communications of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： 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.