课题基金 / 基金详情

Correctness and Modularity in Asychronous Systems

Correctness and Modularity in Asychronous Systems
异步系统的正确性和模块化
批准号：
7403520
负责人：
Arthur Bernstein
金额：
$8.5万
依托单位：
SUNY at Stony Brook
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1974
资助国家：
美国
项目状态：
已结题
起止时间：
1974-06-01 至 1976-11-30
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=7403520&HistoricalAwards=false
关键词：
CorrectnessModularityAsychronousSystems

项目摘要

项目成果

Arthur Bernstein的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
High Performance Transaction Systems Using Transaction Semantics
  • 批准号：
    9402415
  • 项目类别：
    Standard Grant
  • 资助金额：
    $20.0万
  • 财政年份：
    1994
  • 负责人：
    Arthur Bernstein
  • 依托单位：
    SUNY at Stony Brook
High Throughput Distributed Database Systems
  • 批准号：
    9101524
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $16.96万
  • 财政年份：
    1991
  • 负责人：
    Arthur Bernstein
  • 依托单位：
    SUNY at Stony Brook
Synchronization in Concurrent Algorithms
  • 批准号：
    8901966
  • 项目类别：
    Standard Grant
  • 资助金额：
    $17.78万
  • 财政年份：
    1989
  • 负责人：
    Arthur Bernstein
  • 依托单位：
    SUNY at Stony Brook
Asynchronous Algorithms and Concurrency Control
  • 批准号：
    8701671
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $15.45万
  • 财政年份：
    1987
  • 负责人：
    Arthur Bernstein
  • 依托单位：
    SUNY at Stony Brook
海外基金