课题基金 / 基金详情

Konsens-Algorithmen für verteilte Systeme

Konsens-Algorithmen für verteilte Systeme
分布式系统的共识算法
批准号：
5217164
负责人：
Professor Dr. Wolfgang Reisig
金额：
$0.0万
依托单位：
Institut für Informatik
依托单位国家：
德国
项目类别：
Research Grants
财政年份：
1995
资助国家：
德国
项目状态：
已结题
起止时间：
1994-12-31 至 2001-12-31
来源：
https://gepris.dfg.de/gepris/projekt/5217164?language=en
关键词：
KonsensAlgorithmenverteilteSysteme

项目摘要

项目成果

Professor Dr. Wolfgang Reisig的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Die Korrektheit vieler felertoleranter verteilter Algorithmen, darunter vieler Konsensalgorithmen, hängt von schwachen "Synchronieannahmen" ab. Im Projekt wird eine neue Technik ausgearbeitet und erprobt, mit der solche Algorithmen verifiziert werden können. Diese Technik ist einfacher als existierende, so daß die Verifikation komplexerer Algorithmen möglich wird. "Redundanz" ist einerseits unverzichtbare Eigenschaft, andererseits entscheidender Kostenfaktor fehlertoleranter Systeme. Im Projekt soll bestimmt werden, wieviel Redundanz zur Lösung zentraler Fehlertoleranzprobleme nötig ist.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Certifying Algorithms for Interactive Components and Distributed Systems
  • 批准号：
    261369405
  • 项目类别：
    Research Grants
  • 资助金额：
    $0.0万
  • 财政年份：
    2014
  • 负责人：
    Professor Dr. Wolfgang Reisig
  • 依托单位：
    Institut für Informatik
Automatische Synthese von Verhaltensadaptern zwischen Services
  • 批准号：
    57095390
  • 项目类别：
    Research Grants
  • 资助金额：
    $0.0万
  • 财政年份：
    2008
  • 负责人：
    Professor Dr. Wolfgang Reisig
  • 依托单位：
    Institut für Informatik
Austauschbarkeit von Services
  • 批准号：
    30573505
  • 项目类别：
    Research Grants
  • 资助金额：
    $0.0万
  • 财政年份：
    2006
  • 负责人：
    Professor Dr. Wolfgang Reisig
  • 依托单位：
    Institut für Informatik
Die Ausdruckskraft von Abstract State Machines
  • 批准号：
    5450692
  • 项目类别：
    Research Grants
  • 资助金额：
    $0.0万
  • 财政年份：
    2005
  • 负责人：
    Professor Dr. Wolfgang Reisig
  • 依托单位：
    Institut für Informatik
海外基金