咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是111-120 订阅
排序:
On the Pigeonhole and Related principles in Deep Inference and Monotone Systems  14
On the Pigeonhole and Related Principles in Deep Inference a...
收藏 引用
Joint Meeting of the 23rd EACSL annual Conference on Computer Science Logic (CSL) / 29th annual acm/IEEE symposium on Logic in Computer Science (LICS)
作者: Das, Anupam INRIA Rocquencourt France Univ Bath Bath Avon England
We construct quasipolynomial-size proofs of the propositional pigeonhole principle in the deep inference system KS, addressing an open problem raised in previous works and matching the best known upper bound for the m... 详细信息
来源: 评论
Brief announcement: On minimum interaction time for continuous distributed interactive computing
Brief announcement: On minimum interaction time for continuo...
收藏 引用
2013 acm symposium on principles of distributed computing, PODC 2013
作者: Zhang, Lu Tang, Xueyan He, Bingsheng School of Computer Engineering Nanyang Techonological University Singapore 639798 Singapore
In this paper, we study the interaction times of continuous distributed interactive computing in which the application states change due to not only user-initiated operations but also time passing. We formulate the Mi... 详细信息
来源: 评论
Stone age distributed computing  13
Stone age distributed computing
收藏 引用
2013 acm symposium on principles of distributed computing, PODC 2013
作者: Emek, Yuval Wattenhofer, Roger Distributed Computing Group ETH Zurich Switzerland
A new model that depicts a network of randomized finite state machines operating in an asynchronous environment is introduced. This model, that can be viewed as a hybrid of the message passing model and cellular autom... 详细信息
来源: 评论
PODC 2013 - proceedings of the 2013 acm symposium on principles of distributed computing
PODC 2013 - Proceedings of the 2013 ACM Symposium on Princip...
收藏 引用
2013 acm symposium on principles of distributed computing, PODC 2013
The proceedings contain 54 papers. The topics discussed include: distributed computing theory for wireless networks and mobile systems;pragmatic primitives for non-blocking data structures;the SkipTrie: low-depth conc...
来源: 评论
Toward more localized local algorithms: removing assumptions concerning global knowledge  11
Toward more localized local algorithms: removing assumptions...
收藏 引用
30th annual acm SIGACT-SIGOPS symposium on principles of distributed computing (PODC)
作者: Korman, Amos Sereni, Jean-Sebastien Viennot, Laurent CNRS F-75205 Paris 13 France Univ Paris Diderot LIAFA Case 7014 F-75205 Paris 13 France Charles Univ Prague Fac Math & Phys Dept Appl Math KAM Prague Czech Republic INRIA F-75205 Paris 13 France
Numerous sophisticated local algorithm were suggested in the literature for various fundamental problems. Notable examples are the MIS and -coloring algorithms by Barenboim and Elkin (Distrib Comput 22(5-6):363-379, 2... 详细信息
来源: 评论
Brief announcement: Techniques for programmatically troubleshooting distributed systems
Brief announcement: Techniques for programmatically troubles...
收藏 引用
2013 acm symposium on principles of distributed computing, PODC 2013
作者: Whitlock, Sam Scott, Colin Shenker, Scott 1947 Center St. Berkeley CA 94704 United States University of California Berkeley 387 Soda Hall Berkeley CA 94720-1776 United States ICSI University of California Berkeley 387 Soda Hall Berkeley CA 94720-1776 United States
The distributed systems research community has developed many provably correct algorithms and abstractions that are in wide use. However, practical implementations of distributed systems often contain many bugs, and p... 详细信息
来源: 评论
Upper bound on the complexity of solving hard renaming  13
Upper bound on the complexity of solving hard renaming
收藏 引用
2013 acm symposium on principles of distributed computing, PODC 2013
作者: Attiya, Hagit Castañeda, Armando Herlihy, Maurice Paz, Ami Technion Israel Brown Israel
The M-renaming task requires n+1 processes, each starting with a unique input name (from an arbitrary large range), to coordinate the choice of new output names from a range of size M. This paper presents the first up... 详细信息
来源: 评论
distributed deterministic edge coloring using bounded neighborhood independence  11
Distributed deterministic edge coloring using bounded neighb...
收藏 引用
30th annual acm SIGACT-SIGOPS symposium on principles of distributed computing (PODC)
作者: Barenboim, Leonid Elkin, Michael Ben Gurion Univ Negev Dept Comp Sci IL-84105 Beer Sheva Israel
We study the edge-coloring problem in the message-passing model of distributed computing. This is one of the most fundamental problems in this area. Currently, the best-known deterministic algorithms for (2 Delta -1)-... 详细信息
来源: 评论
Highly dynamic distributed computing with byzantine failures  13
Highly dynamic distributed computing with byzantine failures
收藏 引用
2013 acm symposium on principles of distributed computing, PODC 2013
作者: Guerraoui, Rachid Huc, Florian Kermarrec, Anne-Marie Lab.de Programmation Distribuée EPFL Switzerland INRIA Rennes Bretagne-Atlantique France
This paper shows for the first time that distributed computing can be both reliable and efficient in an environment that is both highly dynamic and hostile. More specifically, we show how to maintain clusters of size ... 详细信息
来源: 评论
Feedback from nature: An optimal distributed algorithm for maximal independent set selection  13
Feedback from nature: An optimal distributed algorithm for m...
收藏 引用
2013 acm symposium on principles of distributed computing, PODC 2013
作者: Scott, Alex Jeavons, Peter Xu, Lei Mathematical Institute University of Oxford United Kingdom Dept. of Computer Science University of Oxford United Kingdom
Maximal Independent Set selection is a fundamental problem in distributed computing. A novel probabilistic algorithm for this problem has recently been proposed by Afek et al, inspired by the study of the way that dev... 详细信息
来源: 评论