咨询与建议

限定检索结果

文献类型

  • 4,033 篇 会议
  • 2,063 篇 期刊文献
  • 34 篇 学位论文

馆藏范围

  • 6,130 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3,830 篇 工学
    • 2,087 篇 计算机科学与技术...
    • 1,865 篇 电气工程
    • 930 篇 信息与通信工程
    • 899 篇 控制科学与工程
    • 364 篇 软件工程
    • 153 篇 仪器科学与技术
    • 146 篇 电子科学与技术(可...
    • 134 篇 机械工程
    • 70 篇 交通运输工程
    • 39 篇 石油与天然气工程
    • 21 篇 网络空间安全
    • 19 篇 动力工程及工程热...
    • 15 篇 土木工程
    • 15 篇 测绘科学与技术
    • 11 篇 生物医学工程(可授...
    • 8 篇 材料科学与工程(可...
    • 7 篇 航空宇航科学与技...
  • 652 篇 理学
    • 342 篇 数学
    • 269 篇 系统科学
    • 70 篇 物理学
    • 18 篇 生物学
    • 8 篇 统计学(可授理学、...
    • 7 篇 化学
  • 232 篇 管理学
    • 224 篇 管理科学与工程(可...
    • 9 篇 图书情报与档案管...
  • 36 篇 医学
    • 31 篇 临床医学
    • 11 篇 特种医学
  • 20 篇 文学
    • 20 篇 新闻传播学
  • 10 篇 经济学
    • 7 篇 理论经济学
  • 6 篇 军事学
    • 6 篇 军队指挥学
  • 3 篇 教育学
  • 2 篇 农学
  • 1 篇 艺术学

主题

  • 6,130 篇 distributed algo...
  • 553 篇 convergence
  • 532 篇 wireless sensor ...
  • 528 篇 algorithm design...
  • 409 篇 optimization
  • 382 篇 computer science
  • 368 篇 distributed comp...
  • 363 篇 network topology
  • 331 篇 routing
  • 279 篇 resource managem...
  • 218 篇 computational mo...
  • 218 篇 protocols
  • 207 篇 computer network...
  • 206 篇 costs
  • 198 篇 approximation al...
  • 196 篇 fault tolerance
  • 187 篇 ad hoc networks
  • 182 篇 bandwidth
  • 180 篇 peer to peer com...
  • 180 篇 interference

机构

  • 24 篇 carnegie mellon ...
  • 19 篇 univ illinois de...
  • 19 篇 cent south univ ...
  • 19 篇 nanyang technol ...
  • 19 篇 univ cyprus dept...
  • 16 篇 ege univ int com...
  • 16 篇 univ minnesota d...
  • 16 篇 mit cambridge ma...
  • 15 篇 univ liverpool d...
  • 14 篇 suny stony brook...
  • 14 篇 swiss fed inst t...
  • 14 篇 northeastern uni...
  • 14 篇 purdue univ sch ...
  • 12 篇 univ penn dept e...
  • 12 篇 department of el...
  • 12 篇 weizmann inst sc...
  • 11 篇 department of in...
  • 11 篇 georgia state un...
  • 11 篇 purdue univ sch ...
  • 11 篇 univ cyprus dept...

作者

  • 38 篇 hadjicostis chri...
  • 23 篇 kowalski dariusz...
  • 21 篇 hong yiguang
  • 21 篇 notarstefano giu...
  • 20 篇 dagdeviren orhan
  • 20 篇 scutari gesualdo
  • 18 篇 dominguez-garcia...
  • 17 篇 deng zhenhua
  • 17 篇 pandurangan gopa...
  • 17 篇 mosbah mohamed
  • 16 篇 christoforos n. ...
  • 16 篇 khan usman a.
  • 16 篇 schmid stefan
  • 16 篇 sharma gokarna
  • 15 篇 peleg david
  • 15 篇 korman amos
  • 15 篇 navarra alfredo
  • 15 篇 mou shaoshuai
  • 15 篇 zeng xianlin
  • 15 篇 cortes jorge

语言

  • 6,029 篇 英文
  • 58 篇 其他
  • 38 篇 中文
  • 4 篇 德文
  • 1 篇 法文
  • 1 篇 葡萄牙文
  • 1 篇 俄文
  • 1 篇 土耳其文
检索条件"主题词=distributed algorithms"
6130 条 记 录,以下是241-250 订阅
排序:
Towards Formal Verification of distributed algorithms
Towards Formal Verification of Distributed Algorithms
收藏 引用
22nd International Symposium on Temporal Representation and Reasoning (TIME)
作者: Bollig, Benedikt ENS Cachan CNRS LSV Cachan France Inria Rocquencourt France
Model checking is an automatic verification technique, which provides an answer to the question whether a pro-gram, given as a state-transition system, satisfies its specification, given in terms of a temporal-logic f... 详细信息
来源: 评论
Differentially private distributed algorithms for stochastic aggregative games
收藏 引用
AUTOMATICA 2022年 142卷
作者: Wang, Jimin Zhang, Ji-Feng He, Xingkang Univ Sci & Technol Beijing Sch Automat & Elect Engn Beijing 100083 Peoples R China Chinese Acad Sci Acad Math & Syst Sci Inst Syst Sci Beijing 100190 Peoples R China Univ Chinese Acad Sci Sch Math Sci Beijing 100049 Peoples R China Univ Notre Dame Dept Elect Engn Notre Dame IN 46556 USA
Designing privacy-preserving distributed algorithms for stochastic aggregative games is urgent due to the privacy issues caused by information exchange between players. This paper proposes two differentially private d... 详细信息
来源: 评论
Designing linear distributed algorithms with memory for fast convergence
收藏 引用
INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL 2012年 第15期22卷 1691-1702页
作者: Roy, Sandip Wan, Yan Saberi, Ali Xue, Mengran Washington State Univ Dept Elect Engn Pullman WA 99164 USA Univ N Texas Dept Elect Engn Denton TX 76203 USA
Motivated by both distributed computation and decentralized control applications, we studied the distributed linear iterative algorithms with memory. Specifically, we showed that the system of linear equations Gx = b ... 详细信息
来源: 评论
Performance analysis of distance-1 distributed algorithms for admission control under the 2-hop interference model
收藏 引用
THEORETICAL COMPUTER SCIENCE 2023年 947卷
作者: Ganesan, Ashwin INSOFE Educ Pvt Ltd uGDX Inst Technol Ground Floor Nishuvi 75 Dr Annie Besant Rd Mumbai 400018 Maharashtra India 53 Deonar House Deonar Village Rd Mumbai 400088 Maharashtra India
If each node in a wireless network has information about only its 1-hop neighborhood, then what are the limits to performance? This problem is considered for wireless networks where each communication link has a minim... 详细信息
来源: 评论
Comparison of initial conditions for distributed algorithms on anonymous networks
收藏 引用
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES 2000年 第4期E83A卷 620-626页
作者: Sakamoto, N Tokyo Inst Technol Grad Sch Informat Sci & Engn Dept Math & Comp Sci Tokyo 1528852 Japan
This paper studies the "usefulness" of initial conditions for distributed algorithms on anonymous networks. In the literature, several initial conditions such as making one vertex a leader, giving the number... 详细信息
来源: 评论
Neko:: A single environment to simulate and prototype distributed algorithms
收藏 引用
JOURNAL OF INFORMATION SCIENCE AND ENGINEERING 2002年 第6期18卷 981-997页
作者: Urbán, P Défago, X Schiper, A Ecole Polytech Fed Lausanne Swiss Fed Inst Technol Sch Comp & Commun Sci CH-1015 Lausanne Switzerland Japan Adv Inst Sci & Technol Grad Sch Knowledge Sci Tatsunokuchi Ishikawa 9231292 Japan
Designing, tuning, and analyzing the performance of distributed algorithms and protocols are complex tasks. A major factor that contributes to this complexity is the fact that there is no single environment to support... 详细信息
来源: 评论
Tool integration for flexible simulation of distributed algorithms
收藏 引用
SOFTWARE-PRACTICE & EXPERIENCE 2001年 第14期31卷 1363-1380页
作者: Khanvilkar, S Shatz, SM Univ Illinois Dept Elect Engn & Comp Sci Chicago IL 60607 USA
Over the last two decades, considerable research has been done in distributed operating systems, which can be attributed to faster processors and better communication technologies. A distributed operating system requi... 详细信息
来源: 评论
Fault-tolerance of distributed algorithms: Self-stabilization and wait-freedom
收藏 引用
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS 2000年 第3期E83D卷 550-560页
作者: Masuzawa, T Nara Inst Sci & Technol Grad Sch Informat Sci Ikoma 6300101 Japan
distributed computation has attracted considerable attention and large-scale distributed systems have been designed and developed. A distributed system inherently has possibility of fault tolerance because of its redu... 详细信息
来源: 评论
Structure of initial conditions for distributed algorithms
收藏 引用
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS 2000年 第12期E83D卷 2029-2038页
作者: Sakamoto, N Tokyo Inst Technol Grad Sch Informat Sci & Engn Dept Math & Comp Sci Tokyo 1528552 Japan
We call a network an anonymous network, if each vertex of the network is given no ID's. For distributed algorithms fur anonymous networks, solvable problems depend strongly on the given initial conditions. In the ... 详细信息
来源: 评论
Formal Verification Approaches for distributed algorithms: A Systematic Literature Review
收藏 引用
Procedia Computer Science 2018年 126卷 1551-1560页
作者: Faten Fakhfakh Mohamed Tounsi Mohamed Mosbah Ahmed Hadj Kacem ReDCAD Laboratory University of Sfax Tunisia LaBRI Laboratory Bordeaux INP University of Bordeaux France
distributed algorithms have become a rapidly growing field of research due to the advances of the network technologies. However, they are very difficult to implement correctly because they must meet many requirements.... 详细信息
来源: 评论