Collaborative Research: Mechanical Transformation of Knowledge to Libraries

协作研究：知识向图书馆的机械转化

• 批准号: 0850680
• 负责人: Matthew Knepley
• 金额: $ 9万
• 依托单位: University of Chicago
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-06-01 至 2012-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0850680&HistoricalAwards=false
• 关键词: Collaborative; Research; Mechanical; Transformation; Knowledge

The proposed project approaches the problem of library development by a fundamentally different approach -- one in which the knowledge abstractions at an appropriate level are represented and then this knowledge is converted into implementations optimized for different target platforms and circumstances. The primary intellectual merit here is the automation of high quality numerical code generation. The broader impact is that abstraction driven automation for library developers can significantly cut down the "software gap" -- delay between development of new architectures and new software that maximizes its use. The impact of this will be broad across all disciplines that use HPC.

拟议的项目通过一种根本不同的方法来解决库开发问题——其中表示适当级别的知识抽象，然后将这些知识转换为针对不同目标平台和环境优化的实现。这里的主要智力优点是高质量数字代码生成的自动化。更广泛的影响是，库开发人员的抽象驱动自动化可以显着缩小“软件差距”——新架构的开发与最大化其使用的新软件之间的延迟。其影响将遍及所有使用 HPC 的学科。