Publikationen |
Warning: Undefined variable $order in /www/www-wjp/includes/publikationsliste.php on line 55
Warning: Undefined variable $direction in /www/www-wjp/includes/publikationsliste.php on line 56
Warning: Undefined variable $examensarbeiten in /www/www-wjp/includes/publikationsliste.php on line 57
Warning: Undefined variable $filter in /www/www-wjp/includes/publikationsliste.php on line 62
| zu den Examensarbeiten | |||
| Ihre Anfrage lieferte 40 Ergebnisse. | |||
| Tverdyshev, Sergey |  |
EE | BibTeX |
| Combination of Isabelle/HOL with Automatic Tools. | |||
| In Bernhard Gramlich, editors, FroCoS 2005, | |||
| volume 3717 of Lecture Notes in Computer Science, pages 302-309, Springer Verlag, 2005. | |||
| ISBN 3-540-29051-6 | |||
| Bach, P. and Bosch, M. and Fischer, J. and Lichtenau, C. and Paul, W.J. and Röhrig, J. | EE | BibTeX | |
| Real PRAM Programming. | |||
| In Europar 2002, | |||
| Paderborn, Germany | |||
| volume 2400 of LNCS, Springer, 2002. | |||
| Dementiev, R. and Klein, M. and Paul, W.J. | EE | BibTeX | |
| Performance of MP3D on the SB-PRAM prototype. | |||
| In Europar 2002, | |||
| Paderborn, Germany | |||
| volume 2400 of LNCS, Springer, 2002. | |||
| Abolhassan, F. and Keller, J. and Paul, W.J. | EE | BibTeX | |
| On the Cost--Effectiveness of PRAMs. | |||
| volume 36 of Acta Informatica, pages 463--487, 1999. | |||
| Jacobi, C. and Lichtenau, C. | |
BibTeX | |
| Highly Concurrent Locking in Shared Memory Database Systems. | |||
| In Proc. EuroPar 99, | |||
| volume 1685 of Lecture Notes in Computer Science, Springer Verlag, 1999. | |||
| Grün, T. and Rauber, T. and Röhrig, J. | BibTeX | ||
| Support for Efficient Programming on the SB-PRAM. | |||
| volume 26 No. 3 of Int. Journal of Parallel Programming, pages 209--240, 1998. | |||
| Paul, A. and Röhrig, J. | |
BibTeX | |
| Implementing a Parallel List on the SB-PRAM. | |||
| In Proc. 5th International Conference on High Perfomrance Computing HiPC'98, | |||
| 1998. | |||
| Grün, T. and Hillebrand, M.A. | |
EE | BibTeX |
| NAS Integer Sort on Multi-threaded Shared Memory Machines. | |||
| In Proc. EuroPar 98, | |||
| volume 1470 of Lecture Notes in Computer Science, Springer Verlag, 1998. | |||
| Formella, A. and Grün, T. and Keller, J. and Paul, W.J. and Rauber, T | |
BibTeX | |
| Scientific Applications on the SB-PRAM. | |||
| In Karsch, F. and Monien, B. and Satz, H., editors, Proceedings of the International Conference 'Multiscale Phenomena and Their Simulation', | |||
| Bielefeld | |||
| World Scientific Publishers, 1997. | |||
| Bach, P. and Braun, M. and Formella, A. and Friedrich, J. and Grün, T. and Lichtenau, C. | |
BibTeX | |
| Building the 4 Processor SB-PRAM Prototype. | |||
| In Proceedings of the Hawaii 30th International Symposium on System Science HICSS-30, | |||
| pages 14--23, 1997. | |||
Warning: Undefined variable $_Server in /www/www-wjp/includes/publikationsliste.php on line 119
Warning: Trying to access array offset on null in /www/www-wjp/includes/publikationsliste.php on line 119
Warning: Undefined variable $filter in /www/www-wjp/includes/publikationsliste.php on line 120
