Programming Methodology for Multi-Core Concurrency and Adaptation

多核并发与适配的编程方法论

• 批准号: 203416-2012
• 负责人: Sekerinski, Emil
• 金额: $ 1.02万
• 依托单位: McMaster University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2013
• 资助国家: 加拿大
• 起止时间: 2013-01-01 至 2014-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=523453
• 关键词: Programming; Methodology; Multi; Core; Concurrency

Today's software-intensive systems range from mobile devices to products with embedded software to worldwide-networked systems. As we become increasingly dependent on software, the reliability of software is of increasing concern to society. Our long-term goal is the ideal of "correct software". The contributions of this project are making the design and evolution of software more reliable by addressing two issues: concurrency and adaptation.

当今的软件密集型系统从移动设备到具有嵌入式软件的产品，再到全球网络的系统。随着我们越来越依赖软件，软件的可靠性越来越多地关注社会。我们的长期目标是“正确软件”的理想。该项目的贡献是通过解决两个问题来使软件的设计和演变更加可靠：并发和适应。