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的所有学科。