咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是21-30 订阅
排序:
Hundred impossibility proofs for distributed computing
Hundred impossibility proofs for distributed computing
收藏 引用
proceedings of the Eighth annual acm symposium on principles of distributed computing
作者: Lynch, Nancy A. MIT United States
An overview is given of impossibility results in the area of distributed computing. The techniques used are described, and a historical perspective is given. Suggestions for future work are made.
来源: 评论
Brief Announcement: Branching Time Refinement
Brief Announcement: Branching Time Refinement
收藏 引用
twenty-Second annual acm symposium on principles of distributed computing, PODC 2003
作者: Manolios, Panagiotis College of Computing CERCS Lab Georgia Institute of Technology 801 Atlantic Drive Atlanta GA 30332 United States
The notions of refinement for branching time based on stuttering simulation and bisimulation are developed. A local proof rule called well-founded simulation is introduced. It is shown that if one system refines anoth... 详细信息
来源: 评论
Brief Announcement: PUSH, a DISC Shell
Brief Announcement: PUSH, a DISC Shell
收藏 引用
28th annual acm symposium on principles of distributed computing
作者: Evans, Noah Van Hensbergen, Eric Nara Inst Sci & Technol Nara Japan
This paper explores the use of extended shell pipeline operators to establish distributed workflows and correlate results.
来源: 评论
Brief Announcement: How to Speed-up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining
Brief Announcement: How to Speed-up Fault-Tolerant Clock Gen...
收藏 引用
28th annual acm symposium on principles of distributed computing
作者: Dielacher, Andreas Fuegger, Matthias Schmid, Ulrich RUAG Aerospace Austria Austria Technische Universität Wien Austria
来源: 评论
Fast Self-Stabilizing Byzantine Tolerant Digital Clock Synchronization
Fast Self-Stabilizing Byzantine Tolerant Digital Clock Synch...
收藏 引用
27th annual acm symposium on principles of distributed computing
作者: Ben-Or, Michael Dolev, Danny Hoch, Ezra N. Hebrew Univ Jerusalem IL-91905 Jerusalem Israel
Consider a distributed network in which up to a third of the nodes may be Byzantine, and in which the non-faulty nodes may be subject to transient, faults that alter their memory in air arbitrary fashion. Within the c... 详细信息
来源: 评论
Research issues in ubiquitous computing  94
Research issues in ubiquitous computing
收藏 引用
proceedings of the 13th annual acm symposium on principles of distributed computing
作者: Demers, Alan J. Xerox Palo Alto Research Center 3333 Coyote Hill Road
This paper is a summary of an invited talk presented at the 12th acm symposium on principles of distributed computing in August 1993. The talk gave a brief introduction to the Ubiquitious computing vision, described s... 详细信息
来源: 评论
Brief Announcement. The Price of Anonymity: Optimal Consensus despite Asynchrony, Crash and Anonymity
Brief Announcement. The Price of Anonymity: Optimal Consensu...
收藏 引用
28th annual acm symposium on principles of distributed computing
作者: Bonnet, Francois Raynal, Michel Univ Rennes 1 IRISA Rennes France
This paper proposes the first study of the consensus problem in the anonymous crash-prone message-passing systems.
来源: 评论
Brief announcement: Asynchronous interactive consistency and its relation with error-correcting codes
Brief announcement: Asynchronous interactive consistency and...
收藏 引用
proceedings of the twenty - First annual acm symposium on principles of distributed computing PODC 2002
作者: Mostefaoui, Achour Rajsbaum, Sergio Raynal, Michel IRISA Campus Beaulieu 35042 Rennes Cedex France Compaq CRL One Cambridge Center 02142 Cambridge MA United States
The set of conditions that allow to solve the interactive consistency problem, denoted CB_IC, in the presence of fc crashes and fe erroneous proposals are characterized. Those are the conditions including input vector... 详细信息
来源: 评论
ENF event predicate detection in distributed systems  94
ENF event predicate detection in distributed systems
收藏 引用
proceedings of the 13th annual acm symposium on principles of distributed computing
作者: Chiou, Hsien-Kuang Korfhage, Willard Computer Science Dept. Polytechnic University Brooklyn NY
来源: 评论
Dynamic and self-stabilizing distributed matching
Dynamic and self-stabilizing distributed matching
收藏 引用
proceedings of the twenty - First annual acm symposium on principles of distributed computing PODC 2002
作者: Chattopadhyay, Subhendu Higham, Lisa Seyffarth, Karen Department of Computer Science University of Calgary Calgary Alta. Canada Department of Mathematics University of Calgary Calgary Alta. Canada
Finding a maximal or maximum matching in a graph is a well-understood problem for which efficient sequential algorithms exist. Applications of matchings in distributed settings make it desirable to find self-stabilizi... 详细信息
来源: 评论