咨询与建议

限定检索结果

文献类型

  • 1,338 篇 会议
  • 54 篇 期刊文献
  • 1 册 图书

馆藏范围

  • 1,393 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,075 篇 工学
    • 1,034 篇 计算机科学与技术...
    • 459 篇 软件工程
    • 158 篇 信息与通信工程
    • 146 篇 电气工程
    • 78 篇 控制科学与工程
    • 42 篇 网络空间安全
    • 16 篇 电子科学与技术(可...
    • 8 篇 化学工程与技术
    • 8 篇 农业工程
    • 6 篇 仪器科学与技术
    • 6 篇 建筑学
    • 6 篇 生物工程
    • 5 篇 机械工程
    • 5 篇 生物医学工程(可授...
    • 4 篇 光学工程
    • 4 篇 材料科学与工程(可...
  • 297 篇 理学
    • 270 篇 数学
    • 70 篇 统计学(可授理学、...
    • 17 篇 物理学
    • 10 篇 系统科学
    • 9 篇 化学
    • 8 篇 生物学
    • 6 篇 大气科学
  • 65 篇 管理学
    • 34 篇 图书情报与档案管...
    • 33 篇 管理科学与工程(可...
    • 23 篇 工商管理
  • 15 篇 教育学
    • 15 篇 教育学
  • 13 篇 经济学
    • 13 篇 应用经济学
  • 9 篇 法学
    • 7 篇 社会学
  • 8 篇 农学
    • 8 篇 作物学
  • 1 篇 医学

主题

  • 249 篇 distributed comp...
  • 96 篇 distributed algo...
  • 77 篇 distributed comp...
  • 34 篇 distributed algo...
  • 29 篇 consensus
  • 25 篇 distributed syst...
  • 24 篇 congest model
  • 23 篇 approximation al...
  • 23 篇 computer systems...
  • 23 篇 local model
  • 22 篇 algorithms
  • 21 篇 distributed grap...
  • 20 篇 fault tolerance
  • 19 篇 cloud computing
  • 17 篇 shared memory
  • 16 篇 self-stabilizati...
  • 15 篇 message passing
  • 15 篇 fault-tolerance
  • 14 篇 lower bounds
  • 13 篇 graph algorithms

机构

  • 26 篇 swiss fed inst t...
  • 24 篇 technion haifa
  • 17 篇 mit cambridge ma...
  • 16 篇 univ freiburg fr...
  • 11 篇 tel aviv univ te...
  • 10 篇 univ michigan an...
  • 10 篇 carnegie mellon ...
  • 10 篇 technion dept co...
  • 10 篇 aalto univ espoo
  • 10 篇 natl univ singap...
  • 9 篇 ben gurion univ ...
  • 8 篇 weizmann inst sc...
  • 8 篇 cispa helmholtz ...
  • 8 篇 national univers...
  • 7 篇 ben gurion univ ...
  • 6 篇 ecole polytech f...
  • 6 篇 cnrs
  • 6 篇 univ texas austi...
  • 5 篇 georgetown univ ...
  • 5 篇 aalto university...

作者

  • 24 篇 kuhn fabian
  • 20 篇 ghaffari mohsen
  • 18 篇 suomela jukka
  • 18 篇 censor-hillel ke...
  • 17 篇 raynal michel
  • 17 篇 fraigniaud pierr...
  • 16 篇 elkin michael
  • 15 篇 chang yi-jun
  • 15 篇 pandurangan gopa...
  • 15 篇 brandt sebastian
  • 14 篇 peleg david
  • 14 篇 toueg sam
  • 14 篇 olivetti dennis
  • 14 篇 wattenhofer roge...
  • 14 篇 kutten shay
  • 13 篇 balliu alkida
  • 13 篇 patt-shamir boaz
  • 13 篇 guerraoui rachid
  • 12 篇 rajsbaum sergio
  • 12 篇 maus yannic

语言

  • 1,379 篇 英文
  • 13 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing"
1393 条 记 录,以下是1281-1290 订阅
排序:
Secure and verifiable schemes for election and general distributed computing problems  7
Secure and verifiable schemes for election and general distr...
收藏 引用
7th Annual acm symposium on principles of distributed computing, PODC 1988
作者: Huang, Ming-Deh A. Teng, Shang-Hua Department of Computer Science University of Southern California Los AngelesCA90089 United States
This paper explores the idea of using simple secure and verifiable distributed protocols as building blocks for constructing more complicated protocols. A notion of reduction among multi-party problems is introduced a... 详细信息
来源: 评论
Automatically increasing the fault-tolerance of distributed systems  7
Automatically increasing the fault-tolerance of distributed ...
收藏 引用
7th Annual acm symposium on principles of distributed computing, PODC 1988
作者: Neiger, Gil Toueg, Sam Department of Computer Science Upson Hall - Cornell University IthacaNY14853 United States
The design of fault-tolerant distributed systems is a costly and difficult task. Its cost and difficulty increase dramatically with the severity of failures that a system must tolerate. We seek to simplify this task b... 详细信息
来源: 评论
Recovery in distributed systems using optimistic message logging and checkpointing  7
Recovery in distributed systems using optimistic message log...
收藏 引用
7th Annual acm symposium on principles of distributed computing, PODC 1988
作者: Johnson, David B. Zwaenepoel, Willy Department of Computer Science Rice University HoustonTX United States
In a distributed system using message logging and checkpointing to provide fault tolerance, there is always a unique maximum recoverable system state, regardless of the message logging protocol used. The proof of this... 详细信息
来源: 评论
Understanding and verifying distributed algorithms using stratified decomposition  88
Understanding and verifying distributed algorithms using str...
收藏 引用
7th Annual acm symposium on principles of distributed computing, PODC 1988
作者: Chou, Ching-Tsun Gafni, Eli Computer Science Department University of California Los Angeles Los AngelesCA90024 United States
Designers of autonomous distributed algorithms (i.e., algorithms whose complete input is available before the start of execution) customarily refer to temporal ordering in describing the behavior of their algorithms-s... 详细信息
来源: 评论
Viewstamped replication: A new primary copy method to support highly-available distributed systems  88
Viewstamped replication: A new primary copy method to suppor...
收藏 引用
7th Annual acm symposium on principles of distributed computing, PODC 1988
作者: Oki, Brian M. Liskov, Barbara H. Massachusetts Institute of Technology Laboratory for Computer Science CambridgeMA02139 United States
One of the potential benefits of distributed systems is their use in providing highly-available services that are likely to be usable when needed. Availability is achieved through replication. By having more than one ... 详细信息
来源: 评论
A combinatorial characterization of the distributed tasks which are solvable in the presence of one faulty processor  7
A combinatorial characterization of the distributed tasks wh...
收藏 引用
7th Annual acm symposium on principles of distributed computing, PODC 1988
作者: Biran, Ofer Moran, Shlorno Zaks, Shmuel Department of Computer Science Technion Haifa32000 Israel
Fischer, Lynch and Paterson showed in a fundamental paper that achieving a distributed agreement for N > 1 processors is impossible in the presence of one faulty processor. This result was later extended by Moran a... 详细信息
来源: 评论
Improved algorithms for distributed resource allocation  7
Improved algorithms for distributed resource allocation
收藏 引用
7th Annual acm symposium on principles of distributed computing, PODC 1988
作者: Styer, Eugene Peterson, Gary L. School of Information and Computer Science Georgia Institute of Technology AtlantaGA30332 United States
The problem of assigning resources to processes in a distributed system using only local communication is considered. The problem is a generalized form of Dining Philosophers as given by Lynch [6] and also considered ... 详细信息
来源: 评论
A model for the design of high performance protocols for a networked computing environment  88
A model for the design of high performance protocols for a n...
收藏 引用
1988 acm SIGSMALL/PC symposium on ACTES, SIGSMALL 1988
作者: Law, Gary D. Spider Systems Limited 65 Bonnington Road EdinburghEH6 SJQ United Kingdom
The advent of high bandwidth local area networks means that it is now possible to interconnect large numbers of devices with widely differing processing capabilities in such a manner that the various devices may close... 详细信息
来源: 评论
Secure and verifiable schemes for election and general distributed computing problems  88
Secure and verifiable schemes for election and general distr...
收藏 引用
proceedings of the seventh annual acm symposium on principles of distributed computing
作者: Ming-Deh A. Huang Shang-Hua Teng Department of Computer Science University of Southern California Los Angeles California
来源: 评论
Automatically increasing the fault-tolerance of distributed systems  88
Automatically increasing the fault-tolerance of distributed ...
收藏 引用
proceedings of the seventh annual acm symposium on principles of distributed computing
作者: Gil Neiger Sam Toueg Department of Computer Science Upson Hall - Cornell University Ithaca New York
来源: 评论