机译:优化代码1的翻译和运行时验证1该研究得到了NSF资助CCR-0098299,ONR资助N00014-99-1-0131和John von Neumann Minerva反应堆系统验证中心的部分支持。
机译:电力系统中基于分散型鲁棒逆变器的控制
机译:VOC用于优化编译器的翻译验证器11这项研究得到了NSF资助CCR-0098299,ONR资助N00014-99-1-0131和密涅瓦反应堆验证中心的部分支持,这是英特尔提供的礼物,德国-以色列科学研究基金会和发展。