Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"Verbindungsstruktur"”.
-
Analysis of dynamic evolution systems by spotlight abstraction refinement
… mit einer sich verändernden Prozessanzahl und Verbindungsstruktur. Wir benutzen die Technik der Spotlight-Abstraktion um eine endliche Darstellung des Gesamtsystems und der zu prüfenden Eigenschaft zu erhalten. Basierend auf dem abstract-check-refine Prinzip beschreiben wir eine …
-
Effizienter Nachrichtenaustausch auf speichergekoppelten Rechnerverbundsystemen mit SCI-Verbindungsnetz
A cluster is a group of independent compute nodes which are coupled by an interconnection network. They can be used to execute parallel applications, consisting of processes which communicate via the interconnection network. This work deals with clusters coupled by a high-performance, …