Primitives For Distributed Computing
Primitives For Distributed Computing
批准号:
7923769
负责人:
Barbara Liskov
金额:
$0.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1980
资助国家:
美国
项目状态:
已结题
起止时间:
1980-06-01 至 1982-11-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
CSR: Medium: Collaborative Research: Fast and Simple Concurrency Through Data-Abstraction Transactions
-
批准号:1513447
-
项目类别:Standard Grant
-
资助金额:$22.66万
-
财政年份:2015
-
负责人:Barbara Liskov
-
依托单位:
CSR-DMSS, SM: Aeolus: Secure Support for Preserving Confidentiality and Integrity in a Distributed Environment
-
批准号:0834239
-
项目类别:Continuing Grant
-
资助金额:$42.0万
-
财政年份:2008
-
负责人:Barbara Liskov
-
依托单位:
ITR: Collaborative Research: (ASE+NHS) - (int): BFT-LS: Byzantine Fault Tolerance for Large-Scale, High-Performance Distributed Storage Systems
-
批准号:0428107
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Barbara Liskov
-
依托单位:
Understanding Degrees of Isolation
-
批准号:9802066
-
项目类别:Standard Grant
-
资助金额:$25.5万
-
财政年份:1998
-
负责人:Barbara Liskov
-
依托单位:
Support for Data Sharing in a Heterogeneous Distributed System.
-
批准号:8822158
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:1989
-
负责人:Barbara Liskov
-
依托单位:
Issues in Fault-Tolerent Distributed Programs
-
批准号:8503662
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:1986
-
负责人:Barbara Liskov
-
依托单位:
Issues in Fault-Tolerant Distributed Programs (Computer Research)
-
批准号:8203486
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:1982
-
负责人:Barbara Liskov
-
依托单位:
Semantic Foundations For Structured Programming
-
批准号:7421892
-
项目类别:Standard Grant
-
资助金额:$25.44万
-
财政年份:1975
-
负责人:Barbara Liskov
-
依托单位:
国内基金
海外基金
Graphon mean field games with partial observation and application to failure detection in distributed systems
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:MATHIEULOUROCHLAURIERE
-
依托单位: