多核设计空间探索的形式化与非形式化方法
Formal and Informal Methods for Multi-Core Design Space Exploration
摘要：
我们提出了一个工具支持的方法，为嵌入式系统的设计空间探索。它提供了定义应用程序和多处理器架构的高级模型的方法，并在考虑不确定性的同时评估不同部署（映射，调度）策略的性能。我们认为，这种形式化验证的范围的扩展是重要的域的可行性。
英文摘要：
We propose a tool-supported methodology for design-space exploration for embedded systems. It provides means to define high-level models of applications and multi-processor architectures and evaluate the performance of different deployment (mapping, scheduling) strategies while taking uncertainty into account. We argue that this extension of the scope of formal verification is important for the viability of the domain.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
