在过去的五年里,我们一直担任联合主席
通信投稿文章和评论文章部分的编辑委员会。我们收到的文章代表了信息技术的广泛影响。
阿尔弗雷德·阿霍,乔治·戈特洛布
第5页
部门:从总统
在过去的十年中,互联网及其治理已经成为主要讨论、辩论和争议的话题。
文顿·g·瑟夫
第7页
部门:给编辑的信
Gerard J. Holzmann的文章“Mars Code”(2014年2月)演示了并发双端队列的非阻塞实现,它不通过Holzmann自己的Spin模型检查器的应用程序来工作。然而,示威……
CACM员工
9页
部门:BLOG@CACM
Mark Guzdial思考了为什么计算机教育落后于其他科学,而Daniel Reed则在权衡当前的研究需求与未来的不确定性之间的平衡。
马克·古兹戴尔,丹尼尔·里德
第10 - 11页
专栏:新闻
患者信息数据库最终将有助于改善健康结果,并支持新疗法的开发。
克里斯•爱德华兹
页13 - 15
随着应用程序的增加,对准确的即时或同声机器翻译的实际需求持续增长。
保罗·海曼
第16 - 19页
一项欧洲法律促使科学家开发能够预测化妆品毒性的计算模拟。
格里高利局部激素
第20 - 21页
专栏:技术战略和管理
评估快速发展的大规模开放在线课程领域。
michale
26页
列:全球计算
鼓励数字创新和发明在各种社会环境中蓬勃发展。
Michael l .最好
页-
专栏:Kode恶性
比特的意义和避免升级陷入困境。
乔治诉Neville-Neil
30 - 31页
专栏:观点
从分析我们的数字痕迹中寻求个性化的数据衍生见解。
黛博拉·埃斯特林
页面尺码
当前的通用多核硬件必须进行固定,以支持更多的应用程序域,并允许具有成本效益的并行编程。
乌兹冲锋枪Vishkin
页面35-39
部分:练习
互联网的边缘是一个不受约束的地方。
保罗使得
页面40-43
变得更好、更快、更便宜、更快乐。
伊瓦尔·雅各布森,吴潘伟,伊恩·斯彭斯,保罗·e·麦克马洪
页面44-50
与IP解耦后,TCP终于能够支持多主机。
Christoph Paasch, Olivier Bonaventure
页面51-57
部分:文章的贡献
来自MITx(现为edX)第一门课程——6.002x:电路与电子学——的学生参与数据揭示了MOOC学生的行为。
Daniel T. Seaton, Yoav Bergner, Isaac Chuang, Piotr Mitros, David E. Pritchard
58 - 65页
在计算证明助手的帮助下,形式验证可能成为数学精确性的新标准。
杰里米·阿维加德,约翰·哈里森
66 - 75页
Scala统一了传统的完全不同的编程语言哲学来开发新的组件和组件系统。
Martin Odersky, Tiark Rompf
76 - 86页
部分:评论文章
增强现实系统存在潜在的安全问题,应该在系统普及之前解决。
Franziska Roesner, Tadayoshi Kohno, David Molnar
88 - 96页
部分:研究亮点
Jacobson等人构造了一种变形方法,该方法允许广泛的手柄类型(点、线段、开多边形和闭多边形),并产生双谐函数的变形。
乔•沃伦
98页
改变物体的形状是计算机图形学中的一项基本操作。我们的目标是使变形的设计和控制更简单,允许用户自由地使用最方便的处理类型组合…
亚历克·雅各布森,伊利亚·巴兰,约万·波波维奇,奥尔加·索金-霍农
99 - 106页
专栏:最后一个字节
对一些人来说,数据收集总是比数据挖掘更有价值。
肯•麦克劳德
页112 - ff