ACM通信
研究档案
研究档案提供对ACM通信过去几期发表的所有研究文章的访问。
2012年12月
选自ACM通信
技术视角:高级数据结构
这种将数据结构思维提升到关系级别的做法长期以来一直激励着计算机科学家。在“数据表示合成导论”中，作者的目标是将数据结构编程提升到关系…
选自ACM通信
数据表示综合导论
我们考虑了以一种声明性的方式指定具有复杂共享的数据结构组合的问题，这种方式的结果是可证明的正确代码。
选自ACM通信
自然算法和影响系统
算法为数值模拟奠定了基础，更重要的是，它为数值模拟的分析提供了一个强大的框架。自然算法的新领域可能会在生命科学中重现微分方程长期以来的作用。
选自ACM通信
技术视角:网络世界中的自然算法
鸟是如何群居的，鱼是如何成群的?在一个社交网络中的个体如何达成一致，即使他们通常只受其他志同道合的个体的影响?一个人怎么能把一群机器人设计得像……