Wissenschaftliche LiteraturStrukturInformatik

Marianne Andres

Ein Modell zur Repräsentation binokularer Information

Forschungsergebnisse der Programmentwicklung

In dieser Arbeit werden zweidimensionale Repräsentationen binokularer Informationen erzeugt und untersucht. Sie werden nach Prinzipien organisiert, die bei der frühen visuellen Informationsverarbeitung im Cortex gefunden werden. Die Erzeugung künstlicher neuronaler Karten ermöglicht einerseits den qualitativen…

Stefan Leboch

Institutionalisierte Wiederverwendung von Software-Bausteinen und deren Komposition

Am Beispiel von Software-Werkzeugen aus dem Schaltungsentwurf

Forschungsergebnisse zur Informatik

Die zunehmende Komplexität technischer Systeme, die heutzutage in nahezu allen Lebensbereichen Einzug halten, erfordert bei deren Entwicklung einen massiven Einsatz von Entwurfswerkzeugen auf Software-Basis. Die extrem kurzen Innovationszyklen in der Technologie dieser Systeme erfordern eine rasche und hochflexible…

Sybille Hellebrand

Selbsttestbare Steuerwerke

Strukturen und Syntheseverfahren

Forschungsergebnisse zur Informatik

Die großen Fortschritte in der Fertigungstechnologie für mikroelektronische Systeme erlauben mittlerweile, hochkomplexe Systeme auf einem Chip zu realisieren. Solche Systeme, die in der Regel verschiedene Komponenten, wie zum Beispiel eingebettete Prozessoren, Speicher und anwendungsspezifische Logik integrieren,…

Wolfram Amme

Datenabhängigkeitsanalyse in Programmen mit Zeigern

Forschungsergebnisse zur Informatik

Die Bestimmung von Datenabhängigkeiten spielt eine entscheidende Rolle in vielen Bereichen der Softwareentwicklung, wie beispielsweise in der Optimierungsphase herkömmlicher Übersetzer oder in der Analysephase von Restrukturierungssystemen. Für die Datenabhängigkeitsanalyse von Programmen, die ausschließlich auf…

Timo Hickl

Rechtwinkliges Layout von hierarchisch strukturierten Graphen

Forschungsergebnisse zur Informatik

Zunächst führt Hickl in alle graphentheoretischen und geometrischen Begriffe ein, die zur Beschreibung des Ansatzes nötig sind. Sodann befaßt er sich mit Graph–Grammatiken, insbesondere mit Ableitungen in Graph–Grammatiken, der Sprache einer Graph–Grammatik und speziellen Eigenschaften von…

Ruggero Costantini

Abstraktion in ereignisbasierten Modellen verteilter Systeme

Ein Beitrag zum formalen Entwurf verteilter Systeme

Forschungsergebnisse zur Informatik

Der Entwurf und die Verifikation verteilter Systeme stellen den Entwicklungsingenieur immer noch vor große Probleme. Das komplexe parallele Verhalten solcher Systeme entzieht sich wegen der Nicht-Determiniertheit der zeitliche Abläufe der menschlichen Vorstellungskraft. Der korrekte Entwurf bzw. die Verifikation…

Rainer Fehling

Hierarchische Petrinetze

Forschungsergebnisse zur Informatik

Ausgehend von Netzmorphismen werden “hierarchische Petrinetze” definiert, die dazu dienen, große dynamische, diskrete Systeme zu modellieren und sie in geeigneten Ausschnitten auf unterschiedlichen Abstraktionsebenen darzustellen. Dies ist nur mit Hilfe eines graphischen Struktureditors möglich, der ein…