咨询与建议

限定检索结果

文献类型

  • 740 篇 会议
  • 41 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 607 篇 工学
    • 593 篇 计算机科学与技术...
    • 344 篇 软件工程
    • 93 篇 信息与通信工程
    • 67 篇 控制科学与工程
    • 64 篇 电气工程
    • 40 篇 网络空间安全
    • 12 篇 电子科学与技术(可...
    • 4 篇 机械工程
    • 4 篇 仪器科学与技术
    • 4 篇 化学工程与技术
    • 3 篇 光学工程
    • 3 篇 材料科学与工程(可...
    • 3 篇 农业工程
    • 2 篇 建筑学
    • 2 篇 生物医学工程(可授...
    • 2 篇 生物工程
  • 234 篇 理学
    • 218 篇 数学
    • 61 篇 统计学(可授理学、...
    • 12 篇 物理学
    • 6 篇 系统科学
    • 4 篇 化学
    • 3 篇 大气科学
    • 3 篇 生物学
  • 48 篇 管理学
    • 28 篇 管理科学与工程(可...
    • 22 篇 图书情报与档案管...
    • 18 篇 工商管理
  • 10 篇 经济学
    • 10 篇 应用经济学
  • 4 篇 法学
    • 3 篇 社会学
    • 1 篇 法学
  • 3 篇 农学
    • 3 篇 作物学
  • 1 篇 医学

主题

  • 224 篇 distributed comp...
  • 35 篇 distributed algo...
  • 26 篇 distributed comp...
  • 25 篇 computer systems...
  • 17 篇 algorithms
  • 15 篇 consensus
  • 15 篇 distributed syst...
  • 14 篇 fault tolerance
  • 12 篇 distributed algo...
  • 11 篇 computer network...
  • 10 篇 message passing
  • 10 篇 approximation al...
  • 9 篇 self-stabilizati...
  • 9 篇 shared memory
  • 8 篇 cloud computing
  • 8 篇 randomized algor...
  • 6 篇 parallel algorit...
  • 6 篇 computation theo...
  • 6 篇 coloring
  • 6 篇 sensor networks

机构

  • 7 篇 ben gurion univ ...
  • 5 篇 technion
  • 5 篇 department of co...
  • 4 篇 technion haifa
  • 4 篇 college of compu...
  • 4 篇 department of co...
  • 4 篇 eth comp engn & ...
  • 4 篇 yale univ dept c...
  • 3 篇 univ of californ...
  • 3 篇 univ of toronto ...
  • 3 篇 computer enginee...
  • 3 篇 cispa helmholtz ...
  • 3 篇 yale university
  • 3 篇 university of fr...
  • 3 篇 technion israel ...
  • 3 篇 hebrew univ jeru...
  • 3 篇 mit cambridge ma...
  • 3 篇 irisa rennes
  • 3 篇 eth zurich
  • 3 篇 cnrs university ...

作者

  • 13 篇 kuhn fabian
  • 13 篇 awerbuch baruch
  • 13 篇 raynal michel
  • 12 篇 peleg david
  • 12 篇 kutten shay
  • 11 篇 toueg sam
  • 11 篇 patt-shamir boaz
  • 11 篇 wattenhofer roge...
  • 10 篇 guerraoui rachid
  • 10 篇 gafni eli
  • 10 篇 dolev danny
  • 9 篇 elkin michael
  • 9 篇 rajsbaum sergio
  • 9 篇 attiya hagit
  • 8 篇 khandekar rohit
  • 8 篇 pandurangan gopa...
  • 8 篇 aspnes james
  • 8 篇 fraigniaud pierr...
  • 7 篇 korman amos
  • 7 篇 herlihy maurice

语言

  • 774 篇 英文
  • 6 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing"
781 条 记 录,以下是701-710 订阅
排序:
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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
来源: 评论
Improved algorithms for distributed resource allocation  88
Improved algorithms for distributed resource allocation
收藏 引用
proceedings of the seventh annual acm symposium on principles of distributed computing
作者: Eugene Styer Gary L. Peterson School of Information and Computer Science Georgia Institute of Technology Atlanta Ga.
来源: 评论
Recovery in distributed systems using asynchronous message logging and checkpointing  88
Recovery in distributed systems using asynchronous message l...
收藏 引用
proceedings of the seventh annual acm symposium on principles of distributed computing
作者: David B. Johnson Willy Zwaenepoel Department of Computer Science Rice University Houston Texas
来源: 评论