咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是51-60 订阅
排序:
KnightKing: A Fast distributed Graph Random Walk Engine  19
KnightKing: A Fast Distributed Graph Random Walk Engine
收藏 引用
27th acm symposium on Operating Systems principles (SOSP)
作者: Yang, Ke Zhang, MingXing Chen, Kang Ma, Xiaosong Bai, Yang Jiang, Yong Tsinghua Univ Beijing Natl Res Ctr Informat Sci & Technol BNRis Dept Comp Sci & Technol Beijing Peoples R China Tsinghua Univ Res Inst Shenzhen Peoples R China Sangfor Technol Inc Shenzhen Peoples R China Hamad Bin Khalifa Univ Qatar Comp Res Inst Ar Rayyan Qatar 4Paradigm Co Ltd Beijing Peoples R China
Random walk on graphs has recently gained immense popularity as a tool for graph data analytics and machine learning. Currently, random walk algorithms are developed as individual implementations and suffer significan... 详细信息
来源: 评论
CrashTuner: Detecting Crash-Recovery Bugs in Cloud Systems via Meta-Info Analysis  19
CrashTuner: Detecting Crash-Recovery Bugs in Cloud Systems v...
收藏 引用
27th acm symposium on Operating Systems principles (SOSP)
作者: Lu, Jie Liu, Chen Li, Lian Feng, Xiaobing Tan, Feng Yang, Jun You, Liang Univ Chinese Acad Sci CAS ICT SKL Comp Architecture Beijing Peoples R China Alibaba Grp Hangzhou Peoples R China TianQi Soft Inc Chengdu Peoples R China
Crash-recovery bugs (bugs in crash-recovery-related mechanisms) are among the most severe bugs in cloud systems and can easily cause system failures. It is notoriously difficult to detect crash-recovery bugs since the... 详细信息
来源: 评论
Relays: Towards a link layer for robust and secure fog computing  37
Relays: Towards a link layer for robust and secure fog compu...
收藏 引用
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
作者: Scheideler, Christian Paderborn University Paderborn Germany
In my presentation I will propose a new link-layer model for distributed computing based on so-called relays that promises to be useful for the design of robust and secure distributed systems based on overlay networks... 详细信息
来源: 评论
proceedings of the annual acm symposium on principles of distributed computing
Proceedings of the Annual ACM Symposium on Principles of Dis...
收藏 引用
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
The proceedings contain 7 papers. The topics discussed include: Relays: towards a link layer for robust and secure fog computing;distributing computations in fog architectures;scheduling at the edge for assisting clou...
来源: 评论
Turn of the carousel - what does edge computing change for distributed applications?  37
Turn of the carousel - what does edge computing change for d...
收藏 引用
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
作者: Venugopal, Srikumar Gkoufas, Yiannis Gazzetti, Michele Katrinis, Kostas IBM Research Ireland
Over the years, developments such as cloud computing, Internet of Things, and now edge and fog computing, have probably caused paradigm fatigue among practitioners. The question arises whether adopting a specific para... 详细信息
来源: 评论
proceedings of the annual acm symposium on principles of distributed computing
Proceedings of the Annual ACM Symposium on Principles of 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
The proceedings contain 9 papers. The topics discussed include: saying what you mean;towards reproducible evaluation of large-scale distributed systems;turn of the carousel – what does edge computing change for distr...
来源: 评论
Partisan: Enabling real-world protocol evaluation  37
Partisan: Enabling real-world protocol evaluation
收藏 引用
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
作者: Meiklejohn, Christopher S. Université Catholique de Louvain Louvain-la-Neuve Belgium
We present the design and implementation of Partisan, an Erlang library for enabling real-world experiments of distributed protocols and applications. Partisan is a "batteries-included" library facilitating ... 详细信息
来源: 评论
proceedings of the annual acm symposium on principles of distributed computing
Proceedings of the Annual ACM Symposium on Principles of Dis...
收藏 引用
37th acm SIGACT-SIGOPS symposium on principles of distributed computing, PODC 2018
The proceedings contain 62 papers. The topics discussed include: nesting-safe recoverable linearizability: modular constructions for non-volatile memory;deterministic abortable mutual exclusion with sublogarithmic ada...
来源: 评论
A Brief Tutorial on distributed and Concurrent Machine Learning  18
A Brief Tutorial on Distributed and Concurrent Machine Learn...
收藏 引用
37th acm SIGACT-SIGOPS symposium on principles of distributed computing (PODC)
作者: Alistarh, Dan IST Austria Klosterneuburg Austria
The area of machine learning has made considerable progress over the past decade, enabled by the widespread availability of large datasets, as well as by improved algorithms and models. Given the large computational d... 详细信息
来源: 评论
An algorithmic approach to the asynchronous computability theorem
收藏 引用
Journal of Applied and Computational Topology 2018年 第3-4期1卷 451-474页
作者: Saraph, Vikram Herlihy, Maurice Gafni, Eli Brown University Providence RI United States UCLA Los Angeles CA United States
The asynchronous computability theorem (ACT) uses concepts from combinatorial topology to characterize which tasks have wait-free solutions in read–write memory. A task can be expressed as a relation between two chro... 详细信息
来源: 评论