05 Fakultät Informatik, Elektrotechnik und Informationstechnik

Permanent URI for this collectionhttps://elib.uni-stuttgart.de/handle/11682/6

Browse

Start date: 2000End date: 2009Subject: search.filters.subject.004Author: search.filters.author.Staiger, Stefan

Search Results

Now showing 1 - 2 of 2
  • Thumbnail Image
    ItemOpen Access
    Ring-Isomorphie-Probleme und das Faktorisieren großer Zahlen
    (2005) Staiger, Stefan
    Die Diplomarbeit ist eine Ausarbeitung und Weiterführung der aktuellen Forschung von Neeraj Kayal und Nitin Saxena. Diese haben das algorithmische Studium von Fragen rund um Ringe begonnen. Die Diplomarbeit präsentiert die hierbei entstandenen Algorithmen und komplexitätstheoretischen Überlegungen in ausführlicher und verständlicher Weise. Behandelt werden beispielsweise die Fragen, ob zwei Ringe isomorph sind, wie viele Automorphismen sie haben und wie man Iso- und Automorphismen berechnen kann. Hierzu werden eine Reihe mathematischer Grundlagen erläutert. Darüber hinaus leitet die Diplomarbeit neue Ergebnisse zu endlichen Ringen her und korrigiert einen Fehler von Kayal und Saxena. Ferner werden die Ring-Probleme in Beziehung gesetzt zu den bekannten Problemen der Graph-Isomorphie und des Faktorisierens großer Zahlen. Die Arbeit präsentiert außerdem einen Überblick über die aktuellen Faktorisierungsverfahren und schließt mit einer Reihe noch offener Fragen, die als Grundlage für weitere Forschung dienen können.
  • Thumbnail Image
    ItemOpen Access
    Interprocedural static single assignment form in Bauhaus
    (2007) Staiger, Stefan; Vogel, Gunther; Keul, Steffen; Wiebe, Eduard
    In this paper we describe interprocedural static single assignment form (ISSA) with optimizations as implemented in the Bauhaus project. We explain our framework which uses an abstract program representation enabling us to use different pointer analyses ranging from fast but imprecise to slow but precise ones. Our implementation includes the computation of (may and must) side effects and optimizations like pruning definitions with simple linear-time algorithms. This paper also provides comprehensive test results and statistics for a large test suite.