咨询与建议

限定检索结果

文献类型

  • 14 篇 期刊文献
  • 7 篇 会议

馆藏范围

  • 21 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 20 篇 工学
    • 17 篇 计算机科学与技术...
    • 5 篇 电气工程
    • 4 篇 软件工程
    • 1 篇 信息与通信工程
    • 1 篇 控制科学与工程
  • 4 篇 理学
    • 4 篇 数学
  • 2 篇 管理学
    • 2 篇 管理科学与工程(可...

主题

  • 21 篇 fault-tolerant d...
  • 5 篇 consensus
  • 4 篇 byzantine faults
  • 4 篇 clock synchroniz...
  • 3 篇 model checking
  • 2 篇 automated verifi...
  • 2 篇 partial synchron...
  • 2 篇 reinforcement le...
  • 2 篇 computational mo...
  • 2 篇 model-checking
  • 2 篇 partially synchr...
  • 2 篇 partially synchr...
  • 2 篇 round model
  • 2 篇 reliable broadca...
  • 1 篇 task computing
  • 1 篇 transient link f...
  • 1 篇 computer science
  • 1 篇 initial clock sy...
  • 1 篇 network connecti...
  • 1 篇 clocks and time

机构

  • 4 篇 vienna univ tech...
  • 2 篇 ecole polytech l...
  • 2 篇 vienna univ tech...
  • 2 篇 ecole polytech f...
  • 2 篇 ist austria aust...
  • 2 篇 tu wien vienna u...
  • 2 篇 mit csail boston...
  • 2 篇 cnrs ens inria f...
  • 1 篇 vienna universit...
  • 1 篇 kth royal inst t...
  • 1 篇 spotify r&d ny 1...
  • 1 篇 mit dept mech en...
  • 1 篇 jsc infotecs adv...
  • 1 篇 tech univ wien i...
  • 1 篇 univ salerno i-8...
  • 1 篇 ecole polytech f...
  • 1 篇 massachusetts in...
  • 1 篇 univ cyprus cy-1...
  • 1 篇 univ connecticut...
  • 1 篇 technion haifa d...

作者

  • 5 篇 widder josef
  • 5 篇 schmid ulrich
  • 3 篇 veith helmut
  • 3 篇 konnov igor
  • 2 篇 vaz diogo
  • 2 篇 robinson peter
  • 2 篇 biely martin
  • 2 篇 schiper andre
  • 2 篇 dragoi cezara
  • 2 篇 matos david r.
  • 2 篇 zufferey damien
  • 2 篇 correia miguel
  • 2 篇 henzinger thomas...
  • 2 篇 pardal miguel l.
  • 2 篇 ishii hideaki
  • 1 篇 hadjistasi theop...
  • 1 篇 milosevic zarko
  • 1 篇 ulrich schmid
  • 1 篇 matthias függer
  • 1 篇 steininger a.

语言

  • 19 篇 英文
  • 1 篇 德文
  • 1 篇 其他
检索条件"主题词=Fault-tolerant distributed algorithms"
21 条 记 录,以下是1-10 订阅
排序:
Distal: A Framework for Implementing fault-tolerant distributed algorithms
Distal: A Framework for Implementing Fault-tolerant Distribu...
收藏 引用
43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
作者: Biely, Martin Delgado, Pamela Milosevic, Zarko Schiper, Andre Ecole Polytech Fed Lausanne CH-1015 Lausanne Switzerland
We introduce Distal, a new framework that simplifies turning pseudocode of fault tolerant distributed algorithms into efficient executable code. Without proper tool support, even small amounts of pseudocode normally e... 详细信息
来源: 评论
PSYNC: A Partially Synchronous Language for fault-tolerant distributed algorithms  16
PSYNC: A Partially Synchronous Language for Fault-Tolerant D...
收藏 引用
43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
作者: Dragoi, Cezara Henzinger, Thomas A. Zufferey, Damien CNRS ENS INRIA F-75700 Paris France IST Austria Vienna Austria MIT CSAIL Boston MA USA
fault-tolerant distributed algorithms play an important role in many critical/high-availability applications. These algorithms are notoriously difficult to implement correctly, due to asynchronous communication and th... 详细信息
来源: 评论
PSYNC: A Partially Synchronous Language for fault-tolerant distributed algorithms
收藏 引用
ACM SIGPLAN NOTICES 2016年 第1期51卷 400-415页
作者: Dragoi, Cezara Henzinger, Thomas A. Zufferey, Damien CNRS ENS INRIA F-75700 Paris France IST Austria Vienna Austria MIT CSAIL Boston MA USA
fault-tolerant distributed algorithms play an important role in many critical/high-availability applications. These algorithms are notoriously difficult to implement correctly, due to asynchronous communication and th... 详细信息
来源: 评论
FIT-IT Project DARTS: distributed fault-tolerant clock generation.
收藏 引用
ELEKTROTECHNIK UND INFORMATIONSTECHNIK 2007年 第1-2期124卷 3-8页
作者: Schmid, U. Steininger, A. Sust, M. Tech Univ Wien Inst Tech Informat Embedded Comp Syst Grp Treitlstr 3 A-1040 Vienna Austria Austrian Aerosp GmbH A-1120 Vienna Austria
This paper describes objective and rationale of the award-winning FIT-IT "Embedded Systems'' Project "distributed algorithms for Robust Tick Synchronization'' (DARTS). Within DARTS a fault-to... 详细信息
来源: 评论
Construction and Formal Verification of a fault-tolerant distributed Mutual Exclusion Algorithm  16
Construction and Formal Verification of a Fault-Tolerant Dis...
收藏 引用
16th ACM SIGPLAN International Workshop on Erlang (Erlang)
作者: Shishkin, Evgeniy JSC InfoTeCS Adv Res Dept Moscow Russia
distributed fault-tolerant control algorithms are in great demand nowadays due to their practical importance in cloud computing, Internet of Things (IoT) technology, swarm robotics, and other areas. It is usually hard... 详细信息
来源: 评论
Synthesis of fault-tolerant Reliable Broadcast algorithms With Reinforcement Learning
收藏 引用
IEEE ACCESS 2023年 11卷 62394-62408页
作者: Vaz, Diogo Matos, David R. Pardal, Miguel L. Correia, Miguel Univ Lisbon INESC ID Inst Super Tecn P-1000029 Lisbon Portugal
fault-tolerant algorithms, such as Reliable Broadcast, assure the correct operation of modern distributed systems, even when some of the system nodes fail. However, the development of distributed algorithms is a manua... 详细信息
来源: 评论
Resilient Real-Valued Consensus in Spite of Mobile Malicious Agents on Directed Graphs
收藏 引用
IEEE TRANSACTIONS ON PARALLEL AND distributed SYSTEMS 2022年 第3期33卷 586-603页
作者: Wang, Yuan Ishii, Hideaki Bonnet, Francois Defago, Xavier KTH Royal Inst Technol Div Decis & Control Syst S-11428 Stockholm Sweden Tokyo Inst Technol Dept Comp Sci Tokyo 1528550 Japan
This article addresses novel real-valued consensus problems in the presence of malicious adversaries that can move within the network and induce faulty behaviors in the attacked agents. By adopting several mobile adve... 详细信息
来源: 评论
fault-tolerant Clock Synchronization Over Unreliable Channels in Wireless Sensor Networks
收藏 引用
IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS 2018年 第4期5卷 1551-1562页
作者: Kikuya, Yuhei Dibaji, Seyed Mehran Ishii, Hideaki Tokyo Inst Technol Dept Comp Sci Yokohama Kanagawa 2268502 Japan MIT Dept Mech Engn Cambridge MA 02139 USA
In this paper, we study a distributed approach based on consensus algorithms for clock synchronization in wireless sensor networks. The sensor nodes face two types of uncertainties. One is that some of the nodes in th... 详细信息
来源: 评论
Para: parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms
收藏 引用
FORMAL METHODS IN SYSTEM DESIGN 2017年 第2期51卷 270-307页
作者: Konnov, Igor Lazic, Marijana Veith, Helmut Widder, Josef TU Wien Vienna Univ Technol Inst Informat Syst E184 4 Favoritenstr 9-11 A-1040 Vienna Austria
Automatic verification of threshold-based fault-tolerant distributed algorithms (FTDA) is challenging: FTDAs have multiple parameters that are restricted by arithmetic conditions, the number of processes and faults is... 详细信息
来源: 评论
On the impact of link faults on Byzantine agreement
收藏 引用
INFORMATION AND COMPUTATION 2014年 239卷 170-181页
作者: Biely, Martin Vienna Univ Technol Embedded Comp Syst Grp A-1040 Vienna Austria Ecole Polytech Fed Lausanne Lab Syst Repartis CH-1015 Lausanne Switzerland
Agreement problems and their solutions are essential to fault-tolerant distributed computing. Over the years, different assumptions on failures have been considered, but most of these assumptions were focusing on eith... 详细信息
来源: 评论