acm-header.
登入

ACM的通讯

研究档案


档案

该研究档案提供了对过去问题发表的所有研究文章的访问。

2009年7月


从ACM的通信

技术视角:终极试点计划

在一个场景中矩阵,人类抵抗的两个领导者被困在摩天大楼的屋顶上。唯一的逃生方式是通过直升机,也不能操作。人类迅速呼吁一个“飞行员计划”......


从ACM的通信

直升机控制学徒学习

直升机控制学徒学习

自主直升机飞行被广泛认为是一个高度挑战的控制问题。由于直升机具有高度不稳定并且具有复杂的动态行为,因此设计控制器是特别困难的......


从ACM的通信

技术视角:编译器的故事

在20世纪70年代初,像Floyd,Dijkstra这样的先驱者,并哈拉认为,应正式规定并证明是正确的。但在过去的40年里,大多数电脑......


从ACM的通信

正式验证一个现实编译器

本文报告了Compcert的开发和正式验证,来自Clight(C编程语言的大型子集)到PowerPC汇编代码的编译器,使用COQ验证助手进行编程...

Baidu
map