Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms

Theoretical Aspects of Computing – ICTAC 2016 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-46750-4_5 ◽

2016 ◽

pp. 69-81

Author(s):

Allyx Fontaine ◽

Akka Zemmari

Keyword(s):

Distributed Algorithms ◽

Impossibility Results

Download Full-text

Distributed Algorithms for Controlling Multiple Mobile Robots

10.21236/ada283975 ◽

1994 ◽

Author(s):

Kazuo Sugihara ◽

Ichiro Suzuki

Keyword(s):

Mobile Robots ◽

Distributed Algorithms ◽

Multiple Mobile Robots

Download Full-text

Distributed Algorithms for Sensor Fusion

10.21236/ada415039 ◽

2002 ◽

Author(s):

David Meyer ◽

Jeffrey Remmel

Keyword(s):

Sensor Fusion ◽

Distributed Algorithms

Download Full-text

Real-Time Distributed Algorithms for Visual and Battlefield Reasoning

10.21236/ada456930 ◽

2006 ◽

Author(s):

V. S. Subrahmanian ◽

Larry Davis ◽

James Reggia ◽

Victor Basili ◽

John Aloimonos

Keyword(s):

Real Time ◽

Distributed Algorithms

Download Full-text

Distributed Algorithms for Network Lifetime Maximization in Wireless Visual Sensor Networks

IEEE Transactions on Circuits and Systems for Video Technology ◽

10.1109/tcsvt.2009.2017411 ◽

2009 ◽

Vol 19 (5) ◽

pp. 704-718 ◽

Cited By ~ 40

Author(s):

Yifeng He ◽

I. Lee ◽

Ling Guan

Keyword(s):

Sensor Networks ◽

Distributed Algorithms ◽

Network Lifetime ◽

Visual Sensor ◽

Lifetime Maximization ◽

Visual Sensor Networks ◽

Wireless Visual Sensor Networks

Download Full-text

Provably Fast Asynchronous And Distributed Algorithms For Pagerank Centrality Computation

ICASSP 2021 - 2021 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) ◽

10.1109/icassp39728.2021.9413643 ◽

2021 ◽

Author(s):

Yiran He ◽

Hoi-To Wai

Keyword(s):

Distributed Algorithms ◽

Pagerank Centrality

Download Full-text

Distributed algorithms based on proximity for self-organizing fog computing systems

Pervasive and Mobile Computing ◽

10.1016/j.pmcj.2020.101316 ◽

2020 ◽

pp. 101316

Author(s):

Vasileios Karagiannis ◽

Stefan Schulte

Keyword(s):

Distributed Algorithms ◽

Fog Computing ◽

Computing Systems ◽

Self Organizing

Download Full-text

Nonsmooth Continuous-Time Distributed Algorithms for Seeking Generalized Nash Equilibria of Noncooperative Games via Digraphs

IEEE Transactions on Cybernetics ◽

10.1109/tcyb.2021.3049463 ◽

2021 ◽

pp. 1-11

Author(s):

Kaihong Lu ◽

Qixin Zhu

Keyword(s):

Distributed Algorithms ◽

Continuous Time ◽

Nash Equilibria ◽

Noncooperative Games ◽

Generalized Nash Equilibria

Download Full-text

Fault-tolerance and self-stabilization: impossibility results and solutions using self-stabilizing failure detectors

International Journal of Systems Science ◽

10.1080/00207729708929476 ◽

1997 ◽

Vol 28 (11) ◽

pp. 1177-1187 ◽

Cited By ~ 28

Author(s):

JOFFROY BEAUQUIER ◽

SYNNÖVE KEKKONEN-MONETA

Keyword(s):

Fault Tolerance ◽

Failure Detectors ◽

Impossibility Results ◽

Self Stabilization

Download Full-text

Distributed algorithms for dynamic channel allocation in cellular mobile systems

Proceedings of 1994 3rd IEEE International Conference on Universal Personal Communications ◽

10.1109/icupc.1994.383100 ◽

2002 ◽

Cited By ~ 1

Author(s):

Weng Wei ◽

B.H. Soong ◽

P.T. Tan ◽

E. Gunawan ◽

C.B. Soh

Keyword(s):

Distributed Algorithms ◽

Channel Allocation ◽

Mobile Systems ◽

Dynamic Channel Allocation ◽

Dynamic Channel ◽

Cellular Mobile

Download Full-text

Centralized and Distributed Algorithms for Energy and Spectrum Efficient User Association in Small Cell Networks

IEEE Transactions on Green Communications and Networking ◽

10.1109/tgcn.2021.3100358 ◽

2021 ◽

pp. 1-1

Author(s):

Mohammad Javad-Kalbasi ◽

Shahrokh Valaee

Keyword(s):

Distributed Algorithms ◽

Small Cell ◽

User Association ◽

Small Cell Networks ◽

Cell Networks

Download Full-text