Scalable Parallel Implementations of Declarative Programming Languages
声明性编程语言的可扩展并行实现
基本信息
- 批准号:9502826
- 负责人:
- 金额:$ 18.07万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:1995
- 资助国家:美国
- 起止时间:1995-06-01 至 1999-05-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This project will develop compilation and implementation techniques for declarative programming languages on distributed memory architectures. The project consists of three parts. First, it will develop compile- time techniques for cost analysis of mess\-age- passing implementations of declarative languages. Second, it will develop and implement algorithms for granularity control and task partitioning of languages with fine- grained implicit concurrency on distributed memory systems. Finally, the project will develop compile- time and runtime techniques for efficient execution of declarative languages in the context of multi-level memory hierarchies.
这个项目将为分布式内存架构上的声明式编程语言开发编译和实现技术。 该项目包括三个部分。 首先,它将开发用于声明性语言的混乱传递实现的成本分析的编译时技术。 其次,它将开发和实现分布式内存系统上具有细粒度隐式并发的语言的粒度控制和任务划分算法。 最后,这个项目将开发编译时和运行时技术,以便在多级内存层次结构的上下文中有效地执行声明性语言。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Saumya Debray其他文献
Saumya Debray的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Saumya Debray', 18)}}的其他基金
SaTC: CORE: Small: Reasoning about dependencies and information flow in dynamic code
SaTC:核心:小:动态代码中依赖关系和信息流的推理
- 批准号:
1908313 - 财政年份:2019
- 资助金额:
$ 18.07万 - 项目类别:
Standard Grant
TWC: Small: Understanding Anti-Analysis Defenses in Malicious Code
TWC:小:了解恶意代码中的反分析防御
- 批准号:
1525820 - 财政年份:2015
- 资助金额:
$ 18.07万 - 项目类别:
Standard Grant
TC: Small: Simplification of Obfuscated Executables
TC:小:模糊可执行文件的简化
- 批准号:
1115829 - 财政年份:2011
- 资助金额:
$ 18.07万 - 项目类别:
Standard Grant
SHF: Small: Reverse Engineering Obfuscated Executables
SHF:小型:逆向工程混淆的可执行文件
- 批准号:
1016058 - 财政年份:2010
- 资助金额:
$ 18.07万 - 项目类别:
Standard Grant
A Holistic Approach to Compiler-Assisted Optimization of Software Systems
软件系统编译器辅助优化的整体方法
- 批准号:
0410918 - 财政年份:2004
- 资助金额:
$ 18.07万 - 项目类别:
Standard Grant
ITR/SY (CISE): Software Improvement Through Binary Rewriting
ITR/SY (CISE):通过二进制重写改进软件
- 批准号:
0113633 - 财政年份:2001
- 资助金额:
$ 18.07万 - 项目类别:
Continuing Grant
Compiler Techniques for Code Compression
代码压缩的编译器技术
- 批准号:
0073394 - 财政年份:2000
- 资助金额:
$ 18.07万 - 项目类别:
Continuing Grant
Optimizing Program Performance at Link and Run-Time
优化链接和运行时的程序性能
- 批准号:
9720738 - 财政年份:1998
- 资助金额:
$ 18.07万 - 项目类别:
Standard Grant
Low Level Aspects of Partial Evaluation and Program Specialization
部分评估和项目专业化的低层次方面
- 批准号:
9711166 - 财政年份:1997
- 资助金额:
$ 18.07万 - 项目类别:
Standard Grant
U.S.-E.C. Cooperative Research: Collaborative Research on Analysis and Implementation of Concurrent Constraint Programming
美国-欧洲委员会
- 批准号:
9414105 - 财政年份:1995
- 资助金额:
$ 18.07万 - 项目类别:
Standard Grant
相似国自然基金
强流低能加速器束流损失机理的Parallel PIC/MCC算法与实现
- 批准号:11805229
- 批准年份:2018
- 资助金额:27.0 万元
- 项目类别:青年科学基金项目
相似海外基金
Efficiency in parallel implementations of lazy languages
惰性语言并行实现的效率
- 批准号:
155967-1997 - 财政年份:2000
- 资助金额:
$ 18.07万 - 项目类别:
Discovery Grants Program - Individual
Efficiency in parallel implementations of lazy languages
惰性语言并行实现的效率
- 批准号:
155967-1997 - 财政年份:1999
- 资助金额:
$ 18.07万 - 项目类别:
Discovery Grants Program - Individual
Efficiency in parallel implementations of lazy languages
惰性语言并行实现的效率
- 批准号:
155967-1997 - 财政年份:1998
- 资助金额:
$ 18.07万 - 项目类别:
Discovery Grants Program - Individual
CISE Research Instrumentation: Parallel and Distributed Constraint Programming Systems on Multiprocessor PCs: Implementations and Applications
CISE 研究仪器:多处理器 PC 上的并行和分布式约束编程系统:实现和应用
- 批准号:
9729848 - 财政年份:1998
- 资助金额:
$ 18.07万 - 项目类别:
Standard Grant
Efficiency in parallel implementations of lazy languages
惰性语言并行实现的效率
- 批准号:
155967-1997 - 财政年份:1997
- 资助金额:
$ 18.07万 - 项目类别:
Discovery Grants Program - Individual
Digital signal and image processing algorithms and their sequential and parallel implementations
数字信号和图像处理算法及其顺序和并行实现
- 批准号:
1684-1993 - 财政年份:1996
- 资助金额:
$ 18.07万 - 项目类别:
Discovery Grants Program - Individual
Digital signal and image processing algorithms and their sequential and parallel implementations
数字信号和图像处理算法及其顺序和并行实现
- 批准号:
1684-1993 - 财政年份:1995
- 资助金额:
$ 18.07万 - 项目类别:
Discovery Grants Program - Individual
Digital signal and image processing algorithms and their sequential and parallel implementations
数字信号和图像处理算法及其顺序和并行实现
- 批准号:
1684-1993 - 财政年份:1994
- 资助金额:
$ 18.07万 - 项目类别:
Discovery Grants Program - Individual
Digital signal and image processing algorithms and their sequential and parallel implementations
数字信号和图像处理算法及其顺序和并行实现
- 批准号:
1684-1993 - 财政年份:1993
- 资助金额:
$ 18.07万 - 项目类别:
Discovery Grants Program - Individual
Parallel Computational Geometry Algorithms and Implementations
并行计算几何算法和实现
- 批准号:
9102553 - 财政年份:1991
- 资助金额:
$ 18.07万 - 项目类别:
Standard Grant