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
-
负责人:张青鵾
-
依托单位: