ACM通信
实践存档
Practice档案提供了对ACM通信过去几期中发表的所有Practice文章的访问。
2011年10月
选自ACM通信
硬件系统设计中的抽象
使用Bluespec SystemVerilog将软件语言的经验应用到硬件语言中。
选自ACM通信
安全关键软件的验证
航电软件安全认证是通过基于目标的标准来实现的。
选自ACM通信
LINQ的世界
大数据不仅仅关乎规模，而LINQ也能胜任这一任务。