| zurück zu den Publikationen |
| Ihre Anfrage lieferte 54 Ergebnisse. |
| Jacobi, Christian |
 |
|
BibTeX |
| Formal Verification of a Fully IEEE Compliant Floating Point Unit. |
|
| Doktorarbeit, Saarland University, 2002. |
| |
| Meyer, Carsten |
|
|
BibTeX |
| Entwicklung einer Laufzeit-Umgebung für den VAMP-Prozessor. |
|
| Diplomarbeit, Universität des Saarlandes, 2002. |
| |
| Klein, Michael |
|
|
BibTeX |
| Entwurf und Realisierung der FiberLink-Testplatine. |
|
| Diplomarbeit, Universität des Saarlandes, 2001. |
| |
| Preiß, Jochen |
|
|
BibTeX |
| Entwicklung eines optisch gekoppelten Caches. |
|
| Diplomarbeit, Universität des Saarlandes, 2001. |
| |
| Kroening, Daniel |
|
|
BibTeX |
| Formal Verification of Pipelined Microprocessors. |
|
| Doktorarbeit, Saarland University, 2001. |
| |
| Berg, Christoph |
|
|
BibTeX |
| Formal verification of an IEEE floating point adder. |
|
| Diplomarbeit, Saarland University, 2001. |
| |
| Beyer, Sven |
|
|
BibTeX |
| Entwurf einer PCI-Karte als Schnittstelle zwischen SB-PRAM und PC. |
|
| Diplomarbeit, Universität des Saarlandes, 2000. |
| |
| Hillebrand, Mark A. |
|
|
BibTeX |
| Design and Evaluation of a Superscalar RISC Processor. |
|
| Diplomarbeit, Saarland University, Saarbrücken, 2000. |
| |
| Paul, Andreas |
|
|
BibTeX |
| Eine Simulation der SB-PRAM-Hardware. |
|
| Diplomarbeit, Universität des Saarlandes, 1996. |
| |
| Lichtenau, Cédric |
|
|
BibTeX |
| Entwurf und Realisierung des Speicherboards der SB-PRAM. |
|
| Diplomarbeit, Universität des Saarlandes, 1996. |
| |
