Complexité et algorithmique avancée. Une introduction

Ce n° 6. 2 de Studia est entièrement consacré aux applications parallèles et distribuées. Il s'agit de la reprise du numéro 3. 1. Les articles : "Transparent Data Relocation in Highly Available Distributed Systems" . Ce premier article traite des protocoles de longue durée, protocoles "de services" confrontés à des changements dans la configuration matérielle. Il propose une solution par déplacement des données transparente à l'utilisateur. par Spyros Voulgaris, Maarten van Steen, Aline Baggio, Gerco Ballintjin ; "Unreliable Distributed Timing Scrutinizer to Converge toward Decision Conditions" . Ce deuxième article concerne le contrôle et l'observation interne des systèmes distribués par caractérisation des vecteurs entrants dans des ensembles de processus, il s'agit d'une extention de l'approche conditionnée introduite par Mostaféoui, Emmanuelle Anceaume, Eric Mourgaya, Philippe Raïpin Parvédy ; "Simple gossiping with balls and bins" . Ce troisième article traite des communications multi-paires. S'appuyant sur les travaux concernant la propagation des rumeurs, il fournit une méthode nouvelle d'analyse des protocoles épidémiques par représentation des propagations comme un jeu de balles par Boris Koldehofe ; "Design of a Multi-Strategy Parallelization for an Entire Application of Document Categorization on Low-Cost Multiprocessor PCs" . Le quatrième article, s'intéresse aux parallélisations d'une application complète sur un système multiprocesseur bon marché, basé sur des PC et de technologie SCSI par Stéphane Vialle, Guillaume Schaeffer, Michel Ianotto ; "Predicates for state change vs processes for event patterns" . Le cinquième article traite du problème du choix de modèle conceptuel pour spécifier des applications. On discute des spécifications formelle ou par état. Les deux approches sont discutées pour aboutir à une proposition d'extension des spécifications en introduisant des processus communicants par Tommaso Bolognesi

Ces neuf contributions reflètent les récentes avancées de la recherche concernant aussi bien l'application des langages fonctionnels que la conception et l'utilisation d'assistants à la preuve. Avec également des articles plus proches de tutoriels ou de retours d'expérience.

Cet ouvrage à destination des étudiants et doctorants, est un guide des premiers pas en LaTeX. LaTeX est à l'origine un logiciel essentiellement conçu pour composer des textes scientifiques et techniques, mais au vu de sa qualité et de sa souplesse, nombre de littéraires se sont mis à l'utiliser. Par son approche pédagogique et sa clarté cet ouvrage vous aidera a réaliser des documents en LaTeX en un minimum d'efforts et de temps. Aucune notion du langage LaTeX ou de tout autre logiciel de traitement de texte n'est nécessaire pour aborder cet ouvrage.