Benutzer: Gast  Login
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Originaltitel:
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Übersetzter Titel:
Populationsprokolle: Ausdrucksstärke, Speicherkomplexität, und automatische Verifikation.
Autor:
Jaax, Stefan
Jahr:
2020
Dokumenttyp:
Dissertation
Fakultät/School:
Fakultät für Informatik
Betreuer:
Esparza Estaun, Francisco Javier (Prof. Dr.)
Gutachter:
Esparza Estaun, Francisco Javier (Prof. Dr.); Majumdar, Rupak (Prof. Ph.D.)
Sprache:
en
Fachgebiet:
DAT Datenverarbeitung, Informatik
Stichworte:
population protocols, distributed computation, verification
Übersetzte Stichworte:
Populationsprotokolle, distribuiertes Rechnen, Verifikation
TU-Systematik:
DAT 500d
Kurzfassung:
Population protocols (Angluin et al., 2004) are a model of distributed computation by means of pairwise interactions of identical, finite-state, passively mobile agents. We investigate three fundamental questions: 1.) state complexity (How much memory is needed per agent?); 2.) verification complexity (can protocols be automatically verified, and if so, how efficiently?); 3.) expressiveness of the basic model, and its extensions.
Übersetzte Kurzfassung:
Populationsprotokolle (Angluin et al., 2004) sind ein etabliertes, distribuiertes Rechenmodell von baugleichen, mobilen Agenten mit endlichem Speicher, welche in paarweisen Interaktionen Rechnungen durchführen. Wir untersuchen Populationsprotokolle aus drei Blickwinkeln: 1.) Platzkomplexität; 2.) Verifikationskomplexität; 3.) Ausdrucksstärke von Erweiterungen des Basismodells.
WWW:
https://mediatum.ub.tum.de/?id=1538836
Eingereicht am:
03.03.2020
Mündliche Prüfung:
18.06.2020
Dateigröße:
3327768 bytes
Seiten:
134
Urn (Zitierfähige URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20200620-1538836-1-3
Letzte Änderung:
14.09.2020
 BibTeX