ACM通信
关于ACM的未来
ACM必须如何重组其投资组合，以及支持它的商业模式，以保持相关和可行的未来?所在部门:从总统开始
重论公地悲剧
虽然互联网创建的公共区域不需要被限制，但它是一个共享的环境，必须为其用户的利益加以保护。所属部门:《致编辑的信》
深度责任，超越责任
我是一名科罗拉多州的注册专业工程师，其实践领域是软件，并发现没有理由不同意Vinton G. Cerf的“来自总统”社论(2013年7月)的前半段。下半场……部门:BLOG@CACM
帮助科学家和工程师的工作速度提高100倍
Philip Guo解释了编程技能如何让科学家和工程师更高效、更有创造力。专栏:新闻
了解石墨烯
新的超高速无线天线可能即将问世，但现在还不要扔掉你的旧无线路由器。让电子产品的互联网安全
计划更倾向于直接连接、命名资源和加密。软件帮助语言学家重建，破译古代语言
曾经花费整个职业生涯重建一个主要语言家族的语言学家现在可以在几个小时内完成。艾伦·图灵之年留下了丰富的遗产
这是对被许多人称为计算机科学之父的人的生活和工作的一年的庆祝。专栏:技术战略和管理
评估创业公司
考虑成功创业的关键因素。专栏:软件行业
当快变慢
现代工具的速度可能会减慢发展速度。专栏:Kode恶性
主机的命名是一件困难的事情
此外，过早重启的风险。列:内部风险
医疗设备软件网络安全风险控制
医疗设备黑客是在转移注意力。但缺陷是真实存在的。专栏:观点
除了效率
对效率的尊重应该与对稳健的尊重相调和。部分:练习
野蛮人在入口处
专门介绍高频交易和交易技术的章节。高频交易中的在线算法
相互竞争的高频交易算法面临的挑战。被动测量TCP的往返时间
近距离观察传输控制协议的往返时间测量。部分:文章的贡献
实现论证网
通过连接博客、社论和社交媒体的观点来改善在线公共话语。计算机科学研究趋势
ACM数字图书馆和IEEE Xplore数字图书馆中的关键字以及美国国家科学基金会赠款预测未来CS研究。部分:评论文章
《构建量子计算机的蓝图
量子计算机架构是构建商业可行系统的关键。部分:研究亮点
技术角度:我们能验证信息物理系统吗?
开发有效的离散模拟混合模型的符号验证技术已被证明是一个具有挑战性的问题。Althoff等人的以下论文报告了这一探索的一个重要里程碑。使用可达性分析和延续的锁相环形式化验证
我们提出了一种可扩展和形式化的技术来验证电荷泵锁相环的锁相时间和稳定性。专栏:最后一个字节
