Wolfgang J. Paul
Professor
Computer Science
Saarland University
Germany
Biography
Wolfgang J. Paul is currently working as a Professor in the Department of Computer Science, Saarland University, Germany. His research areas are Hardware Design, Computer Architecture and Formal Verification of Processors and Microkernels.
Research Interest
Hardware Design, Computer Architecture and Formal Verification of Processors and Microkernels.
Publications
-
Even, G. and Paul, W.J. On the design of IEEE compliant floating point units. volume 49 of IEEE Transactions On Computers, pages 398--413, IEEE Computer Society, 2000.
-
Beyer, S. and Jacobi, C. and Kröning, D. and Leinenbach, D. and Paul, W.J. 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.
-
Schmittler, J. and Woop, S. and Wagner, D. and Paul, W.J. and Slusallek, P. 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.
