| zu den Examensarbeiten |
| Ihre Anfrage lieferte 223 Ergebnisse. |
| Birk, A. and Paul, W. J. |
 |
EE |
BibTeX |
| Schemas and Genetic Programming. |
| In H. Ritter et al., editors, Prerational Intelligence: Adaptive Behavior and Intelligent Systems Without Symbols and Logic, |
| pages 345--357, Kluwer Academic Publishers, 2000. |
| |
| Müller, S.M. and Paul, W.J. |
|
EE |
BibTeX |
| Computer Architecture, Complexity and Correctness. |
| Springer, 2000. |
| ISBN 3-540-67481-0 |
| |
| Kröning, D. and Müller, S.M. and Paul, W.J. |
|
|
BibTeX |
| Proving the Correctness of Pipelined Micro-Architectures. |
| In Waldschmidt, K. and Grimm, C. , editors, 3ITG-/GI/GMM-Workshop Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und System, |
| pages 89--98, VDE Verlag, 2000. |
| |
| Kröning, D. and Müller, S.M. and Paul, W.J. |
|
|
BibTeX |
| Proving the Correctness of Processors with Delayed Branch using Delayed PCs. |
| In Althoefer and N. Cai and G. Dueck and L. Khachatrian and M. S. Pinsker and A. Sarkoezy and I. Wegener and Z. Zhang, editors, Numbers, Information and Complexity.
Proc. Coll. in honor of R. Ahlswede at the occasion of his 60th birthday (1998), |
| Bielefeld |
| pages 579--588, Kluwer Academic Publishers, 2000. |
| |
| Even, G. and Paul, W.J. |
|
EE |
BibTeX |
| On the design of IEEE compliant floating point units. |
| volume 49 of IEEE Transactions On Computers, pages 398--413, IEEE Computer Society, 2000. |
| |
| Jacobi, C. and Kröning, D. |
|
|
BibTeX |
| Proving the Correctness of a Complete Microprocessor. |
| In Mehlhorn, Kurt and Snelting, Gregor, editors, Informatik 2000, Proc. of the 30. Jahrestagung der Gesellschaft für Informatik, |
| Informatik aktuell, Springer Verlag, 2000. |
| ISBN 3-540-67880-8 |
| |
| Kröning, D. and Müller, S.M. and Paul, W.J. |
|
|
BibTeX |
| Proving the Correctness of Processors with Delayed Branch using Delayed PCs. |
| In IEEE International High Level Design Validation and Test Workshop, |
| San Diego, California |
| pages 579-588, 1999. |
| |
| Kröning, D. and Müller, S.M. and Paul, W.J. |
|
|
BibTeX |
| A Rigorous Correctness Proof of the Tomasulo Scheduling Algorithm with Precise Interrupts. |
| In SCI'99/ISAS'99 International Conference, |
| Orlando, Florida |
| 1999. |
| |
| 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. |
| |
