首页>外文会议>其他>Proceedings of the 2010 ACM international conference on ada and related technologies.

Proceedings of the 2010 ACM international conference on ada and related technologies.

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Extending Ada to Support Multi-core Based Monitoring and Fault Tolerance

机译：扩展Ada以支持基于多核的监视和容错
- 作者：You Li;Lu Yang;Lei Bu;Linzhang Wang;Jiaphua Zhao;Xuandong Li
- 会议名称：《Proceedings of the 2010 ACM international conference on ada and related technologies.》 | 2010年
- multi-core;
- monitoring-oriented programming;
- software fault tolerance;
2.'Unmanned Systems and Ada'

机译：“无人系统和Ada”
- 作者：Richard Weatherly
- 会议名称：《Proceedings of the 2010 ACM international conference on ada and related technologies.》 | 2010年
- ada;
- autonomous systems;
- robotics;
3.Experience Report: Ada Java Integration in the FAA's ERAM SWIM Program

机译：经验报告：FAA的ERAM SWIM程序中的Ada和Java集成
- 作者：Richard B. Schmidt
- 会议名称：《Proceedings of the 2010 ACM international conference on ada and related technologies.》 | 2010年
- multi-language integration;
- virtual machine vs. binding;
4.Wouldn't it be Nice to have Software Labels?

机译：有软件标签不是很好吗？
- 作者：Elizabeth Fong;Paul E. Black;Richard F. Leslie;Simson Garfinkel;Larry Wagoner;Gary McGraw;Jeff Williams
- 会议名称：《Proceedings of the 2010 ACM international conference on ada and related technologies.》 | 2010年
- software facts;
- software labels;
- security data sheets;
- trustworthy system;
- transparency;
- provenance;
- pedigree;
5.Unmanned Systems with Ada and RTEMS

机译：带有Ada和RTEMS的无人系统
- 作者：Cindy Cicalese;Ricky Sward;Richard Weatherly;Joel Sherrill
- 会议名称：《Proceedings of the 2010 ACM international conference on ada and related technologies.》 | 2010年
- design;
- languages;
6.A Deterministic Run-Time Environment for Ada-05 on the ATmega16 Microcontroller

机译：ATmega16微控制器上Ada-05的确定性运行时环境
- 作者：Jim Ras;Albert M. K. Cheng
- 会议名称：《Proceedings of the 2010 ACM international conference on ada and related technologies.》 | 2010年
- ATmega 16;
- ADA;
- RTL;
7.Ada for Parallel, Embedded, and Real-Time Applications

机译：适用于并行，嵌入式和实时应用程序的Ada
- 作者：John W. McCormick
- 会议名称：《Proceedings of the 2010 ACM international conference on ada and related technologies.》 | 2010年
- performance;
- design;
- languages;
8.Designing Real-Time, Concurrent, and Embedded Software Systems Using UML and Ada

机译：使用UML和Ada设计实时，并发和嵌入式软件系统
- 作者：Robert G. Pettit IV
- 会议名称：《Proceedings of the 2010 ACM international conference on ada and related technologies.》 | 2010年
- design;
- languages;
9.Towards Ada 2012: An Interim Report

机译：迈向Ada 2012：中期报告
- 作者：Edmond Schonberg
- 会议名称：《Proceedings of the 2010 ACM international conference on ada and related technologies.》 | 2010年
- ada;
- ada 2005;
- ada 2012;
10.The Rise, Fall and Persistence of Ada

机译：艾达的兴衰与坚守
- 作者：Ricky E. Sward
- 会议名称：《Proceedings of the 2010 ACM international conference on ada and related technologies.》 | 2010年
- ada programming language;
- history of ada;
- safety critical;
- high integrity;
11.Real-Time System Development in Ada using LEGO® Mindstorms® NXT

机译：使用LEGO®Mindstorms®NXT在Ada中进行实时系统开发
- 作者：Peter J. Bradley;Juan A. de la Puente;Juan Zamorano
- 会议名称：《Proceedings of the 2010 ACM international conference on ada and related technologies.》 | 2010年
- real-time embedded systems education;
- ada;
- ravenscar;
- LEGO® Mindstorms®;
12.Parallelism Generics for Ada 2005 and Beyond

机译：Ada 2005及更高版本的并行通用
- 作者：Brad J. Moore
- 会议名称：《Proceedings of the 2010 ACM international conference on ada and related technologies.》 | 2010年
- ada 2005;
- work-seeking;
- work-stealing;
- work-sharing;
- multi-core;
- hyper-threads;
13.A Methodology for Avoiding Known Compiler Problems Using Static Analysis

机译：一种使用静态分析避免已知编译器问题的方法
- 作者：Mamdouh Jemli;Jean-Pierre Rosen
- 会议名称：《Proceedings of the 2010 ACM international conference on ada and related technologies.》 | 2010年
- ada;
- safety high reliability systems;
- ada 2005;
- static analysis;
- AdaControl;
14.Systems Software Integrity Assurance

机译：系统软件完整性保证
- 作者：Chris Lane
- 会议名称：《Proceedings of the 2010 ACM international conference on ada and related technologies.》 | 2010年
- software assurance;
- software integrity;
- air traffic management;
- FAA;
- system safety;
- process;
15.Use of Object Oriented Technologies in High Reliability Systems

机译：面向对象技术在高可靠性系统中的使用
- 作者：Jean-Pierre Rosen
- 会议名称：《Proceedings of the 2010 ACM international conference on ada and related technologies.》 | 2010年
- design;
- reliability;
- verification;
16.Effective Requirements Engineering

机译：有效需求工程
- 作者：William Bail
- 会议名称：《Proceedings of the 2010 ACM international conference on ada and related technologies.》 | 2010年
- documentation;
- management.;