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 “"paralleler Algorithmus"”.
-
Entwicklung eines effizienten Verfahrens zur Simulation kompressibler Strömungen in 3D auf Parallelrechnern
Höchstleistungsparallelrechner schaffen bezüglich Speicherplatz und Rechenleistung die technischen Voraussetzungen für die mathematische Simulation von Strömungen unter hohen Anforderungen an die Genauigkeit. Daneben schränkt jedoch die nach außen in Erscheinung tretende verteilte Architektur …
-
Parallel algorithms for verification of large systems
The model-checking problem is the question whether a given system model satisfies a property. The property is usually given as formula of a temporal logic, and the system model as labelled transition system. However, the well-known state-space explosion effect is responsible for yielding transition …