| zu den Examensarbeiten |
| Ihre Anfrage lieferte 45 Ergebnisse. |
| Berg, C. and Jacobi, C. and Kröning, D. |
 |
|
BibTeX |
| Formal Verification of a Basic Circuits Library. | | In Proc. of the IASTED International Conference on Applied Informatics, Innsbruck (AI 2001), | | Innsbruck, Austria | | ACTA Press, 2001. | | |
| Jacobi, Christian |
|
|
BibTeX |
| Formal Verification of a Theory of IEEE Rounding. | | In Boulton, R.J. and Jackson, P.B., editors, TPHOLs 2001: Supplemental Proceedings, | | Edinburgh, UK | | Informatics Research Report EDI-INF-RR-0046, 2001. | | |
| Berg, C. and Jacobi, C. |
|
|
BibTeX |
| Formal Verification of the {VAMP} Floating Point Unit. | | In Proc.\ 11th Advanced Research Working Conference on Correct
Hardware Design and Verification Methods ({CHARME}), | | volume 2144 of LNCS, pages 325-339, Springer, 2001. | | |
| Jacobi, Christian |
|
|
BibTeX |
| Formal Verification of a Theory of {IEEE} Rounding. | | In Richard J. Boulton and Paul B. Jackson, editors, {TPHOLs} 2001: Supplemental Proceedings.
Informatics Research Report EDI-INF-RR-0046, Univ.
Edinburgh, UK, | | 2001. | | |
| 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. | | |
| 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. | | | zurück weiter
|
