Bereitstellung und Zuweisung von Ressourcen in der formalen algorithmischen Synthese

Study Thesis

Author(s):Mattias Ulbrich
School:Fakultät für Informatik, Universität Karlsruhe
Publication:Studienarbeit, Fakultät für Informatik, Universität Karlsruhe
Year:2005

Abstract

In dieser Studienarbeit wird ein Ansatz vorgestellt, der zur Bestimmung von Transformationsschritten der formalen algorithmischen Synthese Ergebnisse externer konventioneller Algorithmen verwendet. Durch die Kooperation des formalen und konventionellen Ansatzes werden die Vorzüge beider Vorgehensweisen synergetisch kombiniert.

BibTeX

@misc{Ulbrich05,
  author        = {Mattias Ulbrich},
  title         = {{Bereitstellung und Zuweisung von Ressourcen in der formalen algorithmischen Synthese}},
  howpublished  = {Studienarbeit, Fakult{\"a}t f{\"u}r Informatik, Universit{\"a}t Karlsruhe},
  school        = {Fakult{\"a}t f{\"u}r Informatik, Universit{\"a}t Karlsruhe},
  type          = {Studienarbeit},
  year          = {2005},
  abstract      = {In dieser Studienarbeit wird ein Ansatz
                  vorgestellt, der zur Bestimmung von
                  Transformationsschritten der formalen
                  algorithmischen Synthese Ergebnisse externer
                  konventioneller Algorithmen verwendet. Durch die
                  Kooperation des formalen und konventionellen
                  Ansatzes werden die Vorz{\"u}ge beider Vorgehensweisen
                  synergetisch kombiniert.}
}