Prototyping Parallel Algorithms
Prototyping Parallel Algorithms
批准号:
9007195
负责人:
Gul Agha
金额:
$66.7万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1990
资助国家:
美国
项目状态:
已结题
起止时间:
1990-08-01 至 1995-01-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
This research investigates theoretical and practical issues in the design and evaluation of parallel algorithms, and involves cooperative work in theory and systems. The project ideally has four objectives. First, to develop a high level language for expressing parallel algorithms such that there is a natural correspondence between algorithmic concepts and programming language constructs and an algorithm can be expressed without forcing a serialization. Second, to study and develop techniques for mapping algorithms expressed in this high level notation to various architectures subject to simple user specified constraints. Third, to study instrumentation techniques for monitoring an algorithm's runtime behaviour on a given architecture. Fourth, to investigate issues related to giving high level visual feedback to the user on the performance of implementation of his or her algorithm on a specific architecture. These will set up an interactive loop between the user and the system that will enable rapid design and prototyping of parallel algorithms.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Design and Inference of Choreography Types to Reduce Concurrency Programming Errors
-
批准号:1617401
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2016
-
负责人:Gul Agha
-
依托单位:
XPS: FULL: FP: Collaborative Research: Model-based, Event Driven Scalable Programming for the Mobile Cloud
-
批准号:1438982
-
项目类别:Standard Grant
-
资助金额:$66.67万
-
财政年份:2014
-
负责人:Gul Agha
-
依托单位:
CPS: Medium: Collaborative Research: Cyber-Physical Co-Design of Wireless Monitoring and Control for Civil Infrastructure
-
批准号:1035562
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2010
-
负责人:Gul Agha
-
依托单位:
CSR---SMA: Dynamic Analysis and Control for Robust Scalable Open Distributed Systems
-
批准号:0509321
-
项目类别:Continuing Grant
-
资助金额:$70.0万
-
财政年份:2005
-
负责人:Gul Agha
-
依托单位:
Abstracting Component Interactions to Support Distributed Software Architectures
-
批准号:9619522
-
项目类别:Standard Grant
-
资助金额:$17.5万
-
财政年份:1997
-
负责人:Gul Agha
-
依托单位:
Efficient Implementation of Dynamic Parallel Programs
-
批准号:9523253
-
项目类别:Standard Grant
-
资助金额:$14.97万
-
财政年份:1996
-
负责人:Gul Agha
-
依托单位:
Collaborative Research: Reasoning About Open Systems
-
批准号:9312495
-
项目类别:Standard Grant
-
资助金额:$7.17万
-
财政年份:1995
-
负责人:Gul Agha
-
依托单位:
Object-Based Concurrent Programming: A Workshop Proposal Submitted to the NSF to be held Sept 25-26, 1988 in San Diego, California
-
批准号:8814055
-
项目类别:Standard Grant
-
资助金额:$0.63万
-
财政年份:1988
-
负责人:Gul Agha
-
依托单位:
国内基金
海外基金
强流低能加速器束流损失机理的Parallel PIC/MCC算法与实现
-
批准号:11805229
-
项目类别:青年科学基金项目
-
资助金额:27.0万元
-
批准年份:2018
-
负责人:张青鵾
-
依托单位: