缺少摘要。
- 无锁并发数据结构及其性能建模Philippas Tsigas公司.1-2 [美国国防部]
- 通用异步仲裁器斯坦尼斯拉夫斯·戈卢布科夫斯,安德烈·莫霍夫,亚历克斯·拜斯特罗夫,达尼尔·索科洛夫,亚历克斯·雅科夫列夫.3-12 [美国国防部]
- 反应性约束下发射装置飞行控制系统参数可调度性分析埃蒂安·安德烈,艾曼纽尔·科夸德,劳伦特·弗里堡,贾沃尔·杰瑞,大卫·莱森斯.13-22 [美国国防部]
- 基于符号观测图的并发系统并行验证希巴·乌尼,凯斯·克莱,Chiheb Ameur Abid公司,贝尔哈森·佐亚里.23-32 [美国国防部]
- 攻击故障树的参数分析埃蒂安·安德烈,迪迪埃·莱姆,马蒂亚斯·拉普拉森,玛丽埃尔·斯托琳加.33-42 [美国国防部]
- 披着狼皮的羊：数据流多线程软件的实现模型Keryan Didier公司,阿尔伯特·柯恩,杜米特鲁·波托普·布图卡鲁,阿德里安·高夫里亚乌.43-52 [美国国防部]
- 带有缓冲处理单元的公开数据路径体系结构的形式语义马库斯·安德斯,克劳斯·施耐德0001.53-62 [美国国防部]
- 在多核架构上具有可建模任务的流式程序中联合优化核心分配、映射和DVFS，以实现节能执行尼古拉斯·梅洛特,克里斯托夫·凯斯勒,帕特里克·艾奇伯格,约格·凯勒0001.63-72 [美国国防部]
- 部分订单上业务流程对齐的结构计算法博德·塔摩里,约塞普·卡莫纳.73-81 [美国国防部]
- 可变条件下决策感知过程模型的稳健性检验保罗·费尔利,马西米利亚诺·德莱奥尼,马尔科·蒙塔利.82-91 [美国国防部]
- 具有紧急性、可避免性和不可获利性的DES控制珍妮·卢克·贝切内克,迪迪埃·莱姆,奥利维尔·H·鲁.92-101 [美国国防部]