PYI: Resource Bounds and Parallel Computation.
PYI: Resource Bounds and Parallel Computation.
批准号:
8858799
负责人:
Paul Beame
金额:
$27.45万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1988
资助国家:
美国
项目状态:
已结题
起止时间:
1988-08-01 至 1995-01-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
依托单位:
AF: Large: Collaborative Research: Reliable Quantum Communication and Computation in the Presence of Noise
-
批准号:1111382
-
项目类别:Continuing Grant
-
资助金额:$128.63万
-
财政年份:2011
-
负责人:Paul Beame
-
依托单位:
Travel Support for IEEE Symposium on Foundations of Computer Science (FOCS 2011)
-
批准号:1147364
-
项目类别:Standard Grant
-
资助金额:$1.2万
-
财政年份:2011
-
负责人:Paul Beame
-
依托单位:
Travel Support for the Symposium on Foundations of Computer Science (FOCS 2010)
-
批准号:1049485
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2010
-
负责人:Paul Beame
-
依托单位:
AF: Small: Graph Isomorphism and Quantum Random Walks by Anyons
-
批准号:0916400
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2009
-
负责人:Paul Beame
-
依托单位:
Semi-algebraic complexity and models for massive data set processing
-
批准号:0830626
-
项目类别:Continuing Grant
-
资助金额:$41.45万
-
财政年份:2008
-
负责人:Paul Beame
-
依托单位:
Communication Complexity, Proof Complexity, and Approximation
-
批准号:0514870
-
项目类别:Continuing Grant
-
资助金额:$20.0万
-
财政年份:2005
-
负责人:Paul Beame
-
依托单位:
ITR: Inference in AI, Verification, and Theory: A Unified Approach
-
批准号:0219468
-
项目类别:Continuing Grant
-
资助金额:$49.0万
-
财政年份:2002
-
负责人:Paul Beame
-
依托单位:
Lower Bounds for Time-space Tradeoffs, Data Structures, and Proof Complexity
-
批准号:0098066
-
项目类别:Standard Grant
-
资助金额:$29.7万
-
财政年份:2001
-
负责人:Paul Beame
-
依托单位:
Computational and Proof Complexity Bounds
-
批准号:9800124
-
项目类别:Standard Grant
-
资助金额:$21.3万
-
财政年份:1998
-
负责人:Paul Beame
-
依托单位:
Computational Complexity Lower Bounds
-
批准号:9303017
-
项目类别:Continuing Grant
-
资助金额:$19.32万
-
财政年份:1994
-
负责人:Paul Beame
-
依托单位:
海外基金