课题基金 / 基金详情

PYI: Resource Bounds and Parallel Computation.

PYI: Resource Bounds and Parallel Computation.
PYI:资源界限和并行计算。
批准号:
8858799
负责人:
Paul Beame
金额:
$27.45万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1988
资助国家:
美国
项目状态:
已结题
起止时间:
1988-08-01 至 1995-01-31

项目摘要

项目成果

Paul Beame的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
This research has two aspects: proving lower bounds on the resources needed to solve problems and finding algorithms which meet those resource bounds. A major focus of this research is on how various features of parallel models affect the resources needed for performing computations. Large shared-memory machines are likely to be implemented on processor interconnection networks and this implementation suggests shared-memory models with even more powerful primitive operations than those of the machines previously studied - primitive operations like unbounded fan- in threshold functions and other unbounded fan-in associative operations. Under investigation are the limitations and capabilities of these more powerful machines which have recently been proposed as very useful abstractions of large parallel computers. There still are a number of very basic computational problems such as division, connectivity, and transitive closure for which parallel algorithms exist but whose parallel complexity is not clearly understood. It is particularly important to improve the resource usage for these basic problems because the algorithms for solving them underlie the parallel algorithms for many more complex problems.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
AF: Small: Complexity of Representations for Inference
  • 批准号:
    2006359
  • 项目类别:
    Standard Grant
  • 资助金额:
    $35.0万
  • 财政年份:
    2020
  • 负责人:
    Paul Beame
  • 依托单位:
SHF: Small: Efficient Verification of Nonlinear Arithmetic
  • 批准号:
    1714593
  • 项目类别:
    Standard Grant
  • 资助金额:
    $45.0万
  • 财政年份:
    2017
  • 负责人:
    Paul Beame
  • 依托单位:
AF: Small: Communication and Resource Tradeoffs
  • 批准号:
    1524246
  • 项目类别:
    Standard Grant
  • 资助金额:
    $40.0万
  • 财政年份:
    2015
  • 负责人:
    Paul Beame
  • 依托单位:
AF: Small:Tradeoffs among Measures in Computational and Proof Complexity
  • 批准号:
    1217099
  • 项目类别:
    Standard Grant
  • 资助金额:
    $44.0万
  • 财政年份:
    2012
  • 负责人:
    Paul Beame
  • 依托单位:
海外基金