| zu den Examensarbeiten |
| Ihre Anfrage lieferte 223 Ergebnisse. |
| Daum, M. and Maus, S. and Schirmer, N. and Seghir, M.N. |
|
EE |
BibTeX |
| Integration of a Software Model Checker into Isabelle. |
| In Sutcliffe, G. and Voronkov, A., editors, LPAR, |
| volume 3835 of LNCS, pages 381-395, Springer, 2005. |
| ISBN 3-540-30553-X |
| |
| Paul, W.J. |
|
EE |
BibTeX |
| Towards a Worldwide Verification Technology. |
| In Bertrand Meyer and Jim Woodcock
, editors, Verified Software: Theories, Tools, Experiments -- First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions, |
| volume 4171 of Lecture Notes in Computer Science, pages 19-25, Springer Berlin Heidelberg, 2005. |
| |
| Schmittler, J. and Woop, S. and Wagner, D. and Paul, W.J. and Slusallek, P. |
|
EE |
BibTeX |
| Realtime Ray Tracing of Dynamic Scenes on an FPGA Chip. |
| In Akenine-Möller, T. and McCool, M., editors, Graphics Hardware, Proc. ACM SIGGRAPH/EUROGRAPHICS 2004, |
| Grenoble, France |
| Eurographics Association, 2004. |
| |
| Beyer, S. and Jacobi, C. and Kröning, D. and Leinenbach, D. and Paul, W.J. |
|
EE |
BibTeX |
| Instantiating uninterpreted functional units and memory system: functional verification of the VAMP. |
| In Geist, D. and Tronci, E., editors, CHARME 2003, |
| volume 2860 of LNCS, pages 51-65, Springer, 2003. |
| |
| Paul, W.J. |
 |
|
BibTeX |
| Formal Verification of Processors and Low Level Software. |
| 2003. |
| |
| 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. |
| |
| Paul, W.J. and Seidel, P.M. |
|
EE |
BibTeX |
| To Booth or not to Booth. |
| In Integration, the VLSI Journal, |
| Elsevier, 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. |
| |
| Berg, C. and Beyer, S. and Jacobi, C. and Kröning, D. and Leinenbach, D. |
|
|
BibTeX |
| Formal Verification of the VAMP Microprocessor (Project Status). |
| In Charatonik, Witold and Ganzinger, Harald, editors, Symposium on the Effectiveness of Logic in Computer Science (ELICS02), |
| pages 31-36, Max-Planck-Institut für Informatik, 2002. |
| |
| Heil, B. and In der Rieden, T. and Ott, E. |
|
|
BibTeX |
| Bildende Kunst als Mittel der Bildsprache (CD-ROM). |
| volume 5 of Multimedia im Unterricht, Universität des Saarlandes, Saarbrücken, 2002. |
| |
