咨询与建议

限定检索结果

文献类型

  • 348 篇 会议
  • 123 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 288 篇 工学
    • 224 篇 计算机科学与技术...
    • 167 篇 软件工程
    • 65 篇 信息与通信工程
    • 31 篇 控制科学与工程
    • 21 篇 电气工程
    • 15 篇 电子科学与技术(可...
    • 15 篇 生物工程
    • 13 篇 建筑学
    • 11 篇 机械工程
    • 10 篇 土木工程
    • 9 篇 力学(可授工学、理...
    • 9 篇 仪器科学与技术
    • 9 篇 交通运输工程
    • 9 篇 环境科学与工程(可...
    • 9 篇 网络空间安全
    • 6 篇 动力工程及工程热...
    • 6 篇 化学工程与技术
    • 6 篇 生物医学工程(可授...
  • 111 篇 理学
    • 65 篇 数学
    • 22 篇 系统科学
    • 14 篇 生物学
    • 13 篇 物理学
    • 10 篇 统计学(可授理学、...
    • 8 篇 化学
  • 82 篇 管理学
    • 48 篇 管理科学与工程(可...
    • 44 篇 图书情报与档案管...
    • 20 篇 工商管理
  • 11 篇 法学
    • 7 篇 社会学
  • 7 篇 医学
    • 7 篇 临床医学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 6 篇 农学
  • 5 篇 教育学
  • 1 篇 军事学

主题

  • 48 篇 computer science
  • 20 篇 routing
  • 19 篇 bandwidth
  • 19 篇 quality of servi...
  • 18 篇 application soft...
  • 17 篇 distributed comp...
  • 17 篇 telecommunicatio...
  • 15 篇 monitoring
  • 15 篇 protocols
  • 14 篇 middleware
  • 12 篇 throughput
  • 12 篇 resource managem...
  • 12 篇 computational mo...
  • 12 篇 cloud computing
  • 11 篇 traffic control
  • 11 篇 web services
  • 9 篇 computer archite...
  • 9 篇 wireless communi...
  • 9 篇 costs
  • 9 篇 load management

机构

  • 18 篇 department of di...
  • 15 篇 institute of par...
  • 7 篇 department of sy...
  • 7 篇 department of di...
  • 7 篇 school of comput...
  • 7 篇 distributed syst...
  • 6 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 institute of dis...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 distributed embe...
  • 5 篇 department of di...
  • 4 篇 center for appli...
  • 4 篇 shanghai key lab...
  • 4 篇 school of electr...
  • 4 篇 department of co...
  • 4 篇 distributed and ...
  • 4 篇 institute of com...
  • 4 篇 department of co...

作者

  • 16 篇 dustdar schahram
  • 15 篇 rajkumar buyya
  • 15 篇 chen haibo
  • 11 篇 m. menth
  • 11 篇 michael menth
  • 10 篇 könig-ries birgi...
  • 9 篇 babalou samira
  • 9 篇 menth michael
  • 9 篇 janakiram d.
  • 9 篇 bastian blywis
  • 9 篇 felix juraschek
  • 8 篇 juraschek felix
  • 7 篇 blywis bastian
  • 7 篇 zang binyu
  • 7 篇 wang zhaoguo
  • 6 篇 mostafa abotaleb
  • 6 篇 bauer bernhard
  • 6 篇 zdun uwe
  • 6 篇 li jinyang
  • 6 篇 grabowski jens

语言

  • 452 篇 英文
  • 9 篇 中文
  • 6 篇 其他
  • 3 篇 德文
  • 1 篇 日文
检索条件"机构=Programming of Distributed Systems Institute of Computer Science"
471 条 记 录,以下是1-10 订阅
排序:
WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+  54
WIP: An Engaging Undergraduate Intro to Model Checking in So...
收藏 引用
54th IEEE Frontiers in Education Conference, FIE 2024
作者: Läufer, Konstantin Mertin, Gunda Thiruvathukal, George K. Loyola University Software and Systems Laboratory Department of Computer Science Chicago United States Institute for Software Engineering and Programming Languages University of Lübeck Germany
Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into com... 详细信息
来源: 评论
Towards a Unified Flow Description Language for CPPSs: An Example with Material Flows  29
Towards a Unified Flow Description Language for CPPSs: An Ex...
收藏 引用
29th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2024
作者: Gödeke, Jana Hörstrup, Maximilian Detzner, Peter Fraunhofer Institute for Material Flow and Logistics Department for Ai and Autonomous Systems Dortmund Germany Ruhr University Bochum Faculty of Computer Science Distributed and Networked Systems Group Bochum Germany
This paper presents a unified approach for repre-senting multiple domains alongside production in cyber-physical production systems (CPPSs) through domain-specific languages (DSLs). The approach is illustrated using m... 详细信息
来源: 评论
Database Deadlock Diagnosis for Large-Scale ORM-Based Web Applications  39
Database Deadlock Diagnosis for Large-Scale ORM-Based Web Ap...
收藏 引用
39th IEEE International Conference on Data Engineering, ICDE 2023
作者: Dong, Zhiyuan Wang, Zhaoguo Yi, Chuanwei Xu, Xian Zhang, Jinyuan Li, Jinyang Chen, Haibo Shanghai Jiao Tong University Institute of Parallel and Distributed Systems China New York University Department of Computer Science United States
Today, most database-backed web applications depend on the database to handle deadlocks. At runtime, the database monitors the progress of transaction execution to detect deadlocks and abort affected transactions. How... 详细信息
来源: 评论
Fine-Grained Re-Execution for Efficient Batched Commit of distributed Transactions  49th
Fine-Grained Re-Execution for Efficient Batched Commit of Di...
收藏 引用
49th International Conference on Very Large Data Bases, VLDB 2023
作者: Dong, Zhiyuan Wang, Zhaoguo Zhang, Xiaodong Xu, Xian Zhao, Changgeng Chen, Haibo Panda, Aurojit Li, Jinyang Institute of Parallel and Distributed Systems Shanghai Jiao Tong University China Department of Computer Science New York University United States
distributed transaction systems incur extensive cross-node communication to execute and commit serializable OLTP transactions. As a result, their performance greatly suffers. Caching data at nodes that execute transac...
来源: 评论
Proximity-based service discovery for distributed digital twin systems
收藏 引用
Discover Internet of Things 2025年 第1期5卷 1-24页
作者: Rothermel, Kurt Herzog, Otthein Zhiqiang, Siegfried Wu Institute Of Parallel and Distributed Systems University of Stuttgart Universitaetsstr. 38 Stuttgart70569 Germany College of Architecture and Urban Planning Tongji University 1239 Siping Road Shanghai200092 China Department of Mathematics and Computer Science University of Bremen Bibliothekstrasse 5 Bremen23884 Germany
Over the past decade, there has been a significant increase in interest in digital twin (DT) technology in a variety of domains. While research on DTs of single assets was initially prevalent, there has been a notable... 详细信息
来源: 评论
A Simulative Approach to AMR Fleet Sizing in Decentralized Multi-Robot Task Allocation  28
A Simulative Approach to AMR Fleet Sizing in Decentralized M...
收藏 引用
28th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2023
作者: Gödeke, Jana Detzner, Peter Fraunhofer Institute for Material Flow and Logistics Department for AI and Autonomous Systems Dortmund Germany Ruhr University Bochum Faculty of Computer Science Distributed and Networked Systems Group Bochum Germany
As the Industry 4.0 shifts towards the adoption of autonomous mobile robots (AMRs) in warehouses, decentralized decision-making has become a key design principle. Multi-robot task allocation (MRTA) is a problem that i... 详细信息
来源: 评论
SDKV: A Smart and distributed Key-Value Store for the Edge-Cloud Continuum  23
SDKV: A Smart and Distributed Key-Value Store for the Edge-C...
收藏 引用
Proceedings of the IEEE/ACM 16th International Conference on Utility and Cloud Computing
作者: Juan Aznar-Poveda Tobias Pockstaller Thomas Fahringer Stefan Pedratscher Zahra Najafabadi Samani Distributed and Parallel Systems Group Institute of Computer Science University of Innsbruck Innsbruck Austria
Many time-critical and data-intensive distributed applications for the computing continuum depend on low-latency, scalable, and highly available distributed key value storages. In this paper, we introduce SDKV, a scal... 详细信息
来源: 评论
ARLCL: Anchor-free Ranging-Likelihood-based Cooperative Localization
ARLCL: Anchor-free Ranging-Likelihood-based Cooperative Loca...
收藏 引用
IEEE International Symposium on World of Wireless Mobile and Multimedia Networks (WoWMoM)
作者: Dimitris Xenakis Antonio Di Maio Torsten Braun Communication and Distributed Systems Institute of Computer Science University of Bern Switzerland
Positioning estimations of wireless sensors can be enhanced via sensor collaboration. To enable this, various methods have been proposed; yet, most do not leverage the entire collective knowledge, which also involves ...
来源: 评论
Challenges and Initial Measurements on Communication and Localization for Mountain Bike Safety Applications
Challenges and Initial Measurements on Communication and Loc...
收藏 引用
Annual Conference on Wireless On Demand Network systems and Services (WONS)
作者: Michele Zucchelli Marcus Marx Max Hörmann Frank Kargl Michele Segata Department of Information Engineering and Computer Science University of Trento Italy Institute of Distributed Systems Ulm University Germany
As of today, research in vulnerable road users (VRUs) applications is mainly focused on safety in urban road scenarios. There is little to be found in the literature with respect to VRUs in mountain areas, where mount... 详细信息
来源: 评论
A Provenance Management Framework for Knowledge Graph Generation in a Web Portal
A Provenance Management Framework for Knowledge Graph Genera...
收藏 引用
2023 Datenbanksysteme fur Business, Technologie und Web, BTW 2023 - 2023 Database systems for Business, Technology and Web, BTW 2023
作者: Kleinsteuber, Erik Babalou, Samira König-Ries, Birgitta Heinz-Nixdorf Chair for Distributed Information Systems Institute for Computer Science Friedrich Schiller University Jena Germany Halle-Jena Leipzig Germany Michael-Stifel-Center for Data-Driven and Simulation Science Jena Germany
Knowledge Graphs (KGs) are the semantic backbone for a wide variety of applications in different domains. In recent years, different web portals providing relevant functionalities for managing KGs have been proposed. ... 详细信息
来源: 评论