检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

1,328 篇 会议
53 篇 期刊文献
1 册 图书

馆藏范围

1,382 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,077 篇 工学
- 1,050 篇 计算机科学与技术...
- 446 篇 软件工程
- 152 篇 信息与通信工程
- 142 篇 电气工程
- 79 篇 控制科学与工程
- 41 篇 网络空间安全
- 23 篇 电子科学与技术（可...
- 7 篇 建筑学
- 6 篇 动力工程及工程热...
- 6 篇 化学工程与技术
- 6 篇 农业工程
- 6 篇 生物工程
- 5 篇 材料科学与工程（可...
- 4 篇 机械工程
- 4 篇 光学工程
- 4 篇 仪器科学与技术
- 4 篇 生物医学工程（可授...
306 篇 理学
- 278 篇 数学
- 72 篇 统计学（可授理学、...
- 17 篇 物理学
- 13 篇 系统科学
- 8 篇 化学
- 8 篇 生物学
68 篇 管理学
- 36 篇 图书情报与档案管...
- 33 篇 管理科学与工程(可...
- 23 篇 工商管理
11 篇 经济学
- 11 篇 应用经济学
10 篇 法学
- 8 篇 社会学
10 篇 教育学
- 10 篇 教育学
6 篇 农学
- 6 篇 作物学
1 篇 医学

主题

246 篇 distributed comp...
94 篇 distributed algo...
80 篇 distributed comp...
34 篇 distributed algo...
29 篇 consensus
25 篇 distributed syst...
24 篇 congest model
23 篇 approximation al...
23 篇 computer systems...
22 篇 fault tolerance
22 篇 algorithms
20 篇 local model
20 篇 distributed grap...
18 篇 shared memory
17 篇 cloud computing
16 篇 message passing
16 篇 self-stabilizati...
14 篇 fault-tolerance
14 篇 lower bounds
13 篇 graph algorithms

机构

26 篇 swiss fed inst t...
25 篇 technion haifa
16 篇 univ freiburg fr...
15 篇 mit cambridge ma...
12 篇 tel aviv univ te...
10 篇 aalto univ espoo
10 篇 natl univ singap...
9 篇 ben gurion univ ...
9 篇 carnegie mellon ...
9 篇 technion dept co...
8 篇 weizmann inst sc...
8 篇 univ michigan an...
8 篇 national univers...
7 篇 cispa helmholtz ...
7 篇 ben gurion univ ...
6 篇 cnrs
5 篇 georgetown univ ...
5 篇 technion
5 篇 department of co...
5 篇 ecole polytech f...

作者

25 篇 kuhn fabian
20 篇 ghaffari mohsen
18 篇 suomela jukka
18 篇 censor-hillel ke...
17 篇 raynal michel
16 篇 elkin michael
16 篇 fraigniaud pierr...
15 篇 wattenhofer roge...
15 篇 pandurangan gopa...
15 篇 brandt sebastian
14 篇 peleg david
14 篇 toueg sam
14 篇 kutten shay
13 篇 patt-shamir boaz
13 篇 guerraoui rachid
12 篇 chang yi-jun
12 篇 balliu alkida
12 篇 rajsbaum sergio
12 篇 maus yannic
12 篇 olivetti dennis

语言

1,369 篇 英文
12 篇 其他
1 篇 中文

检索条件"任意字段=Proceedings of the 2014 ACM symposium on Principles of distributed computing"

共 1382 条记录，以下是71-80 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

(1-ϵ)-Approximate Maximum Weighted Matching in poly(1/ϵ, log n) Time in the distributed and Parallel Settings 23

(1-ϵ)-Approximate Maximum Weighted Matching in poly(1/ϵ, l...

引用

42nd acm SIGACT-SIGOPS symposium on principles of distributed computing, PODC 2023

作者： Huang, Shang-En Su, Hsin-Hao Boston College Chestnut HillMA United States

ISBN: (纸本)9798400701214

The maximum weighted matching (mwm) problem is one of the most well-studied combinatorial optimization problems in distributed graph algorithms. Despite a long development on the problem, and the recent progress of Fischer, Mitrovic, and Uitto [16] who gave a poly(1/ϵ, log n)-round algorithm for obtaining a (1 - ϵ)-approximate solution for unweighted maximum matching, it had been an open problem whether a (1 - ϵ)-approximate mwm can be obtained in poly(1/ϵ, log n) rounds in the CONGEST model. Algorithms with such running times were only known for special graph classes such as bipartite graphs [1] and minor-free graphs [8]. For general graphs, the previously known algorithms require exponential in (1/ϵ) rounds for obtaining a (1 - ϵ)-approximate solution [13] or achieve an approximation factor of at most 2/3 [1]. In this work, we settle this open problem by giving a deterministic poly(1/ϵ, log n)-round algorithm for computing a (1 - ϵ)-approximate mwm for general graphs in the CONGEST model. Our proposed solution extends the algorithm of Fischer, Mitrovic, and Uitto [16], blends in the sequential algorithm from Duan and Pettie [11] and the work of Faour, Fuchs, and Kuhn [13]. Interestingly, this solution also implies a CREW PRAM algorithm with poly(1/ϵ, log n) span using only O(m) processors, and a poly(1/ϵ)-passes algorithm in the semi-streaming model. © 2023 Owner/Author(s).

关键词： Approximation algorithms

来源：评论

学校读者我要写书评

暂无评论

Quantum Byzantine Agreement Against Full-Information Adversary 38

Quantum Byzantine Agreement Against Full-Information Adversa...

引用

38th International symposium on distributed computing, DISC 2024

作者： Li, Longcheng Sun, Xiaoming Zhu, Jiadong State Key Lab of Processors Institute of Computing Technology Chinese Academy of Sciences Beijing China School of Computer Science and Technology University of Chinese Academy of Sciences Beijing China

ISBN: (纸本)9783959773522

We exhibit that, when given a classical Byzantine agreement protocol designed in the private-channel model, it is feasible to construct a quantum agreement protocol that can effectively handle a full-information adversary. Notably, both protocols have equivalent levels of resilience, round complexity, and communication complexity. In the classical private-channel scenario, participating players are limited to exchanging classical bits, with the adversary lacking knowledge of the exchanged messages. In contrast, in the quantum full-information setting, participating players can exchange qubits, while the adversary possesses comprehensive and accurate visibility into the system’s state and messages. By showcasing the reduction from quantum to classical frameworks, this paper demonstrates the strength and flexibility of quantum protocols in addressing security challenges posed by adversaries with increased visibility. It underscores the potential of leveraging quantum principles to improve security measures without compromising on efficiency or resilience. By applying our reduction, we demonstrate quantum advantages in the round complexity of asynchronous Byzantine agreement protocols in the full-information model. It is well known that in the full-information model, any classical protocol requires Ω(n) rounds to solve Byzantine agreement with probability one even against Fail-stop adversary when resilience t = Θ(n) [2]. We show that quantum protocols can achieve O(1) rounds (i) with resilience t 0, therefore surpassing the classical lower bound. © Longcheng Li, Xiaoming Sun, and Jiadong Zhu.

关键词： Quantum computers

来源：评论

学校读者我要写书评

暂无评论

Brief Announcement: Deterministic Massively Parallel Algorithms for Ruling Sets 22

Brief Announcement: Deterministic Massively Parallel Algorit...

引用

acm symposium on principles of distributed computing (PODC)

作者： Pai, Shreyas Pemmaraju, Sriram V. Aalto Univ Espoo Finland Univ Iowa Iowa City IA USA

ISBN: (纸本)9781450392624

In this paper we present a deterministic O( log logn)-round algorithm for the 2-ruling set problem in the Massively Parallel Computation (MPC) model with O-similar to (n) memory;this algorithm also runs in O( log logn) rounds in the Congested Clique model. This is exponentially faster than the fastest known deterministic 2-ruling set algorithm for these models, which is simply the Omicron(log Delta)-round deterministic Maximal Independent Set (MIS) algorithm due to Czumaj, Davies, and Parter (SPAA 2020). Our result is obtained by derandomizing the 2-ruling set algorithm of Kothapalli and Pemmaraju (FSTTCS 2012).

关键词： Ruling Sets Massively Parallel computing Congested Clique Deterministic Algorithm Derandomization

来源：评论

学校读者我要写书评

暂无评论

Memory Lower Bounds and Impossibility Results for Anonymous Dynamic Broadcast 38

Memory Lower Bounds and Impossibility Results for Anonymous ...

引用

38th International symposium on distributed computing, DISC 2024

作者： Parzych, Garrett Daymude, Joshua J. School of Computing and Augmented Intelligence Biodesign Center for Biocomputing Security and Society Arizona State University TempeAZ United States

ISBN: (纸本)9783959773522

Broadcast is a ubiquitous distributed computing problem that underpins many other system tasks. In static, connected networks, it was recently shown that broadcast is solvable without any node memory and only constant-size messages in worst-case asymptotically optimal time (Hussak and Trehan, PODC’19/STACS’20/DC’23). In the dynamic setting of adversarial topology changes, however, existing algorithms rely on identifiers, port labels, or polynomial memory to solve broadcast and compute functions over node inputs. We investigate space-efficient, terminating broadcast algorithms for anonymous, synchronous, 1-interval connected dynamic networks and introduce the first memory lower bounds in this setting. Specifically, we prove that broadcast with termination detection is impossible for idle-start algorithms (where only the broadcaster can initially send messages) and otherwise requires Ω(log n) memory per node, where n is the number of nodes in the network. Even if the termination condition is relaxed to stabilizing termination (eventually no additional messages are sent), we show that any idle-start algorithm must use ω(1) memory per node, separating the static and dynamic settings for anonymous broadcast. This lower bound is not far from optimal, as we present an algorithm that solves broadcast with stabilizing termination using O(log n) memory per node in worst-case asymptotically optimal time. In sum, these results reveal the necessity of non-constant memory for nontrivial terminating computation in anonymous dynamic networks. © Garrett Parzych and Joshua J. Daymude.

关键词： distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781450357753

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 distributed applications?: research statement;towards a more reliable store-and-forward protocol for mobile text messages;logical clocks are not fair: what is fair? a case study of high-level language and optimization;an analysis of quorum-based abstractions: a case study using gorums to implement raft;data distribution method for fast giga-scale hologram generation on a multi-GPU cluster;language semantics driven design and formal analysis for distributed cyber-physical systems;and Partisan: enabling real-world protocol evaluation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

distributed CONGEST Algorithms against Mobile Adversaries 23

Distributed CONGEST Algorithms against Mobile Adversaries

引用

42nd acm SIGACT-SIGOPS symposium on principles of distributed computing (PODC)

作者： Fischer, Orr Parter, Merav Weizmann Inst Sci Rehovot Israel

ISBN: (纸本)9798400701214

In their seminal PODC 1991 paper, Ostrovsky and Yung introduced the study of distributed computation in the presence of mobile adversaries which can dynamically appear throughout the network, analogous to a spread of a virus. Over the years, this setting has been studied mostly under the assumption that the communication graph is fully-connected. Resilient CONGEST algorithms for general graphs, on the other hand, are currently known only for the classical static setting, i.e., where the set of corrupted edges (or nodes) is fixed throughout the entire computation. We fill this missing gap by providing round-efficient simulations that translate given CONGEST algorithms into equivalent algorithms that are resilient against f-mobile edge adversaries, i.e., where the adversary controls a (possibly distinct) subset of f edges F-i in each round i. Our main results are: center dot Perfect-Security with Mobile Eavesdroppers. A translation of any r-round f-static-secure algorithm into an equivalent Theta(f)-mobile-secure algorithm with Theta(y) rounds. We also show that the f-static-secure algorithms of [Hitron, Parter and Yogev, DISC 2022 & ITCS 2023] can be modified into f-mobile-secure algorithms with the same number of rounds. center dot Resilience with Mobile Byzantine Adversaries. An f-mobile-byzantine simulation which is based on a decomposition of the graph into low-diameter edge-disjoint spanning trees. This provides us with near-optimal CONGEST compilers for expander graphs. It also leads to near-optimal compilers in the congested-clique model against Theta(n)-mobile adversaries. For general (2f + 1) edge-connected graphs with f-mobile adversary, we almost match the bounds known for the f-static setting, when provided a trusted pre-processing phase. Our results are based on a collection of tools borrowed from the area of interactive coding [Gelles, Found. Trends Theor. Comput. Sci. 2017], linear sketches and low-congestion graph decomposition. The introduced toolkit

关键词： CONGEST Fault Tolerance Interactive Coding

来源：评论

学校读者我要写书评

暂无评论

CHIME: A Cache-Efficient and High-Performance Hybrid Index on Disaggregated Memory 24

CHIME: A Cache-Efficient and High-Performance Hybrid Index o...

引用

30th acm symposium on Operating Systems principles, SOSP 2024

作者： Luo, Xuchuan Shen, Jiacheng Zuo, Pengfei Wang, Xin Lyu, Michael R. Zhou, Yangfan National Key Laboratory of Parallel and Distributed Computing Changsha China School of Computer Science Fudan University Shanghai China Duke Kunshan University Kunshan China Huawei Cloud Shenzhen China Shanghai Key Laboratory of Intelligent Information Processing Shanghai China The Chinese University of Hong Kong Hong Kong Hong Kong

ISBN: (纸本)9798400712517

Disaggregated memory (DM) is a widely discussed datacenter architecture in academia and industry. It decouples computing and memory resources from monolithic servers into two network-connected resource pools. Range indexes are widely adopted by storage systems on DM to efficiently locate and query remote data. However, existing range indexes on DM suffer from either high computing-side cache consumption or high memory-side read amplifications. In this paper, we propose CHIME, a hybrid index combining B+ trees with hopscotch hashing, to achieve low cache consumption and low read amplifications simultaneously. There are three challenges in constructing CHIME on DM, i.e., the complicated optimistic synchronization, the extra metadata access, and the read amplifications introduced by hopscotch hashing. CHIME leverages 1) a three-level optimistic synchronization scheme to synchronize read and write operations with various granularities, 2) an access-aggregated metadata management technique to eliminate extra metadata accesses by piggybacking and replicating metadata, and 3) an effective hotness-aware speculative read mechanism to mitigate the read amplifications of hopscotch hashing. Experimental results show that CHIME outperforms the state-of-the-art range indexes on DM by up to 5.1× with the same cache size and achieves similar performance with up to 8.7× lower cache consumption. © 2024 Copyright is held by the owner/author(s). Publication rights licensed to acm.

关键词： Memory architecture

来源：评论

学校读者我要写书评

暂无评论

distributed Model Checking on Graphs of Bounded Treedepth 38

Distributed Model Checking on Graphs of Bounded Treedepth

引用

38th International symposium on distributed computing, DISC 2024

作者： Fomin, Fedor V. Fraigniaud, Pierre Montealegre, Pedro Rapaport, Ivan Todinca, Ioan University of Bergen Norway IRIF Université Paris Cité CNRS Paris France Universidad Adolfo Ibañez Santiago Chile Universidad de Chile Santiago Chile LIFO Université d’Orléans France INSA Centre-Val de Loire Orléans France

ISBN: (纸本)9783959773522

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-theorem regarding distributed model-checking. Various optimization problems on graphs are expressible in MSO. Examples include determining whether a graph G has a clique of size k, whether it admits a coloring with k colors, whether it contains a graph H as a subgraph or minor, or whether terminal vertices in G could be connected via vertex-disjoint paths. Our meta-theorem significantly enhances the work of Bousquet et al. [PODC 2022], which was focused on distributed certification of MSO on graphs with bounded treedepth. Moreover, our results can be extended to solving optimization and counting problems expressible in MSO, in graphs of bounded treedepth. © Fedor V. Fomin, Pierre Fraigniaud, Pedro Montealegre, Ivan Rapaport, and Ioan Todinca.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Asynchronous Fault-Tolerant distributed Proper Coloring of Graphs 38

Asynchronous Fault-Tolerant Distributed Proper Coloring of G...

引用

38th International symposium on distributed computing, DISC 2024

作者： Balliu, Alkida Fraigniaud, Pierre Lambein-Monette, Patrick Olivetti, Dennis Rabie, Mikaël Gran Sasso Science Institute L’Aquila Italy IRIF CNRS Univ. Paris Cité France IRIF Université Paris Cité France

ISBN: (纸本)9783959773522

We revisit asynchronous computing in networks of crash-prone processes, under the asynchronous variant of the standard LOCAL model, recently introduced by Fraigniaud et al. [DISC 2022]. We focus on the vertex coloring problem, and our contributions concern both lower and upper bounds for this problem. On the upper bound side, we design an algorithm tolerating an arbitrarily large number of crash failures that computes an O(∆2)-coloring of any n-node graph of maximum degree ∆, in O(log★ n) rounds. This extends Linial’s seminal result from the (synchronous failure-free) LOCAL model to its asynchronous crash-prone variant. Then, by allowing a dependency on ∆ on the runtime, we show that we can reduce the colors to (12 (∆ + 1)(∆ + 2) - 1). For cycles (i.e., for ∆ = 2), our algorithm achieves a 5-coloring of any n-node cycle, in O(log★ n) rounds. This improves the known 6-coloring algorithm by Fraigniaud et al., and fixes a bug in their algorithm, which was erroneously claimed to produce a 5-coloring. On the lower bound side, we show that, for k © Alkida Balliu, Pierre Fraigniaud, Patrick Lambein-Monette, Dennis Olivetti, and Mikaël Rabie.

关键词： Fault tolerant computer systems

来源：评论

学校读者我要写书评

暂无评论

Revisiting the Power of Non-Equivocation in distributed Protocols 22

Revisiting the Power of Non-Equivocation in Distributed Prot...

引用

acm symposium on principles of distributed computing (PODC)

作者： Ben-David, Naama Chan, Benjamin Y. Shi, Elaine VMware Res Palo Alto CA 94304 USA Cornell Univ Ithaca NY USA CMU Pittsburgh PA USA

ISBN: (纸本)9781450392624

Trusted hardware and new computing platforms such as RDMA naturally provide a non-equivocation abstraction. Previous works have shown that non-equivocation allows us to achieve tasks that otherwise would not have been possible in the plain model. In this paper, we are interested in understanding whether we can use nonequivocation to compile any asynchronous crash-fault protocol into one that tolerates the same number of Byzantine faults. Furthermore, we consider protocols with security and privacy guarantees that we must preserve under the compilation. Previous works have aimed to achieve a similar goal. However, we explain why the previous results in this area were incomplete. We then present a new compiler that achieves security and privacy, and does so while introducing only polynomial overhead over the underlying protocol (as compared to exponential overhead in previous results).

关键词： non-equivocation multiparty computation Byzantine fault tolerance

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共139页 << < 4 5 6 7 8 9 10 11 12 13 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：