http://dl.gi.de/handle/20.500.12116/4397 2026-07-21T14:22:07Z 2026-07-21T14:22:07Z Kröning, Daniel http://dl.gi.de/handle/20.500.12116/4448 2020-07-27T15:48:05Z 2003-01-01T00:00:00Z

Formal verification of pipelined microprocessors Kröning, Daniel Wagner, Dorothea Gegenstand der Dissertation ist die formale Verifikation von Mikroprozessoren mit Pipeline. Dies beinhaltet auch Prozessoren mit aktuellen Scheduling-Verfahren, wie den Tomasulo Scheduler und spekulativer Ausführung. Im Gegensatz zu weiten Teilen der bestehenden Literatur führen wir die Verifikation auf Gatter-Ebene durch. Des weitern beweisen wir sowohl Datenkonsistenz als auch eine obere Schranke für die Ausführungszeit. Die Beweise werden mit dem Theorem Beweissystem PVS verifiziert. Es werden sowohl in-order Maschinen als auch out-of-order Maschinen verifiziert. Zur Verifikation der in-order Maschinen erweitern wir die Stall Engine aus [MP00]. Wir entwickeln und implementieren ein Verfahren das die Transformation in die "pipelined machine" durchführt. Wir beschreiben eine generische Maschine, die die Spekulation auf beliebige Werte erlaubt. Wir verifizieren die Beweise für den Tomasulo Scheduler mit Reorder Buffer.

2003-01-01T00:00:00Z Joachims, Thorsten http://dl.gi.de/handle/20.500.12116/4447 2020-07-27T15:21:39Z 2003-01-01T00:00:00Z

The maximum-margin approach to learning text classifiers: methods theory, and algorithms Joachims, Thorsten Wagner, Dorothea Diese Dissertation entwickelt und erforscht einen neuen Ansatz zum Lernen von Textklassifikationsregeln aus Beispielen. Der Ansatz stützt sich auf die Einsicht, dass bei der Textklassifikation nicht die Anzahl der Attribute die Schwierigkeit einer Lernaufgabe bestimmt, sondern dass dimensionsunahängige Komplexitätsmaße notwendig sind. Die Dissertation zeigt den Zusammenhang dieser Maße mit den statistischen Eigenschaften von Text, deren Umsetzung in effektiven und praktikablen Methoden zur Textklassifikation und ihre Implementierung in effizienten Algorithmen.

2003-01-01T00:00:00Z Hannebauer, Markus http://dl.gi.de/handle/20.500.12116/4446 2020-07-27T15:22:52Z 2003-01-01T00:00:00Z

Autonome Dynamische Rekonfiguration im kooperativen Problemlösungsprozess Hannebauer, Markus Wagner, Dorothea Moderne Produktzyklen werden immer kürzer und verlangen ständige Umstrukturierungen in der betrieblichen Organisation. In gleichem Maße werden zunehmend höhere Anforderungen an Software gestellt, die betriebliche Prozesse unterstützen soll. Im Rahmen des Forschungsvorhabens AURECON wurden die theoretischen, konzeptuellen und praktischen Grundlagen geschaffen, die es einer IT-Infrastruktur ermöglichen, Umstrukturierungsprozesse dynamisch zu unterstützen bzw. sogar vorwegzunehmen. AURECON steht als Akronym für Autonome Dynamische Rekonfiguration. Diese neue Technologie implementiert einen Meta-Prozess, der einen kooperativen Arbeits- und Problemlösungsprozess zur Laufzeit begleitet und in dem intelligente Software-Agenten durch individuelle Verschmelzung und Zerteilung die Struktur ihrer eigenen Organisation selbstständig bestimmen. Anhand einer realistischen Fallstudie in der medizinischen Terminplanung konnte nachgewiesen werden, dass durch den Einsatz von AURECON der kooperative Prozess zwischen den Agenten deutlich effizienter abläuft und zu nachweislich besseren Ergebnissen führt.

2003-01-01T00:00:00Z Kruse, Lars http://dl.gi.de/handle/20.500.12116/4449 2020-07-27T15:23:36Z 2003-01-01T00:00:00Z

Estimating and optimizing power consumption of integrated macro blocks at the behavioral level Kruse, Lars Wagner, Dorothea Die stetig steigende Komplexität integrierter Schaltungen führt zu einer zunehmenden Bedeutung eines Verlustleistung reduzierenden Designprozesses. In dieser Arbeit sind neue Techniken zur Leistungsabschätzung und zur Reduktion der Leistungsaufnahme integrierter Schaltungen entwickelt worden, die bereits in der Spezifikationsphase eingesetzt werden können. Es kommen dabei Algorithmen aus dem Bereich des Operations Research zum Einsatz. Die Abweichungen der Verfahren liegen bei den betrachteten und für die Praxis relevanten Fälle im Bereich von wenigen Prozent.

2003-01-01T00:00:00Z