] Filters: First Letter Of Title is V [Clear All Filters]
Verifikation der Eigenschaften von kryptographischen Protokollen unter Verwendung von Spin Was ist Model Checking?,
: University of Stuttgart, pp. 1–8, 2005.
"A Variable Group Block Distribution Strategy for Dense Factorizations on Networks of Heterogeneous Computers",
Proceedings of the 6th International Conference on Parallel Processing and Applied Mathematics (PPAM 2005), vol. 3911, Poznan, Poland, Springer, 11-14 Sept 2005.
Download: PPAM_HPC_Hetero_LU_2005.pdf (79.43 KB)
