International Workshop on Real-Time Systems: Iowa City, Iowa: November 1-3, 1993

实时系统国际研讨会：爱荷华州爱荷华市：1993 年 11 月 1-3 日

• 批准号: 9313858
• 负责人: Teodor Rus
• 金额: $ 1万
• 依托单位: University of Iowa
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1993
• 资助国家: 美国
• 起止时间: 1993-12-15 至 1995-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9313858&HistoricalAwards=false
• 关键词: International; Workshop; Real; Time; Systems

9313858 Rus This proposal is for the first of a series of international workshops on algebraic methods and real-time systems in cooperation with the Algebraic Methods and Software Technology(AMAST) conferences. This workshop would be hosted in the United States to foster collaboration in this research area among US, Canadian, and ESPRIT computer scientists. The goals of the workshop are to provide a forum for bringing together practitioners in real-time systems development and theoreticians in algebraic methods, to develop directions for the unification of these fields, and to integrate the software development practices. The results of this workshop are expected to contribute to progress in algebraic methods for real-time and computer controlled systems. Support for this workshop will ensure publication and distribution of the workshop results.

9313858 Rus 该提案是与代数方法和软件技术 (AMAST) 会议合作举办的代数方法和实时系统系列国际研讨会中的第一个。 该研讨会将在美国举办，以促进美国、加拿大和 ESPRIT 计算机科学家之间在该研究领域的合作。 研讨会的目标是提供一个论坛，将实时系统开发的实践者和代数方法的理论家聚集在一起，为这些领域的统一制定方向，并整合软件开发实践。 本次研讨会的结果预计将有助于实时和计算机控制系统的代数方法的进展。 对本次研讨会的支持将确保研讨会结果的出版和分发。