Programming Methodology for Multi-Core Concurrency and Adaptation

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

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

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