Hierarchical correctness proofs for distributed algorithms

Proceedings of the sixth annual ACM Symposium on Principles of distributed computing - PODC '87 ◽

10.1145/41840.41852 ◽

1987 ◽

Author(s):

Nancy A. Lynch ◽

Mark R. Tuttle

Keyword(s):

Distributed Algorithms ◽

Correctness Proofs

Download Full-text

Correctness proofs of distributed algorithms

Lecture Notes in Computer Science - Theory and Practice in Distributed Systems ◽

10.1007/3-540-60042-6_12 ◽

1995 ◽

pp. 164-177 ◽

Author(s):

W. Reisig

Keyword(s):

Distributed Algorithms ◽

Correctness Proofs

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 ◽

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

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 ◽

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 ◽

User Association ◽

Small Cell Networks ◽

Download Full-text