Unsere Literatur zum Schlagwort Verteilte Systeme

Eine schlagwort­basierte Auswahl unserer Fachbücher

Abstraktion in ereignisbasierten Modellen verteilter Systeme (Forschungsarbeit)

Abstraktion in ereignisbasierten Modellen verteilter Systeme

Ein Beitrag zum formalen Entwurf verteilter Systeme

Forschungsergebnisse zur Informatik

Der Entwurf und die Verifikation verteilter Systeme stellen den Entwicklungsingenieur immer noch vor große Probleme. Das komplexe parallele Verhalten solcher Systeme entzieht sich wegen der Nicht-Determiniertheit der zeitliche Abläufe der menschlichen Vorstellungskraft. Der korrekte Entwurf bzw. die Verifikation…

Implementierung Informatik Sprache Verifikation
Parallelisierung ereignisgetriebener Simulationsverfahren auf Mehrprozessorsystemen mit verteiltem Speicher (Forschungsarbeit)

Parallelisierung ereignisgetriebener Simulationsverfahren auf Mehrprozessorsystemen mit verteiltem Speicher

Forschungsergebnisse zur Informatik

Ziel dieser Arbeit ist es, einen objektiven Vergleich unterschiedlicher Ansätze zur Parallelisierung ereignisgetriebener Simulationsverfahren zu ermöglichen. In der Vergangenheit sind eine Reihe von Parallelisierungsansätzen für die ereignisgetriebene Simulation vorgeschlagen, auf verschiedene…

Informatik

Literatur: Verteilte Systeme / Eine Auswahl an Fachbüchern aus dem Verlag Dr. Kovač