咨询与建议

限定检索结果

文献类型

  • 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 订阅
排序:
The weakest failure detectors to solve certain fundamental problems in distributed computing  04
The weakest failure detectors to solve certain fundamental p...
收藏 引用
proceedings of the 23rd Annual acm symposium on principles of distributed computing
作者: Delporte-Gallet, Carole Hadzilacos, Vassos Fauconnier, Hugues Kouznetsov, Petr Guerraoui, Rachid Toueg, Sam LIAFA Université Paris 7 France Department of Computer Science University of Toronto Canada Distributed Programming Laboratory EPFL Switzerland
We determine the weakest failure detectors to solve several fundamental problems in distributed message-passing systems, for all environments - i.e., regardless of the number and timing of crashes. The problems that w... 详细信息
来源: 评论
How fast can a distributed atomic read be?  04
How fast can a distributed atomic read be?
收藏 引用
proceedings of the 23rd Annual acm symposium on principles of distributed computing
作者: Dutta, Partha Guerraoui, Rachid Levy, Ron R. Chakraborty, Arindam Distributed Programming Laboratory EPFL CH-1015 Lausanne Switzerland
This paper addresses the problem of designing an efficient implementation of a basic atomic read-write data structure over an asynchronous message-passing system. In particular, we consider time-efficient implementati... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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: 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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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...
来源: 评论
System Optimizations for Enabling Training of Extreme Long Sequence Transformer Models  24
System Optimizations for Enabling Training of Extreme Long S...
收藏 引用
43rd acm SIGACT-SIGOPS symposium on principles of distributed computing, PODC 2024
作者: Jacobs, Sam Ade Tanaka, Masahiro Zhang, Chengming Zhang, Minjia Aminadabi, Reza Yazdani Song, Shuaiwen Leon Rajbhandari, Samyam He, Yuxiong Microsoft Inc Redmond United States
Computation in a typical Transformer-based large language model (LLM) can be characterized by batch size, hidden dimension, number of layers, and sequence length. Until now, system works for accelerating LLM training ... 详细信息
来源: 评论