Institut für Rechnerarchitektur
und Parallelrechner
Sortiere nach Filtere nach aus Projekt
  
zurück zu den Publikationen
Ihre Anfrage lieferte 54 Ergebnisse.

Baumann, Christoph   BibTeX
Formal Specification of the x87 Floating-Point Instruction Set.
Diplomarbeit, Saarland University, 2008.
 
Schmaltz, Sabine (formerly Fischer)   BibTeX
Formal Verification of a Big Integer Library Including Division.
Masterarbeit, Saarland University, 2007.
 
Petrova, Elena   BibTeX
Verification of the C0 Compiler Implementation on the Source Code Level.
Dissertation, Saarland University, Saarbrücken, 2007.
 
Starostin, Artem   BibTeX
Formal Verification of a C-Library for Strings.
Diplomarbeit, Saarland University, 2006.
 
Shadrin, Andrey   BibTeX
Design and Implementation of the Portmapper and RPC Primitives in the Context of the SOS.
Diplomarbeit, Saarland University, 2006.
 
Schmaltz, Sabine (formerly Fischer)   BibTeX
Formal Verification of a Big Integer Library Written in C0.
2006.
 
Dalinger, Iakov   BibTeX
Formal Verification of a Processor with Memory Management Units.
Dissertation, Saarland University, Saarbrücken, 2006.
 
Beyer, Sven   BibTeX
Putting it all together - Formal Verification of the VAMP.
Dissertation, Saarland University, Saarbrücken, 2005.
 
Hillebrand, Mark   BibTeX
Address Spaces and Virtual Memory: Specification, Implementation, and Correctness.
Dissertation, Saarland University, Saarbrücken, 2005.
 
Preiß, Jochen   BibTeX
Complexity and Correctness of a Super-Pipelined Processor.
Dissertation, Saarland University, Saarbrücken, 2005.
 
zurück   weiter