咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1-10 订阅
排序:
PODC 2024 - proceedings of the 2024 acm symposium on principles of distributed computing
PODC 2024 - Proceedings of the 2024 ACM Symposium on Princip...
收藏 引用
43rd acm SIGACT-SIGOPS symposium on principles of distributed computing, PODC 2024
The proceedings contain 62 papers. The topics discussed include: determining recoverable consensus numbers;history-independent concurrent objects;MemSnap: a fast adaptive snapshot algorithm for RMWable shared-memory;b...
来源: 评论
Brief Announcement: Know Your Audience: Communication model and computability in anonymous networks  24
Brief Announcement: Know Your Audience: Communication model ...
收藏 引用
43rd acm SIGACT-SIGOPS symposium on principles of distributed computing, PODC 2024
作者: Charron-Bost, Bernadette Lambein-Monette, Patrick CNRS Di Ens École Normale Supérieure Paris France Unaffiliated Paris France
In distributed computing, questions of computability are exquisitely sensitive to minute details of the model assumptions, and there is no universally agreed upon model of network computing. Here, we study which funct... 详细信息
来源: 评论
All Byzantine Agreement Problems Are Expensive  24
All Byzantine Agreement Problems Are Expensive
收藏 引用
43rd acm SIGACT-SIGOPS symposium on principles of distributed computing, PODC 2024
作者: Civit, Pierre Gilbert, Seth Guerraoui, Rachid Komatovic, Jovan Paramonov, Anton Vidigueira, Manuel Lausanne Switzerland Nus Singapore Singapore Singapore
Byzantine agreement, arguably the most fundamental problem in distributed computing, operates among n processes, out of which t 2) exchanged messages in the worst case. Since then, it remained unknown whether the quad... 详细信息
来源: 评论
computing Minimum Weight Cycle in the CONGEST Model  24
Computing Minimum Weight Cycle in the CONGEST Model
收藏 引用
43rd acm SIGACT-SIGOPS symposium on principles of distributed computing, PODC 2024
作者: Manoharan, Vignesh Ramachandran, Vijaya The University of Texas at Austin AustinTX United States
Minimum Weight Cycle (MWC) is the problem of finding a simple cycle of minimum weight in a graph G = (V, E). This is a fundamental graph problem with classical sequential algorithms that run in Õ(n3) and Õ(m... 详细信息
来源: 评论
Brief Announcement: Understanding Read-Write Wait-Free Coverings in the Fully-Anonymous Shared-Memory Model  24
Brief Announcement: Understanding Read-Write Wait-Free Cover...
收藏 引用
43rd acm SIGACT-SIGOPS symposium on principles of distributed computing, PODC 2024
作者: Losa, Giuliano Gafni, Eli Stellar Development Foundation San FranciscoCA United States University of California Los Angeles Los AngelesCA United States
In the fully-anonymous (shared-memory) model, inspired by a biological setting, processors have no identifiers and memory locations are anonymous, meaning there is no pre-existing agreement among processors on any nam... 详细信息
来源: 评论
A Near-Optimal Low-Energy Deterministic distributed SSSP with Ramifications on Congestion and APSP  24
A Near-Optimal Low-Energy Deterministic Distributed SSSP wit...
收藏 引用
43rd acm SIGACT-SIGOPS symposium on principles of distributed computing, PODC 2024
作者: Ghaffari, Mohsen Trygub, Anton Mit CambridgeMA United States
We present a low-energy deterministic distributed algorithm that computes exact Single-Source Shortest Paths (SSSP) in near-optimal time: it runs in Õ(n) rounds and each node is awake during only poly(log n) roun... 详细信息
来源: 评论
Brief Announcement: Massively Parallel Ruling Set Made Deterministic  24
Brief Announcement: Massively Parallel Ruling Set Made Deter...
收藏 引用
43rd acm SIGACT-SIGOPS symposium on principles of distributed computing, PODC 2024
作者: Giliberti, Jeff Parsaeian, Zahra University of Maryland United States University of Freiburg Germany
We study the deterministic complexity of the 2-Ruling Set problem in the model of Massively Parallel Computation (MPC) with linear and strongly sublinear local *** MPC: We present a constant-round deterministic algori... 详细信息
来源: 评论
Enhanced Malware Detection in distributed IoT Environment using Optimized Cascaded LSTM-GRU Framework  43
Enhanced Malware Detection in Distributed IoT Environment us...
收藏 引用
43rd International symposium on Reliable distributed Systems
作者: Gaurav, Akshat Gupta, Brij B. Sharma, Sachin Chui, Kwok Tai Ronin Inst Montclair NJ USA Asia Univ Dept Comp Sci & Informat Engn Taichung 413 Taiwan State Bank India Panchkula India Hong Kong Metropolitan Univ HKMU Hong Kong Peoples R China
In the changing terrain of Internet of Things (IoT) security, especially in distributed systems, effective and fast virus detection is a challenging task. Using a Cascaded LSTM-GRU architecture, this work presents a M... 详细信息
来源: 评论
Brief Announcement: distributed Model Checking on Graphs of Bounded Treedepth  24
Brief Announcement: Distributed Model Checking on Graphs of ...
收藏 引用
43rd acm SIGACT-SIGOPS symposium on principles of distributed computing, PODC 2024
作者: Fomin, Fedor V. Fraigniaud, Pierre Montealegre, Pedro Rapaport, Ivan Todinca, Ioan University of Bergen Bergen Norway Université Paris Cité CNRS Paris France Universidad Adolfo Ibañez Santiago Chile Universidad de Chile Santiago Chile Université d'Orléans Insa Cvl Orléans France
We establish that every monadic second-order logic (MSO) formula on graphs with bounded treedepth is decidable in a constant number of rounds within the CONGEST model. To our knowledge, this marks the first meta-theor... 详细信息
来源: 评论
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... 详细信息
来源: 评论