@phdthesis{Rehfeld2016,
  author    = {Rehfeld, Stephan},
  title     = {Untersuchung der Nebenl{\"a}ufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking},
  url       = {http://nbn-resolving.de/urn:nbn:de:bvb:20-opus-147431},
  school      = {Universit{\"a}t W{\"u}rzburg},
  year      = {2016},
  abstract  = {Im Rahmen dieser Arbeit werden die Nebenl{\"a}ufigkeit, Konsistenz und Latenz in asynchronen Interaktiven Echtzeitsystemen durch die Techniken des Profilings und des Model Checkings untersucht. Zu Beginn wird erl{\"a}utert, warum das asynchrone Modell das vielversprechendste f{\"u}r die Nebenl{\"a}ufigkeit in einem Interaktiven Echtzeitsystem ist. Hierzu wird ein Vergleich zu anderen Modellen gezogen. Dar{\"u}ber hinaus wird ein detaillierter Vergleich von Synchronisationstechnologien, welche die Grundlage f{\"u}r Konsistenz schaffen, durchgef{\"u}hrt. Auf der Grundlage dieser beiden Vergleiche und der Betrachtung anderer Systeme wird ein Synchronisationskonzept entwickelt. Auf dieser Basis wird die Nebenl{\"a}ufigkeit, Konsistenz und Latenz mit zwei Verfahren untersucht. Die erste Technik ist das Profiling, wobei einige neue Darstellungsformen von gemessenen Daten entwickelt werden. Diese neu entwickelten Darstellungsformen werden in der Implementierung eines Profilers verwendet. Als zweite Technik wird das Model Checking analysiert, welches bisher noch nicht im Kontext von Interaktiven Echtzeitsystemen verwendet wurde. Model Checking dient dazu, die Verhaltensweise eines Interaktiven Echtzeitsystems vorherzusagen. Diese Vorhersagen werden mit den Messungen aus dem Profiler verglichen.},
  subject      = {Model Checking},
  language  = {de}
}
@phdthesis{Eppel2004,
  author    = {Eppel, Julia Anna},
  title     = {Erstellung von Normwerten im unilateralen Wingate-Test im Kinder- und Jugendalter},
  url       = {http://nbn-resolving.de/urn:nbn:de:bvb:20-opus-11516},
  school      = {Universit{\"a}t W{\"u}rzburg},
  year      = {2004},
  abstract  = {Bei bestimmten Erkrankungen ist eine seitengetrennte Beurteilung der Leistungsentwicklung w{\"a}hrend des Wachstums unerl{\"a}sslich. Im Rahmen dieser Arbeit wurden gesunde Schulkinder seitengetrennt fahrrad-ergometrisch untersucht (modifizierter Wingate Anaerobic Test), um Normwerte zu erstellen. Anhand verschiedener Parameter (z.B. Gr{\"o}ße, Gewicht) konnten mittels multipler Regressionsanalysen Formeln entwickelt werden, die die zu erbringende Leistung der einzelnen Beine vorhersagen. In Verbindung mit den tats{\"a}chlich erbrachten Leistungen von Patienten mit seitenbetonter Erkrankung, ist dieses eine Hilfestellung bei der Verlaufsbeurteilung w{\"a}hrend des Wachstums.},
  language  = {de}
}