咨询与建议

限定检索结果

文献类型

  • 116 篇 会议
  • 3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 91 篇 工学
    • 90 篇 计算机科学与技术...
    • 64 篇 软件工程
    • 15 篇 信息与通信工程
    • 5 篇 控制科学与工程
    • 4 篇 电气工程
    • 2 篇 仪器科学与技术
    • 2 篇 电子科学与技术(可...
    • 2 篇 网络空间安全
    • 1 篇 光学工程
    • 1 篇 生物医学工程(可授...
  • 38 篇 理学
    • 36 篇 数学
    • 15 篇 统计学(可授理学、...
    • 4 篇 物理学
  • 10 篇 管理学
    • 7 篇 管理科学与工程(可...
    • 4 篇 工商管理
    • 3 篇 图书情报与档案管...
  • 3 篇 经济学
    • 3 篇 应用经济学

主题

  • 40 篇 distributed comp...
  • 8 篇 computer systems...
  • 4 篇 distributed comp...
  • 3 篇 distributed algo...
  • 3 篇 randomized algor...
  • 2 篇 computer science
  • 2 篇 spanner
  • 2 篇 database systems
  • 2 篇 game-theoretic m...
  • 2 篇 distributed algo...
  • 2 篇 mobile agents
  • 2 篇 algorithms
  • 2 篇 consensus
  • 2 篇 price of anarchy
  • 2 篇 computer program...
  • 2 篇 scheduling
  • 2 篇 computer network...
  • 2 篇 cryptography
  • 2 篇 nash equilibrium
  • 2 篇 sensor networks

机构

  • 3 篇 irisa campus bea...
  • 2 篇 irisa rennes ced...
  • 2 篇 department of co...
  • 2 篇 eth zurich
  • 2 篇 mitre corporatio...
  • 2 篇 boston college
  • 2 篇 at&t bell lab mu...
  • 2 篇 ibm san jose res...
  • 1 篇 georgia institut...
  • 1 篇 yale university ...
  • 1 篇 university of ot...
  • 1 篇 dept. of electri...
  • 1 篇 sch. of elec./co...
  • 1 篇 diag university ...
  • 1 篇 school of comput...
  • 1 篇 weizmann inst sc...
  • 1 篇 university of co...
  • 1 篇 univ of californ...
  • 1 篇 department of ma...
  • 1 篇 science and tech...

作者

  • 4 篇 raynal michel
  • 3 篇 kutten shay
  • 2 篇 peleg david
  • 2 篇 todinca ioan
  • 2 篇 alex a. shvartsm...
  • 2 篇 rogert wattenhof...
  • 2 篇 fabian kuhn
  • 2 篇 tixeuil sébastie...
  • 2 篇 anon
  • 2 篇 mohan c.
  • 2 篇 michel raynal
  • 2 篇 helary jean-mich...
  • 2 篇 gafni eli
  • 2 篇 isard michael
  • 2 篇 lynch nancy
  • 2 篇 dolev danny
  • 2 篇 achour mostefaou...
  • 2 篇 aspnes james
  • 2 篇 fraigniaud pierr...
  • 2 篇 nancy lynch

语言

  • 118 篇 英文
  • 1 篇 其他
检索条件"任意字段=Proceedings of the twenty-second annual symposium on Principles of distributed computing"
119 条 记 录,以下是1-10 订阅
排序:
proceedings of the twenty-second annual ACM symposium on principles of distributed computing, PODC 2003
Proceedings of the Twenty-Second Annual ACM Symposium on Pri...
收藏 引用
twenty-second annual ACM symposium on principles of distributed computing, PODC 2003
The proceedings contains 53 papers from the twenty-second annual ACM symposium on principles of distributed computing, PODC 2003. The topics discussed include: simple and fast optimistic protocols for fair electronic ... 详细信息
来源: 评论
COMPSO: Optimizing Gradient Compression for distributed Training with second-Order Optimizers  25
COMPSO: Optimizing Gradient Compression for Distributed Trai...
收藏 引用
30th symposium on principles and Practice of Parallel Programming
作者: Sun, Baixi Liu, Weijin Pauloski, J. Gregory Tian, Jiannan Jia, Jinda Wang, Daoce Zhang, Boyuan Zheng, Mingkai Di, Sheng Jin, Sian Zhang, Zhao Yu, Xiaodong Iskra, Kamil A. Beckman, Pete Tan, Guangming Tao, Dingwen Indiana Univ Bloomington IN USA Stevens Inst Technol Hoboken NJ USA Univ Chicago Chicago IL USA Rutgers State Univ New Brunswick NJ USA Argonne Natl Lab Lemont IL USA Temple Univ Philadelphia PA USA Northwestern Univ Evanston IL USA Univ Chinese Acad Sci Beijing Peoples R China
second-order optimization methods have been developed to enhance convergence and generalization in deep neural network (DNN) training compared to first-order methods like Stochastic Gradient Descent (SGD). However, th... 详细信息
来源: 评论
proceedings OF THE second annual ACM symposium ON principles OF distributed computing.
PROCEEDINGS OF THE SECOND ANNUAL ACM SYMPOSIUM ON PRINCIPLES...
收藏 引用
proceedings of the second annual ACM symposium on principles of distributed computing.
作者: Anon
The 26 papers in this volume deal with principles of distributed computing. Topics covered include distributed Networks;Concurrency Controls;distributed Databases;and Operating Systems.
来源: 评论
proceedings of the twenty-First annual ACM symposium on principles of distributed computing
Proceedings of the Twenty-First Annual ACM Symposium on Prin...
收藏 引用
proceedings of the twenty - First annual ACM symposium on principles of distributed computing PODC 2002
The proceedings contains 43 papers. Topics discussed include distributed computing, scalable queue based spin locks, lexicographically optimal smoothing, replication costs, assignment based partitioning, optimal mobil... 详细信息
来源: 评论
proceedings of the annual ACM Sumposium on principles of distributed computing: Foreword
Proceedings of the Annual ACM Sumposium on Principles of Dis...
收藏 引用
twenty-second annual ACM symposium on principles of distributed computing, PODC 2003
作者: Anon
No abstract available
来源: 评论
Cryptography and Competition Policy - Issues with 'Trusted computing'
Cryptography and Competition Policy - Issues with 'Trusted C...
收藏 引用
twenty-second annual ACM symposium on principles of distributed computing, PODC 2003
作者: Anderson, Ross Cambridge University Computer Laboratory JJ Thomson Avenue Cambridge CB3 0FD United Kingdom
The most significant strategic development in information technology over the past year has been 'trusted computing'. This is popularly associated with Microsoft's 'Palladium' project, recently ren... 详细信息
来源: 评论
Brief Announcement: Dynamic Group Communication
Brief Announcement: Dynamic Group Communication
收藏 引用
twenty-second annual ACM symposium on principles of distributed computing, PODC 2003
作者: Schiper, André Ecl. Polytech. Fed. de Lausanne 1015 Lausanne Switzerland
The latest specifications for dynamic group communication in a distributed system are discussed. The reliable broadcast in a dynamic system is called reliable multicast, which is defined by the two primitives rmultica... 详细信息
来源: 评论
Brief Announcement: Branching Time Refinement
Brief Announcement: Branching Time Refinement
收藏 引用
twenty-second annual ACM symposium on principles of distributed computing, PODC 2003
作者: Manolios, Panagiotis College of Computing CERCS Lab Georgia Institute of Technology 801 Atlantic Drive Atlanta GA 30332 United States
The notions of refinement for branching time based on stuttering simulation and bisimulation are developed. A local proof rule called well-founded simulation is introduced. It is shown that if one system refines anoth... 详细信息
来源: 评论
Brief Announcement: Self-Assembly as Graph Grammar as distributed System
Brief Announcement: Self-Assembly as Graph Grammar as Distri...
收藏 引用
28th annual ACM symposium on principles of distributed computing
作者: Sterling, Aaron Iowa State Univ Dept Comp Sci Lab Nanoscale Self Assembly Ames IA 50011 USA
In 2004, Klavins et al. introduced the use of graph grammars to describe-and to program-systems of self-assembly. It turns out that these graph grammars can be embedded in a graph rewriting characterization of distrib... 详细信息
来源: 评论
Brief Announcement: Extending SQL Access Control to Derived and distributed Data
Brief Announcement: Extending SQL Access Control to Derived ...
收藏 引用
twenty-second annual ACM symposium on principles of distributed computing, PODC 2003
作者: Rosenthal, Arnon Sciore, Edward MITRE Corporation Boston College
The extension of Structured Query Language (SQL) access control approaches in deriving data from distributed systems was discussed. The three component features of the discussed SQL model included: applicability of de... 详细信息
来源: 评论