Treffer 41 - 60 von 47.121

41

Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness
Akili, Samira ; Völlinger, Kim ; Humboldt-Universität zu Berlin = Humboldt University of Berlin = Université Humboldt de Berlin (HU Berlin) ; et al.
8th International Conference on Fundamentals of Software Engineering (FSEN). :179-185

Tehran, Iran [INFO]Computer Science [...
Konferenz
Zu den Favoriten
43

Distributed Algorithms via Saddle-Point Dynamics for Multi-Robot Task Assignment
Yi Huang ; Jiacheng Kuai ; Shisheng Cui ; et al.
IEEE Robotics and Automation Letters. 9:11178-11185

Fachzeitschrift
Zu den Favoriten
44

Optimization of Distributed Algorithms in Cloud Computing Environment
Yulong Cao
2024 5th International Conference on Artificial Intelligence and Computer Engineering (ICAICE). :559-563

Fachzeitschrift
Zu den Favoriten
45

Discrete-time distributed algorithms for solving linear equations via layered coordination
Bo Wang ; Jinghao Li
International Journal of Systems Science. 56:638-657

Fachzeitschrift
Zu den Favoriten
46

Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata
Baumeister, Tom ; Eichler, Paul ; Jacobs, Swen ; et al.

Computer Science - Distr...
Report
Zu den Favoriten
47

Mining in Logarithmic Space with Variable Difficulty
Miller, Loïc ; Pacaud, Dorian ; Derousseaux-Lebert, Nathanaël ; et al.
CCS 2025 - Conference on computer and communications security. :1-15

Tapei, Taiwan • Computing methodologie... • Theory of computation... Security and privacy → D... [INFO]Computer Science [...
Konferenz
Zu den Favoriten
48

Designing edge-based and node-based fully distributed algorithms for aggregative games with the adaptive technique
Wang, Dong ; Chen, Mingfei ; Lian, Jie ; et al.
In Automatica September 2025 179

Fachzeitschrift
Zu den Favoriten
49

Tracing Distributed Algorithms Using Replay Clocks
Lagwankar, Ishaan

Computer Science - Distr...
Report
Zu den Favoriten
50

Classical and Quantum Distributed Algorithms for the Survivable Network Design Problem
Kerger, Phillip ; Neira, David E. Bernal ; Izquierdo, Zoe Gonzalez ; et al.

Quantum Physics Computer Science - Distr...
Report
Zu den Favoriten
51

Analysis of Distributed Algorithms for Big-data
Purohit, Rajendra ; Chowdhary, K R ; Purohit, S D

Computer Science - Distr...
Report
Zu den Favoriten
52

Recent Developments in Quantum Distributed Algorithms
François Le Gall
Algorithmic Foundations for Social Advancement ISBN: 9789819606672

Buch
Zu den Favoriten
53

Survey of distributed algorithms for resource allocation over multi-agent systems
Doostmohammadian, Mohammadreza ; Aghasi, Alireza ; Pirani, Mohammad ; et al.
In Annual Reviews in Control 2025 59

Fachzeitschrift
Zu den Favoriten
54

Scalable Distributed Algorithms for Size-Constrained Submodular Maximization in the MapReduce and Adaptive Complexity Models
Chen, Yixin ; Dey, Tonmoy ; Kuhnle, Alan
Journal of Artificial Intelligence Research. 80:1575-1622

FOS: Computer and inform... Computer Science - Machi... Computer Science - Distr... Computer Science - Data... 0202 electrical engineer... Data Structures and Algo...
Fachzeitschrift
Zu den Favoriten
55

Survey of Distributed Algorithms for Resource Allocation over Multi-Agent Systems
Doostmohammadian, Mohammadreza ; Aghasi, Alireza ; Pirani, Mohammad ; et al.

Electrical Engineering a... Computer Science - Distr... Electrical Engineering a... Mathematics - Optimizati...
Report
Zu den Favoriten
56

Distributed Algorithms to Find Similar Time Series
Levchenko, Oleksandra ; Kolev, Boyan ; Yagoubi, Djamel-Edine, Edine ; et al.
ECML-PKDD 2019 - European Conference on Machine Learning and Knowledge Discovery in Databases. :781-785

Wurtzbourg, Germany Time series Indexing Similarity search Spark Distributed data process...
Konferenz
Zu den Favoriten
57

On Certifying Distributed Algorithms: Problem of Local Correctness
Völlinger, Kim ; Humboldt-Universität zu Berlin = Humboldt University of Berlin = Université Humboldt de Berlin (HU Berlin) ; Jorge A. Pérez ; et al.
39th International Conference on Formal Techniques for Distributed Objects. :281-288

Copenhagen, Denmark [INFO]Computer Science [... [INFO.INFO-NI]Computer S... Networking and Internet...
Konferenz
Zu den Favoriten
58

On the Design and Analysis of Parallel and Distributed Algorithms
Purohit, Rajendra ; Chowdhary, K R ; Purohit, S D

Computer Science - Distr...
Report
Zu den Favoriten
59

Brief Announcement: Efficient Distributed Algorithms for Shape Reduction via Reconfigurable Circuits
Almalki, Nada ; Gupta, Siddharth ; Michail, Othon ; et al.

programmable matter collision avoidance ddc:004 growth process shrinking process
Konferenz
Zu den Favoriten
60

Exploring Collaborative Co-Signing Intelligence and Parallel Distributed Algorithms for Integrating Internal and External Documents
Xiguo Hu ; null Tao Zheng ; null Dongliang Hou ; et al.
Scalable Computing: Practice and Experience. 25:2711-2720

Fachzeitschrift
Zu den Favoriten

Filter