Parallel and Distributed Algorithms for Model Checking Problems (Doctoral Consortium)

2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) ◽

10.1109/iceccs.2015.38 ◽

2015 ◽

Author(s):

Zhimin Wu

Keyword(s):

Model Checking ◽

Distributed Algorithms ◽

Parallel And Distributed Algorithms

Download Full-text

SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21690-4_6 ◽

2015 ◽

pp. 85-102 ◽

Author(s):

Igor Konnov ◽

Helmut Veith ◽

Josef Widder

Keyword(s):

Model Checking ◽

Distributed Algorithms ◽

Parameterized Model

Download Full-text

Parallel and Distributed Algorithms

Randomized Algorithms ◽

10.1017/cbo9780511814075.013 ◽

1995 ◽

pp. 335-367

Keyword(s):

Distributed Algorithms ◽

Parallel And Distributed Algorithms

Download Full-text

Simple Parallel and Distributed Algorithms for Spectral Graph Sparsification

ACM Transactions on Parallel Computing ◽

10.1145/2948062 ◽

2016 ◽

Vol 3 (2) ◽

pp. 1-14

Author(s):

Ioannis Koutis ◽

Shen Chen Xu

Keyword(s):

Distributed Algorithms ◽

Spectral Graph ◽

Graph Sparsification ◽

Parallel And Distributed Algorithms

Download Full-text

Parallel and distributed algorithms M. Cosnard, Y. Robert, P. Quintan and M. Raynal (Eds.)

Journal of Computational and Applied Mathematics ◽

10.1016/0377-0427(90)90443-4 ◽

1990 ◽

Vol 32 (1-2) ◽

pp. N6

Author(s):

D. Roose

Keyword(s):

Distributed Algorithms ◽

Parallel And Distributed Algorithms

Download Full-text

Efficient Parallel and Distributed Algorithms for GIS Polygonal Overlay Processing

2013 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum ◽

10.1109/ipdpsw.2013.174 ◽

2013 ◽

Author(s):

Satish Puri ◽

Sushil K. Prasad

Keyword(s):

Distributed Algorithms ◽

Parallel And Distributed Algorithms

Download Full-text

Graph matching approach and generalized median graph for automatic labeling of cortical sulci with parallel and distributed algorithms

Cognitive Systems Research ◽

10.1016/j.cogsys.2018.08.008 ◽

2019 ◽

Vol 54 ◽

pp. 62-73

Author(s):

Hichem Felouat ◽

Saliha Oukid-Khouas

Keyword(s):

Distributed Algorithms ◽

Graph Matching ◽

Median Graph ◽

Parallel And Distributed Algorithms ◽

Generalized Median

Download Full-text

Parallel and Distributed Algorithms in P Systems

Membrane Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-28024-5_4 ◽

2012 ◽

pp. 35-50 ◽

Author(s):

Radu Nicolescu

Keyword(s):

Distributed Algorithms ◽

P Systems ◽

Parallel And Distributed Algorithms

Download Full-text

Parallel and Distributed Algorithms for High-Speed Image Processing

10.21236/ada377689 ◽

2000 ◽

Author(s):

Robert L. Stevenson ◽

Andrew Lumsdaine ◽

Jeffery M. Squires ◽

Micheal P. McNally

Keyword(s):

Image Processing ◽

Distributed Algorithms ◽

High Speed Image Processing ◽

Parallel And Distributed Algorithms

Download Full-text

What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/978-3-319-41579-6_2 ◽

2016 ◽

pp. 6-21 ◽

Author(s):

Igor Konnov ◽

Helmut Veith ◽

Josef Widder

Keyword(s):

Model Checking ◽

Distributed Algorithms ◽

Download Full-text

An experimental approach to a course on parallel and distributed algorithms

Proceedings of the twenty-second SIGCSE technical symposium on Computer science education - SIGCSE '91 ◽

10.1145/107004.107058 ◽

1991 ◽

Author(s):

Ahmad Ghafarian

Keyword(s):

Distributed Algorithms ◽

Experimental Approach ◽

Parallel And Distributed Algorithms

Download Full-text