咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是61-70 订阅
排序:
Language semantics driven design and formal analysis for distributed cyber-physical systems  37
Language semantics driven design and formal analysis for dis...
收藏 引用
2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for distributed Systems, ApPLIED 2018, co-located with the 37th acm symposium on the principles of distributed computing, PODC 2018
作者: Ghosh, Ritwika Misailovic, Sasa Mitra, Sayan University of Illinois at Urbana-Champaign United States
Typically platform specific programming models for distributed Cyber-Physical Systems provide limited portability, code reuse, rigorous verification, and synthesis. Koord is a new distributed CPS programming model and... 详细信息
来源: 评论
Towards reproducible evaluation of large-scale distributed systems  37
Towards reproducible evaluation of large-scale distributed s...
收藏 引用
2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for distributed Systems, ApPLIED 2018, co-located with the 37th acm symposium on the principles of distributed computing, PODC 2018
作者: Matos, Miguel INESC-ID IST. U. Lisboa Lisboa Portugal
Reproducing experimental results is nowadays seen as one of the greatest impairments for the progress of science in general and distributed systems in particular. This stems from the increasing complexity of the syste... 详细信息
来源: 评论
2019 Edsger W. Dijkstra Prize in distributed computing  19
2019 Edsger W. Dijkstra Prize in Distributed Computing
收藏 引用
proceedings of the 2019 acm symposium on principles of distributed computing
作者: Lorenzo Alvisi Shlomi Dolev Faith Ellen Idit Keidar Fabian Kuhn Jukka Suomela Cornell University Ithaca NY USA Ben Gurion University of the Negev Beer-Sheva Israel University of Toronto Toronto ON Canada Technion Haifa Israel University of Freiburg Freiburg Germany Aalto University Espoo Finland
The committee decided to award the 2019 Edsger W. Dijkstra Prize in distributed computing to Alessandro Panconesi and Aravind Srinivasan for their paper Randomized distributed Edge Coloring via an Extension of the Che...
来源: 评论
Distributing computations in fog architectures  37
Distributing computations in fog architectures
收藏 引用
2018 Workshop on Theory and Practice for Integrated Cloud, Fog and Edge computing Paradigms, TOPIC 2018, in conjunction with the 37th acm symposium on principles of distributed computing, PODC 2018
作者: Vidyasankar, Krishnamurthy Memorial University St. John's Newfoundland Canada
Internet of Things (IoT) services and applications include Connected Vehicles, Smart Grid, Smart Cities, Health Care and, in general, Wireless Sensors and Actuators Networks. Typically, the scenarios can be captured w... 详细信息
来源: 评论
Locally-iterative distributed (∆ + 1)-coloring below szegedy-vishwanathan barrier, and applications to self-stabilization and to restricted-bandwidth models  37
Locally-iterative distributed (∆ + 1)-coloring below szeged...
收藏 引用
37th acm SIGACT-SIGOPS symposium on principles of distributed computing, PODC 2018
作者: Barenboim, Leonid Elkin, Michael Goldenberg, Uri Open University of Israel Raanana Israel Ben-Gurion University of the Negev Beer-Sheva Israel
We consider graph coloring and related problems in the distributed message-passing model. Locally-iterative algorithms are especially important in this setting. These are algorithms in which each vertex decides about ... 详细信息
来源: 评论
Fast Space Optimal Leader Election in Population Protocols  29
Fast Space Optimal Leader Election in Population Protocols
收藏 引用
29th annual acm-SIAM symposium on Discrete Algorithms (SODA)
作者: Gasieniec, Leszek Stachowiak, Grzegorz Univ Liverpool Liverpool Merseyside England Uniwersytet Wroclawski Wroclaw Poland
The model of population protocols refers to the growing in popularity theoretical framework suitable for studying pairwise interactions within a large collection of simple indistinguishable entities, frequently called... 详细信息
来源: 评论
The Complexity of distributed Edge Coloring with Small Palettes  29
The Complexity of Distributed Edge Coloring with Small Palet...
收藏 引用
29th annual acm-SIAM symposium on Discrete Algorithms (SODA)
作者: Chang, Yi-Jun He, Qizheng Li, Wenzheng Pettie, Seth Uitto, Jara Univ Michigan Ann Arbor MI 48109 USA Tsinghua Univ ITCS Inst Interdisciplinary Informat Sci Beijing Peoples R China Swiss Fed Inst Technol Zurich Switzerland Univ Freiburg Freiburg Germany
The complexity of distributed edge coloring depends heavily on the palette size as a function of the maximum degree Delta. In this paper we explore the complexity of edge coloring in the LOCAL model in different palet... 详细信息
来源: 评论
proceedings of the annual acm symposium on principles of distributed computing
Proceedings of the Annual ACM Symposium on Principles of Dis...
收藏 引用
36th acm symposium on principles of distributed computing, PODC 2017
The proceedings contain 59 papers. The topics discussed include: exploiting spontaneous transmissions for broadcasting and leader election in radio networks;communication primitives in cognitive radio networks;analyzi...
来源: 评论
Efficient Massively Parallel Methods for Dynamic Programming  2017
Efficient Massively Parallel Methods for Dynamic Programming
收藏 引用
49th annual acm-SIGACT symposium on Theory of computing (STOC)
作者: Im, Sungjin Moseley, Benjamin Sun, Xiaorui Univ Calif Elect Engn & Comp Sci 5200 N Lake Rd Merced CA 95344 USA Washington Univ Dept Comp Sci & Engn 1 Brookings Dr St Louis MO 63130 USA Univ Calif Berkeley Simons Inst Theory Comp Berkeley CA 94702 USA Simons Inst Theory Comp Berkeley CA USA
Modern science and engineering is driven by massively large data sets and its advance heavily relies on massively parallel computing platforms such as Spark, MapReduce, and Hadoop. Theoretical models have been propose... 详细信息
来源: 评论
Choreographing cyber-physical distributed control systems for the energy sector  17
Choreographing cyber-physical distributed control systems fo...
收藏 引用
32nd annual acm symposium on Applied computing, SAC 2017
作者: López, Hugo A. Heussen, Kai Department of Applied Mathematics and Computer Science Technical University of Denmark Kongens Lyngby Denmark Department of Electrical Engineering Technical University of Denmark Kongens Lyngby Denmark
Energy Systems are facing a significant change in the way their management and control is conceived. With the introduction of distributed and renewable energy based resources, a shift to a more distributed operation p... 详细信息
来源: 评论