New paradigms ro exploit parallelism in modeling and simulation of heterogeneous systems

在异构系统建模和仿真中利用并行性的新范例

• 批准号: 861-2009
• 负责人: Aboulhamid, ElMostapha
• 金额: $ 3.86万
• 依托单位: Université de Montréal
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2011
• 资助国家: 加拿大
• 起止时间: 2011-01-01 至 2012-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=473388
• 关键词: New; paradigms; ro; exploit; parallelism

Specification, modeling, simulation and verification constitute essential and interrelated steps in any system design flow. The fact that the systems are more and more heterogeneous makes simulation more time consuming and necessitates complex and very powerful systems to run on. Acceleration mechanisms have to be explored and parallel programming paradigms such as transactional memories or atomic actions have to be used to provide a paradigm shift in order to efficiently verify and simulate such heterogeneity and complexity.

规范、建模、仿真和验证是任何系统设计流程中必不可少且相互关联的步骤。事实上，系统的异构性越来越强，这使得仿真更加耗时，并且需要运行复杂且功能非常强大的系统。必须探索加速机制，并且必须使用诸如事务存储器或原子动作之类的并行编程范例来提供范式转换，以便有效地验证和模拟这种异构性和复杂性。