咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是11-20 订阅
排序:
proceedings of the annual acm Sumposium on principles of distributed computing: Foreword
Proceedings of the Annual ACM Sumposium on Principles of Dis...
收藏 引用
twenty-Second annual acm symposium on principles of distributed computing, PODC 2003
作者: Anon
No abstract available
来源: 评论
Brief Announcement: Self-Assembly as Graph Grammar as distributed System
Brief Announcement: Self-Assembly as Graph Grammar as Distri...
收藏 引用
28th annual acm symposium on principles of distributed computing
作者: Sterling, Aaron Iowa State Univ Dept Comp Sci Lab Nanoscale Self Assembly Ames IA 50011 USA
In 2004, Klavins et al. introduced the use of graph grammars to describe-and to program-systems of self-assembly. It turns out that these graph grammars can be embedded in a graph rewriting characterization of distrib... 详细信息
来源: 评论
Fast distributed approximation for TAP and 2-edge-connectivity
收藏 引用
distributed computing 2020年 第2期33卷 145-168页
作者: Censor-Hillel, Keren Dory, Michal Technion Dept Comp Sci Haifa Israel
The tree augmentation problem (TAP) is a fundamental network design problem, in which the input is a graph G and a spanning tree T for it, and the goal is to augment T with a minimum set of edges Aug from G, such that... 详细信息
来源: 评论
Cryptography and Competition Policy - Issues with 'Trusted computing'
Cryptography and Competition Policy - Issues with 'Trusted C...
收藏 引用
twenty-Second annual acm symposium on principles of distributed computing, PODC 2003
作者: Anderson, Ross Cambridge University Computer Laboratory JJ Thomson Avenue Cambridge CB3 0FD United Kingdom
The most significant strategic development in information technology over the past year has been 'trusted computing'. This is popularly associated with Microsoft's 'Palladium' project, recently ren... 详细信息
来源: 评论
Brief announcement: Early stopping in global data computation
Brief announcement: Early stopping in global data computatio...
收藏 引用
proceedings of the twenty - First annual acm symposium on principles of distributed computing PODC 2002
作者: Delporte-Gallet, C. Fauconnier, H. Helary, J.-M. Raynal, M. LIAFA 2 pl. Jussieu 75251 Paris Cedex 5 France IRISA Campus Beaulieu 35042 Rennes cedex France
The Global Data Computation (GDC) problem in the asynchronous distributed computing model where processes are prone to crash failures is addressed. A protocol that solves this problem in an asynchronous distributed sy... 详细信息
来源: 评论
proceedings OF THE SECOND annual acm symposium ON principles OF distributed computing.
PROCEEDINGS OF THE SECOND ANNUAL ACM SYMPOSIUM ON PRINCIPLES...
收藏 引用
proceedings of the Second annual acm symposium on principles of distributed computing.
作者: Anon
The 26 papers in this volume deal with principles of distributed computing. Topics covered include distributed Networks;Concurrency Controls;distributed Databases;and Operating Systems.
来源: 评论
distributed (Δ+1)-COLORING VIA ULTRAFAST GRAPH SHATTERING
收藏 引用
SIAM JOURNAL ON computing 2020年 第3期49卷 497-539页
作者: Chang, Yi-Jun Li, Wenzheng Pettie, Seth Swiss Fed Inst Technol Inst Theoret Studies CH-8092 Zurich Switzerland Stanford Univ Comp Sci Dept Stanford CA 94305 USA Univ Michigan EECS Ann Arbor MI 48109 USA
Vertex coloring is one of the classic symmetry breaking problems studied in distributed computing. In this paper we present a new algorithm for (Delta+1)-list coloring in the randomized LOCAL model running in O(Det(d)... 详细信息
来源: 评论
Brief Announcement: Optimally work-competitive scheduling for cooperative computing with merging groups
Brief Announcement: Optimally work-competitive scheduling fo...
收藏 引用
proceedings of the twenty - First annual acm symposium on principles of distributed computing PODC 2002
作者: Georgiou, Chryssis Russell, Alexander Shvartsman, Alex A. Department of Computer Science University of Connecticut 191 Auditorium Rd. Unit 3155 Storrs CT 06269 United States
The development of algorithms with guaranteed work efficiency for any pattern of fragmentations and merges of the underlying network is addressed. Current results are discussed for the abstract setting where asynchron... 详细信息
来源: 评论
Brief Announcement: Dynamic Group Communication
Brief Announcement: Dynamic Group Communication
收藏 引用
twenty-Second annual acm symposium on principles of distributed computing, PODC 2003
作者: Schiper, André Ecl. Polytech. Fed. de Lausanne 1015 Lausanne Switzerland
The latest specifications for dynamic group communication in a distributed system are discussed. The reliable broadcast in a dynamic system is called reliable multicast, which is defined by the two primitives rmultica... 详细信息
来源: 评论
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... 详细信息
来源: 评论