ACM的通信
练习档案
该实践档案提供了对ACM沟通过去发表的所有实践文章的访问权限。
2010年2月
来自ACM的通信
发电的软件
可以操纵的硬件可以帮助节省能源，但是软件开发人员可以做些什么来解决该问题？
来自ACM的通信
管理多发处理器上共享资源的争议
可以通过争夺感知的调度算法来简化缓存，内存控制器和互连的争议。
来自ACM的通信
软件模型检查起飞
翻译框架可以在复杂的航空电子系统和其他工业设置中使用模型检查。