Parallel Evaluation of Logic Programs: The Reduce-or Process Model
Parallel Evaluation of Logic Programs: The Reduce-or Process Model
批准号:
8700988
负责人:
Laxmikant Kale
金额:
$16.31万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1987
资助国家:
美国
项目状态:
已结题
起止时间:
1987-05-15 至 1989-10-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
OAC Core: Small: Collaborative Research: Scalable distributed algorithms for tree structured astronomical data
-
批准号:1910428
-
项目类别:Standard Grant
-
资助金额:$35.0万
-
财政年份:2019
-
负责人:Laxmikant Kale
-
依托单位:
PREEVENTS Track 2: Collaborative Research: A Dynamic Unified Framework for Hurricane Storm Surge Analysis and Prediction Spanning across the Coastal Floodplain and Ocean
-
批准号:1855096
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2019
-
负责人:Laxmikant Kale
-
依托单位:
SI2-SSI: Collaborative Research: ParaTreet: Parallel Software for Spatial Trees in Simulation and Analysis
-
批准号:1550554
-
项目类别:Standard Grant
-
资助金额:$17.0万
-
财政年份:2016
-
负责人:Laxmikant Kale
-
依托单位:
Collaborative Research: CDS&E: Evolution of the High Redshift Galaxy and AGN Populations
-
批准号:1312913
-
项目类别:Standard Grant
-
资助金额:$9.0万
-
财政年份:2013
-
负责人:Laxmikant Kale
-
依托单位:
SI2-SSI: Collaborative Research: Scalable, Extensible, and Open Framework for Ground and Excited State Properties of Complex Systems
-
批准号:1339715
-
项目类别:Continuing Grant
-
资助金额:$238.32万
-
财政年份:2013
-
负责人:Laxmikant Kale
-
依托单位:
Simplifying Parallel Programming for CSE Applications using a Multi-Paradigm Approach
-
批准号:0833188
-
项目类别:Standard Grant
-
资助金额:$80.0万
-
财政年份:2008
-
负责人:Laxmikant Kale
-
依托单位:
CSR---SMA: BigSim: Performance Prediction for Petascale Machines and Applications
-
批准号:0720827
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Laxmikant Kale
-
依托单位:
Collaborative Research: Advanced Parallel Computing Techniques with Applications to Computational Cosmology
-
批准号:0205611
-
项目类别:Standard Grant
-
资助金额:$100.0万
-
财政年份:2002
-
负责人:Laxmikant Kale
-
依托单位:
NGS: Performance Modeling and Programming Environments for PetaFlop Computers and the Blue Gene Machine
-
批准号:0103645
-
项目类别:Continuing Grant
-
资助金额:$75.0万
-
财政年份:2001
-
负责人:Laxmikant Kale
-
依托单位:
The Chare Kernal Parallel Programming System
-
批准号:9106608
-
项目类别:Standard Grant
-
资助金额:$19.97万
-
财政年份:1991
-
负责人:Laxmikant Kale
-
依托单位:
Optimized and Compiled Parallel Execution of Logic Programs
-
批准号:8902496
-
项目类别:Standard Grant
-
资助金额:$16.63万
-
财政年份:1989
-
负责人:Laxmikant Kale
-
依托单位:
国内基金
海外基金
基于重要农地保护LESA(Land Evaluation and Site Assessment)体系思想的高标准基本农田建设研究
-
批准号:41340011
-
项目类别:专项基金项目
-
资助金额:20.0万元
-
批准年份:2013
-
负责人:钱凤魁
-
依托单位: