咨询与建议

限定检索结果

文献类型

  • 84 篇 会议
  • 8 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 67 篇 工学
    • 62 篇 计算机科学与技术...
    • 35 篇 软件工程
    • 9 篇 信息与通信工程
    • 6 篇 控制科学与工程
    • 4 篇 电气工程
    • 3 篇 网络空间安全
    • 1 篇 材料科学与工程(可...
    • 1 篇 电子科学与技术(可...
    • 1 篇 化学工程与技术
  • 24 篇 理学
    • 22 篇 数学
    • 8 篇 统计学(可授理学、...
    • 3 篇 物理学
    • 2 篇 系统科学
    • 1 篇 化学
  • 3 篇 管理学
    • 2 篇 管理科学与工程(可...
    • 2 篇 工商管理
    • 1 篇 图书情报与档案管...
  • 1 篇 经济学
    • 1 篇 应用经济学

主题

  • 21 篇 distributed comp...
  • 11 篇 distributed comp...
  • 6 篇 computer science
  • 5 篇 distributed algo...
  • 4 篇 causal consisten...
  • 4 篇 cloud computing
  • 3 篇 algorithms
  • 3 篇 computational mo...
  • 3 篇 testing
  • 3 篇 cryptography
  • 2 篇 fault-tolerant d...
  • 2 篇 automated verifi...
  • 2 篇 partial synchron...
  • 2 篇 reliability
  • 2 篇 replication
  • 2 篇 theorem proving
  • 2 篇 approximation al...
  • 2 篇 bandwidth
  • 2 篇 consensus
  • 2 篇 radio network

机构

  • 2 篇 univ oxford oxfo...
  • 2 篇 cispa helmholtz ...
  • 2 篇 univ nova lisboa...
  • 2 篇 mit cambridge ma...
  • 2 篇 ist austria aust...
  • 2 篇 imdea software i...
  • 2 篇 mit comp sci & a...
  • 2 篇 department of co...
  • 2 篇 shanghai jiao to...
  • 2 篇 university of fr...
  • 2 篇 mit csail boston...
  • 2 篇 univ paris 06 un...
  • 2 篇 cnrs ens inria f...
  • 1 篇 department of co...
  • 1 篇 computer science...
  • 1 篇 johns hopkins un...
  • 1 篇 princeton univ d...
  • 1 篇 icsi berkeley ca...
  • 1 篇 univ neuchatel i...
  • 1 篇 département d'in...

作者

  • 4 篇 guerraoui rachid
  • 3 篇 kuhn fabian
  • 3 篇 fauconnier hugue...
  • 3 篇 fraigniaud pierr...
  • 2 篇 lesani mohsen
  • 2 篇 todinca ioan
  • 2 篇 kouznetsov petr
  • 2 篇 dragoi cezara
  • 2 篇 toueg sam
  • 2 篇 ferreira carla
  • 2 篇 delporte-gallet ...
  • 2 篇 zufferey damien
  • 2 篇 gotsman alexey
  • 2 篇 wattenhofer roge...
  • 2 篇 shapiro marc
  • 2 篇 brian harvey
  • 2 篇 chlipala adam
  • 2 篇 luke segars
  • 2 篇 henzinger thomas...
  • 2 篇 tiffany barnes

语言

  • 84 篇 英文
  • 8 篇 其他
检索条件"任意字段=Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing"
92 条 记 录,以下是21-30 订阅
排序:
Experimental Validation of a Performance Model for a distributed Recoverable Boeing 747 Flight Control System Subject to Digital Upsets
Experimental Validation of a Performance Model for a Distrib...
收藏 引用
SSST 2011 - 43rd IEEE Southeastern symposium on System Theory
作者: Wang, Rui Gray, W. Steven Gonzalez, Oscar R. Old Dominion Univ Dept Elect & Comp Engn Norfolk VA 23529 USA
This paper describes a High Intensity Radiated Fields experiment conducted at the NASA Langley Research Center to validate a tracking performance model for a Boeing 747 digital flight control system implemented on a d... 详细信息
来源: 评论
Brief Announcement: Content-Oblivious Leader Election on Rings  24
Brief Announcement: Content-Oblivious Leader Election on Rin...
收藏 引用
43rd acm SIGACT-SIGOPS symposium on principles of distributed computing, PODC 2024
作者: Frei, Fabian Gelles, Ran Ghazy, Ahmed Nolin, Alexandre Cispa Helmholtz Center for Information Security Saarbrücken Germany Bar-Ilan University Ramat Gan Israel
In content-oblivious computation, n nodes wish to compute a given task over an asynchronous network that suffers from an extremely harsh type of noise, which corrupts the content of all messages across all channels. I... 详细信息
来源: 评论
Universally Optimal Information Dissemination and Shortest Paths in the HYBRID distributed Model  24
Universally Optimal Information Dissemination and Shortest P...
收藏 引用
43rd acm SIGACT-SIGOPS symposium on principles of distributed computing, PODC 2024
作者: Chang, Yi-Jun Hecht, Oren Leitersdorf, Dean Schneider, Philipp National University of Singapore Singapore Technion Israel University of Bern Switzerland
In most modern networks, nodes have access to various modes of communication each with different characteristics. In this work we consider the Hybrid model of distributed computing, introduced recently by Augustine, H... 详细信息
来源: 评论
Brief Announcement: On the Limits of Information Spread by Memory-less Agents  24
Brief Announcement: On the Limits of Information Spread by M...
收藏 引用
43rd acm SIGACT-SIGOPS symposium on principles of distributed computing, PODC 2024
作者: D'Archivio, Niccolò Vacus, Robin Coati Inria d'Université Côte d'Azur Sophia Antipolis France Bocconi Institute for Data Science and Analytics Milan Italy
We address the self-stabilizing bit-dissemination problem, designed to capture the challenges of spreading information and reaching consensus among entities with minimal cognitive and communication capacities. Specifi... 详细信息
来源: 评论
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... 详细信息
来源: 评论
STOC'11 - proceedings of the 43rd acm symposium on Theory of computing
STOC'11 - Proceedings of the 43rd ACM Symposium on Theory of...
收藏 引用
The proceedings contain 84 papers. The topics discussed include: social networks spread rumors in sublogarithmic time;quantum one-way communication can be exponentially stronger than classical communication;cover time... 详细信息
来源: 评论
Selfish caching in distributed systems: A game-theoretic analysis
Selfish caching in distributed systems: A game-theoretic ana...
收藏 引用
proceedings of the 23rd Annual acm symposium on principles of distributed computing
作者: Chun, Byung-Gon Barreno, Marco Chaudhuri, Kamalika Papadimitriou, Christos H. Wee, Hoeteck Kubiatowicz, John Computer Science Division University of California Berkeley
We analyze replication of resources by server nodes that act selfishly, using a game-theoretic approach. We refer to this as the selfish caching problem. In our model, nodes incur either cost for replicating resources... 详细信息
来源: 评论
What cannot be computed locally!  04
What cannot be computed locally!
收藏 引用
proceedings of the 23rd Annual acm symposium on principles of distributed computing
作者: Kuhn, Fabian Moscibroda, Thomas Wattenhofer, Roger Dept. of Computer Science ETH Zurich 8092 Zurich Switzerland
We give time lower bounds for the distributed approximation of minimum vertex cover (MVC) and related problems such as minimum dominating set (MDS). In k communication rounds, MVC and MDS can only be approximated by f... 详细信息
来源: 评论
Conference Record of the Annual acm symposium on principles of Programming Languages
Conference Record of the Annual ACM Symposium on Principles ...
收藏 引用
43rd Annual acm SIGPLAN-SIGACT symposium on principles of Programming Languages, POPL 2016
The proceedings contain 61 papers. The topics discussed include: programming the world of uncertain things;type theory in type theory using quotient inductive types;system F-omega with equirecursive types for datatype...
来源: 评论
Swiper: a new paradigm for efficient weighted distributed protocols  24
Swiper: a new paradigm for efficient weighted distributed pr...
收藏 引用
43rd acm SIGACT-SIGOPS symposium on principles of distributed computing, PODC 2024
作者: Tonkikh, Andrei Freitas, Luciano Ltci Télécom Paris Institut Polytechnique de Paris Palaiseau France
The majority of fault-tolerant distributed algorithms are designed assuming a nominal corruption model, in which at most a fraction fn of parties can be corrupted by the adversary. However, due to the infamous Sybil a... 详细信息
来源: 评论