Modèle de calcul massivement parallèle en MapReduce pour quelques problèmes en théorie des automates - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2022

Massively parallel computing model in MapReduce for some problems in automata theory

Modèle de calcul massivement parallèle en MapReduce pour quelques problèmes en théorie des automates

Résumé

In this thesis, we tackle some known problems in automata theory using parallel approaches in large scale context, namely the composition of weighted finite state machines and the derivation of distinguishing sequences for nondeterministic finite state machines. We adopt in our study a theoretical model of parallel processing called the massive parallel computing model in MapReduce (MPC-MR) where the only cost is given by the amount of communication between the nodes of a cluster and the number of iterations of the algorithm. We have proposed efficient large-scale parallel MapReduce algorithms based on MPC-MR model for each of the addressed problems. The obtained results show clearly that the MPC-MR model offers a guaranteed theoretical framework for the development of new efficient parallel algorithms in automata theory.
Dans cette thèse, nous étudions l’algorithmique parallèle à grande échelle de quelques problèmes en théorie des automates, à savoir la composition des machines à états finis pondérées, ainsi que la dérivation des séquences séparantes à partir des machines à états finis non déterministes. Nous adoptons dans notre étude, un modèle théorique de traitement parallèle récemment introduit appelé modèle de calcul massivement parallèle en MapReduce (CMP-MR) où le seul coût est donné par la quantité de communication entre les nœuds et le nombre d’itérations de l’algorithme. Nous avons proposé des algorithmes parallèles efficaces à grande échelle en MapReduce basés sur le modèle CMP-MR pour chacun des problèmes traités. Les résultats obtenus montrent clairement que le modèle CMP-MR offre un cadre théorique garanti pour le développement denouveaux algorithmes parallèles efficaces à grande échelle en théorie des automates.
Fichier principal
Vignette du fichier
these_EL_GHADYRY_Bilal.pdf (1.64 Mo) Télécharger le fichier
Origine : Version validée par le jury (STAR)

Dates et versions

tel-04088328 , version 1 (04-05-2023)

Identifiants

  • HAL Id : tel-04088328 , version 1

Citer

Bilal El Ghadyry. Modèle de calcul massivement parallèle en MapReduce pour quelques problèmes en théorie des automates. Théorie de l'information [cs.IT]. Université du Littoral Côte d'Opale; Université Mohammed V (Rabat). Faculté des sciences; Centre d'études doctorales en sciences et technologies (Rabat), 2022. Français. ⟨NNT : 2022DUNK0650⟩. ⟨tel-04088328⟩
64 Consultations
26 Téléchargements

Partager

Gmail Facebook X LinkedIn More