Informatik Schriftenreihe
Forschungsergebnisse zur Informatik
ISSN 1435-6260 | 74 lieferbare Titel | 18 eBooks
Tobias Helbig
Kommunikation und Synchronisation multimedialer Datenströme in verteilten Systemen
Hamburg 1996, Band 30
Durch Fortschritte in der Kommunikations- und Computertechnik wird die Einbeziehung von Audio- und Videodaten in Computeranwendungen möglich. Beispiele hierfür sind Telekonferenzanwendungen am Arbeitsplatz oder die Verarbeitung von digitalem…
EDVInformatikMultimediaSchnittstelleSystemMarion Kremer
Hamburg 1996, Band 29
Da Software in zunehmendem Maße auch in sicherheitsrelevanten Anwendungen eingesetzt wird, steigt der Bedarf an Software-Prüfung, die über das Testen hinausgeht. In dieser Arbeit wird ein System zur Prüfung von mit Zusicherungen angereicherten…
InformatikProgrammierungQualitätssicherungSoftwareJörg Kottsieper
Synthese assoziativer Steuerwerke
Hamburg 1996, Band 28
Mit Ausweitung der Forschungs- und Entwicklungstätigkeiten auf dem Arbeitsgebiet der Schaltungssynthese auf höhere Abstraktionsebenen gewannen in jüngster Zeit die in diesen Zusammenhängen auftauchenden Fragestellungen und Vorgehensweisen…
InformatikThomas Dettmer
Ein Modell für CAD-Entwurfsumgebungen
Beschreibung und Formalisierung wesentlicher Konzepte auf der Basis von Hypermedia
Hamburg 1996, Band 27
Dieses Buch präsentiert ein formales Modell zur Verwaltung der Entwurfsdaten mikroelektronischer Systeme. Das vorgestellte Modell kann als Grundlage für die Entwicklung von Frameworks und Entwicklungsumgebungen verwendet werden. Im Gegensatz zu…
CADEntwurfsumgebungFrameworkHypermediaInformatikKlaus Rinderle
Mehrstufige sequentielle Inspektionsspiele mit statistischen Fehlern erster und zweiter Art
Hamburg 1996, Band 26
In dieser Arbeit werden Überwachungssituationen im Rahmen von vertraglichen Vereinbarungen zwischen einem Inspektor und einem Inspizierten als Inspektionsspiele modelliert und analysiert. Typische Anwendungsmöglichkeiten in der Praxis liegen u.a.…
GleichgewichtInformatikNashSpieltheorieStatistische FehlerStrategieGuido Piehlmeier
Spieltheoretische Untersuchung von Problemen der Datenverifikation
Hamburg 1996, Band 25
Ein Datenverifikationsproblem im Sinne der vorliegenden Arbeit ergibt sich aus der folgenden Situation: Eine Vertragspartei (der Inspizierte) verpflichtet sich aufgrund festgelegter Vereinbarungen zu legalem, d.h. zu vertragskonformem Verhalten…
DatenverifikationEDVInformatikNashSpieltheorieStatistische FehlerMichael Ryba
Planung und Durchführung methodischer Entwurfsaktivitäten
Hamburg 1996, Band 24
Für den Entwurf integrierter Schaltungen steht eine Vielzahl hochentwickelter rechnergestützter Werkzeuge auf der Basis integrierter Entwurfsumgebungen zur Verfügung. Trotzdem ist auch der rechnergestützte Schaltungsentwurf nicht frei von…
EntwurfsumgebungInformatikPlanungSchaltungsentwurfTimo Hickl
Rechtwinkliges Layout von hierarchisch strukturierten Graphen
Hamburg 1996, Band 23
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…
InformatikFrank Rabe
Schnelle Bilddatenkompression für Raumfahrtanwendungen
Hamburg 1995, Band 22
Der Autor beschreibt ein spezialisiertes Verfahren zur Kompression der Bilddaten einer CCD-Kamera. Es wird bei der wissenschaftlichen Weltraummission Cassini zum Planeten Saturn eingesetzt (Start geplant für 1997). Sämtliche Darstellungen werden…
InformatikTransformationJürgen Feldkamp
Kontextermittlung und -berücksichtigung in Hypertextinformationssystemen
Hamburg 1995, Band 21
In dieser Arbeit wird ein neuer Ansatz vorgestellt, der das Problem der unvollständigen Vernetzung innerhalb von großen Hypertextinformationssystemen wesentlich verringert. Es werden zusätzliche Navigationsmöglichkeiten hergeleitet, die den…
GenerierungHypertextInformatik