课题基金 / 基金详情

Distributed Algorithms

Distributed Algorithms
分布式算法
批准号:
8915206
负责人:
Nancy Lynch
金额:
$41.83万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1990
资助国家:
美国
项目状态:
已结题
起止时间:
1990-02-15 至 1993-07-31
关键词:

项目摘要

项目成果

Nancy Lynch的其他基金

相似基金

相关文献

中文摘要
翻译
这个项目涉及分布式计算中出现的问题的算法、不可能结果以及复杂性的上下限的开发。分布式共识、资源分配、无等待计算、静态和动态网络通信以及分布式数据库并发控制和恢复等特定领域。涉及时间的问题--例如,基于时间的算法的能力--是一个特别关注的问题。算法方面的工作预计将产生分布式和基于时间的系统的形式计算模型以及验证技术方面的辅助工作。
英文摘要
This project involves the development of algorithms, impossibility results, and upper and lower bounds on complexity, for problems arising in distributed computing. Specific areas of distributed consensus, resource allocation, wait-free computation, static and dynamic network communication, and distributed database concurrency control and recovery. Issues involving time - for example, the power of timing- based algorithms - are a particular focus. The work on algorithms is expected to yield supporting work on formal computation models for distributed and timing-based systems, and on verification techniques.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
AF: Small: An Algorithmic Theory of Brain Behavior: Concept Representation and Learning in Spiking Neural Networks
AF: Small: Distributed Algorithms for Dynamic, Noisy Platforms: Wireless Networks, Robot Swarms, and Insect Colonies
NSF-BSF: AF: Small: An Algorithmic Theory of Brain Networks
AF: Medium: Distributed Algorithms for Resource-Constrained and Dynamic Settings
海外基金