...
机译:霍尼韦尔国际荣获亚伯拉姆斯虎硬件合同修改
机译:霍尼韦尔国际奖授予的ABRAMS虎牌硬件合同修改
机译:美国军队奖GDLS $ 137万溴溴斯支持合同修改
机译:美国陆军奖GDLS $ 230万溴溴铁斯生产设施合同
机译:IFIP国际计算机硬件描述语言及其应用大会最佳论文奖1995(HDL 95)
机译:中小企业获得公共采购合同奖
机译:韦伯·米勒(Webb Miller)和特里·艾德克(Trey Ideker)荣获国际计算生物学学会颁发的2009年国际最佳生物信息学奖
机译:密集实时系统的谓词抽象11这项研究得到了美国国家科学基金会(CCR-00-82560和CCR-00-86096)的支持,以及NASA Langley研究中心的B09060051合同和与霍尼韦尔明尼阿波利斯的合作协议NCC-1-399的支持。大部分研究是在第一作者于2001年7月/ 8月访问SRI International时进行的。