Suche
Anzeige der Dokumente 11-20 von 57
Dissertation
![Open Access](/themes/Mirage2/images/Open_Access_logo_PLoS_transparent.svg)
Fehlertoleranz und Elastizität für ein Framework zur globalen Lastenbalancierung
(2018-09-10)
Die Anzahl an Rechenknoten in Hochleistungsrechnern wächst stetig. In solchen Systemen nimmt die Bedeutung von Fehlertoleranz zu, da die Wahrscheinlichkeit eines permanenten Knotenausfalls ebenfalls stetig wächst.
Fehlertoleranz gegenüber permanenten Knotenausfällen wird typischerweise durch Checkpointing auf Systemebene realisiert. Findet das Checkpointing jedoch auf Anwendungsebene statt, können Laufzeitvorteile erzielt werden. Diese Implementierungen sind allerdings zeitintensiv und fehleranfällig. Anwendungen, ...
Dissertation
![Open Access](/themes/Mirage2/images/Open_Access_logo_PLoS_transparent.svg)
Extremal Fixpoints for Higher-Order Modal Logic
(2018-10)
In this dissertation, we investigate the interplay between extremal fixpoints and higher-order constructs. The main Focus here is Higher-Order Modal Fixpoint Logic (HFL), an extension of the modal mu-calculus by a simply typed lambda calculus. The resulting logic is very expressive, yet the interplay of its components has not been systematically investigated so far. Goal of this thesis is to characterize the interplay of the components of HFL.
A first characterization is given by converting the denotational semantics ...
Preprint
![Open Access](/themes/Mirage2/images/Open_Access_logo_PLoS_transparent.svg)
Heapsort for Equal Keys
(2014-09)
Das effiziente Entfernen von Duplikaten in Datenbeständen ist eine algorithmische Herausforderung in theoretischer und praktischer Hinsicht. Tabellen mit Duplikaten entstehen in Datenbanken nach einer Projektion, beim Verfolgen von Seiten im Web, bei Messreihen und in der Stochastik. Ein häufige Methode, diese sog. Multisets in echte Mengen zu wandeln, ist die Sortierung mit folgender Entfernung aller gleichen Sätze bis auf einen. Idealerweise kann dies bereits bei der Sortierung in situ erfolgen, so dass vorne die ...
Dissertation
Development, Verification and Analysis of a Fault Injection Tool for Improving Dependability of FPGA Systems
(2019-11)
Field Programmable Gate Array (FPGA) has been involved in various applications in the last couple of decades, such as aerospace, biomedical instrumentation, safety-critical systems, and spacecraft, due to their remarkable features. These features include parallelism, reconfiguration, self-healing capabilities, availability, low cost and low design turn-around time. FPGA devices are sensitive to Single Event Effects (SEE), which can be caused by various sources, such as α-particles, cosmic rays, atmospheric neutrons, ...
Dissertation
Das NetworkParser-Framework
(2019-03-10)
Meine Dissertation, die im Fachbereich Elektrotechnik/Informatik in Kassel eingereicht wurde, hat das Ziel ein Tool zur Verfügung zu stellen, um den Entwickler bei der Entwicklung eines Programms in jedem Entwicklungsschritt zu unterstützen. Der komplette Ablauf von Story Driven Modeling wird dabei unterstützt. Das Tool soll so intuitiv bedienbar sein, dass Programmieranfänger damit arbeiten können und die Techniken erlernen können. Es ist gelungen ein kompaktes Tool für den kompletten SDM-Prozess zu schaffen, welches ...
Dissertation
Relatedness in Evidence Networks
(2014-10-10)
Einhergehend mit der Entwicklung und zunehmenden Verfügbarkeit des Internets hat sich die Art der Informationsbereitstellung und der Informationsbeschaffung deutlich geändert. Die einstmalige Trennung zwischen Publizist und Konsument wird durch kollaborative Anwendungen des sogenannten Web 2.0 aufgehoben, wo jeder Teilnehmer gleichsam Informationen bereitstellen und konsumieren kann. Zudem können Einträge anderer Teilnehmer erweitert, kommentiert oder diskutiert werden. Mit dem Social Web treten schließlich die ...
Dissertation
Capturing Emergent Semantics from Social Annotation Systems
(2013-02-26)
The ongoing growth of the World Wide Web, catalyzed by the increasing possibility of ubiquitous access via a variety of devices, continues to strengthen its role as our prevalent information and commmunication medium. However, although tools like search engines facilitate retrieval, the task of finally making sense of Web content is still often left to human interpretation. The vision of supporting both humans and machines in such knowledge-based activities led to the development of different systems which allow to ...
Lehrmaterial
Folien zur Vorlesung Sortierverfahren
(2014)
Die hier frei verfügbare Foliensammlung stammt aus der gleichnamigen Master-Veranstaltung im Sommersemester 2014. Das zugehörige Skript (in Englisch) kann als PDF heruntergeladen werden von der Universität Turku (Lutz M. Wegner, Sorting – The Turku Lectures, Lecture Notes in Computing 2014, Univ. of Turku, Finland, http://tucs.fi/publications/attachment.php?fname=bWegner_LutzMx14a.full.pdf). Das überarbeitete Material geht auf eine dort im Jahre 1987 gehaltene Gastvorlesung zurück. Betrachtet werden Varianten von ...
Lehrmaterial
Datenbanken I
(Universität Kassel, Fachbereich 16, Elektrotechnik/Informatik, 2012)
Das hier frei verfügbare Skript und die Sammlung an Klausuren mit Musterlösungen aus den Jahren 2003 bis 2013 geht auf die gleichnamige Vorlesung im Bachelorstudiengang Informatik an der Universität Kassel zurück, die von Prof. Dr. Wegner bis zum Sommer 2012 angeboten wurde. Behandelt werden Theorie und Praxis relationaler Datenbanksysteme, einschließlich Schichtenarchitektur, Modellierung mittels ER-Diagrammen, funktionale Abhängigkeiten, Normalisierung, Armstrongsche Axiome, Relationenkalkül und dessen Realisierung ...
Aufsatz
Gone with the internet - How the old education was lost
(2015-04-08)
Despite its young history, Computer Science Education has seen a number of "revolutions". Being a
veteran in the field, the author reflects on the many changes he has seen in computing and its teaching.
The intent of this personal collection is to point out that most revolutions came unforeseen and that
many of the new learning initiatives, despite high financial input, ultimately failed.
The author then considers the current revolution (MOOC, inverted lectures, peer instruction, game
design) and, based on the ...