咨询与建议

限定检索结果

文献类型

  • 32 册 图书

馆藏范围

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

日期分布

学科分类号

  • 14 篇 工学
    • 14 篇 计算机科学与技术...
    • 1 篇 仪器科学与技术
    • 1 篇 信息与通信工程
    • 1 篇 软件工程
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 理学
    • 1 篇 数学
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 18 篇 computer science...
  • 17 篇 data structures ...
  • 17 篇 coding and infor...
  • 3 篇 computer science
  • 2 篇 synthesis
  • 2 篇 lectures
  • 2 篇 computer \u0026 ...
  • 1 篇 computer algorit...
  • 1 篇 parallel process...
  • 1 篇 software enginee...
  • 1 篇 computer hardwar...
  • 1 篇 electronic data ...
  • 1 篇 algorithms
  • 1 篇 science\/technol...
  • 1 篇 distribu
  • 1 篇 timed
  • 1 篇 transactional
  • 1 篇 computer applica...
  • 1 篇 bisac category: ...
  • 1 篇 networking

机构

  • 3 篇 carleton univers...
  • 2 篇 university of ot...
  • 2 篇 university of pi...
  • 2 篇 irisa université...
  • 2 篇 ben-gurion unive...
  • 2 篇 university of re...
  • 2 篇 institute for re...
  • 2 篇 university of to...
  • 2 篇 boston college
  • 1 篇 epfl
  • 1 篇 university of wa...
  • 1 篇 vienna universit...
  • 1 篇 radboud universi...
  • 1 篇 hong kong polyte...
  • 1 篇 university of ce...
  • 1 篇 graz university ...
  • 1 篇 technion-israel ...
  • 1 篇 saarland univers...
  • 1 篇 university of co...
  • 1 篇 technion - israe...

作者

  • 4 篇 michel raynal
  • 2 篇 nancy lynch
  • 1 篇 rachid guerraoui
  • 1 篇 sasha rubin
  • 1 篇 santoro nicola
  • 1 篇 euripides markou
  • 1 篇 lewis tseng
  • 1 篇 giuseppe prencip...
  • 1 篇 taubenfeld gadi
  • 1 篇 paola flocchini
  • 1 篇 ayrat khalimov
  • 1 篇 walter jennifer
  • 1 篇 segala roberto
  • 1 篇 faith ellen
  • 1 篇 igor konnov
  • 1 篇 raynal michel
  • 1 篇 sakavalas dimitr...
  • 1 篇 franck petit
  • 1 篇 elkin michael
  • 1 篇 ioannis chatzigi...

语言

  • 29 篇 英文
  • 3 篇 中文
检索条件"丛书名=Synthesis Lectures on Distributed Computing Theory"
32 条 记 录,以下是1-10 订阅
排序:
Concurrent Crash-Prone Shared Memory Systems: A Few Theoretical Notions
Concurrent Crash-Prone Shared Memory Systems: A Few Theoreti...
收藏 引用
丛书名: synthesis lectures on distributed computing theory
2022年
作者: Michel Raynal
theory is what remains true when technology is changing. So, it is important to know and master the basic concepts and the theoretical tools that underlie the design of the systems we are using today and the systems w... 详细信息
来源: 评论
Consistent distributed Storage
收藏 引用
丛书名: synthesis lectures on distributed computing theory
2021年
作者: Vincent Gramoli Nicolas Nicolaou Alexander A. Schwarzmann
Providing a shared memory abstraction in distributed systems is a powerful tool that can simplify the design and implementation of software systems for networked platforms. This enables the system designers to work wi...
来源: 评论
Introduction to distributed Self-Stabilizing Algorithms
收藏 引用
丛书名: synthesis lectures on distributed computing theory
2019年
作者: Altisen, Karine Devismes, Stéphane Dubois, Swan
This book aims at being a comprehensive and pedagogical introduction to the concept of self-stabilization, introduced by Edsger Wybe Dijkstra in 1973.Self-stabilization characterizes the ability of a distributed algor... 详细信息
来源: 评论
Network Topology and Fault-Tolerant Consensus
收藏 引用
丛书名: synthesis lectures on distributed computing theory
2019年
作者: Sakavalas, Dimitris Tseng, Lewis
As the structure of contemporary communication networks grows more complex, practical networked distributed systems become prone to component failures.Fault-tolerant consensus in message-passing systems allows partici... 详细信息
来源: 评论
distributed computing Pearls  1
收藏 引用
丛书名: synthesis lectures on distributed computing theory
2018年
作者: Taubenfeld, Gadi
Computers and computer networks are one of the most incredible inventions of the 20th century, having an ever-expanding role in our daily lives by enabling complex human activities in areas such as entertainment, educ... 详细信息
来源: 评论
Decidability of Parameterized Verification
收藏 引用
丛书名: synthesis lectures on distributed computing theory
2015年
作者: Bloem, Roderick Jacobs, Swen Khalimov, Ayrat
While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems ??(n) parameterized by whether, f... 详细信息
来源: 评论
Impossibility Results for distributed computing
收藏 引用
丛书名: synthesis lectures on distributed computing theory
2014年
作者: Attiya, Hagit Ellen, Faith
To understand the power of distributed systems, it is necessary to understand their inherent limitations: what problems cannot be solved in particular systems, or without sufficient resources (such as time or space). ... 详细信息
来源: 评论
distributed Graph Coloring: Fundamentals and Recent Developments
收藏 引用
丛书名: synthesis lectures on distributed computing theory
2013年
作者: Barenboim, Leonid Elkin, Michael
The objective of our monograph is to cover the developments on the theoretical foundations of distributed symmetry breaking in the message-passing model. We hope that our monograph will stimulate further progress in t... 详细信息
来源: 评论
distributed computing by Oblivious Mobile Robots
收藏 引用
丛书名: synthesis lectures on distributed computing theory
2012年
作者: Flocchini, Paola Prencipe, Giuseppe Santoro, Nicola
The study of what can be computed by a team of autonomous mobile robots, originally started in robotics and AI, has become increasingly popular in theoretical computer science (especially in distributed computing), wh...
来源: 评论
Link Reversal Algorithms
收藏 引用
丛书名: synthesis lectures on distributed computing theory
2011年
作者: Welch, Jennifer Walter, Jennifer
Link reversal is a versatile algorithm design technique that has been used in numerous distributed algorithms for a variety of problems. The common thread in these algorithms is that the distributed system is viewed a...
来源: 评论