Using Simulated Execution in Verifying Distributed Algorithms

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/3-540-36384-x_23 ◽

2002 ◽

pp. 283-297 ◽

Cited By ~ 6

Author(s):

Toh Ne Win ◽

Michael D. Ernst ◽

Stephen J. Garland ◽

Dilsun Kýrlý ◽

Nancy A. Lynch

Keyword(s):

Distributed Algorithms

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

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

Distributed algorithms for opportunistic spectrum access in decentralized cognitive radio network

2018 10th International Conference on Communication Systems & Networks (COMSNETS) ◽

10.1109/comsnets.2018.8328259 ◽

2018 ◽

Author(s):

Rohit Kumar

Keyword(s):

Cognitive Radio ◽

Distributed Algorithms ◽

Cognitive Radio Network ◽

Opportunistic Spectrum Access ◽

Radio Network ◽

Spectrum Access

Download Full-text