Forschungsergebnisse zur Informatik

ISSN 1435-6260 | 71 lieferbare Titel | 15 eBooks

zurückblätternzurückblättern zurückblättern 1 2 3 4 5 6 7 8 ...  vorblättern vorblätternvorblättern

  Forschungsarbeit: Schnelle Bilddatenkompression für Raumfahrtanwendungen

Schnelle Bilddatenkompression für Raumfahrtanwendungen

Band 22, Hamburg 1995, ISBN 978-3-86064-358-7 (Print)

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 [...]

 

  Forschungsarbeit: Kontextermittlung und berücksichtigung in Hypertextinformationssystemen

Kontextermittlung und -berücksichtigung in Hypertextinformationssystemen

Band 21, Hamburg 1995, ISBN 978-3-86064-356-3 (Print)

In dieser Arbeit wird ein neuer Ansatz vorgestellt, der das Problem der unvollständigen Vernetzung innerhalb von großen Hypertextinformationssystemen wesentlich verringert. Es werden [...]

 

  Forschungsarbeit: Neuronale Netze in Planung und Optimierung von mobilen Kommunikationssystemen

Neuronale Netze in Planung und Optimierung von mobilen Kommunikationssystemen

Band 20, Hamburg 1996, ISBN 978-3-86064-352-5 (Print)

Thema des Buches ist die Anwendung neuronaler Netze auf Planungsprobleme mobiler Kommunikationssysteme. Deren Planung ist dadurch gekennzeichnet, daß aufgrund von Erfahrungswerten und [...]

 

  Forschungsarbeit: Dokumenten und Prozeßmodelle für die SoftwareVerwaltung

Dokumenten- und Prozeßmodelle für die Software-Verwaltung

Band 19, Hamburg 1995, ISBN 978-3-86064-326-6 (Print)

In einem Software-Projekt entsteht eine riesige Zahl verschiedenartiger Informationen. Festgehalten werden diese Informationen in Dokumenten. Solche Dokumente zu verwalten, ist Aufgabe der [...]

 

  Forschungsarbeit: Abstraktion in ereignisbasierten Modellen verteilter Systeme

Abstraktion in ereignisbasierten Modellen verteilter Systeme

Ein Beitrag zum formalen Entwurf verteilter Systeme

Band 18, Hamburg 1995, ISBN 978-3-86064-323-5 (Print)

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 [...]

 

  Forschungsarbeit: Ein Konzept zur entwurfsbegleitenden Leistungsanalyse von Rechensystemen

Ein Konzept zur entwurfsbegleitenden Leistungsanalyse von Rechensystemen

Band 17, Hamburg 1995, ISBN 978-3-86064-289-4 (Print)

Kurze Innovationszyklen und die ständig wachsende Komplexität von Rechensystemen erfordern eine möglichst frühzeitige Aufdeckung von Entwurffehlern und Leistungs-Engpässen. Daher sind [...]

 

  Forschungsarbeit: Parallelisierung ereignisgetriebener Simulationsverfahren auf Mehrprozessorsystemen mit verteiltem Speicher

Parallelisierung ereignisgetriebener Simulationsverfahren auf Mehrprozessorsystemen mit verteiltem Speicher

Band 15, Hamburg 1994, ISBN 978-3-86064-180-4 (Print)

Ziel dieser Arbeit ist es, einen objektiven Vergleich unterschiedlicher Ansätze zur Parallelisierung ereignisgetriebener Simulationsverfahren zu ermöglichen. In der Vergangenheit sind eine [...]

 

  Forschungsarbeit: RelCAD: A Relational CAD System with ConstraintBased Geometric Modelling

RelCAD: A Relational CAD System with Constraint-Based Geometric Modelling

Band 14, Hamburg 1995, ISBN 978-3-86064-156-9 (Print)

Most conventional CAD systems have been proved to be Computer-Aided Drafting systems. They do not offer sufficient support for the design activity. The reason is that they cannot [...]

 

  Forschungsarbeit: Petri Net Semantics of Logic Programs and Deductive Databases

Petri Net Semantics of Logic Programs and Deductive Databases

Band 13, Hamburg 1994, ISBN 978-3-86064-150-7 (Print)

Joining ideas from database theory and logic programming leads to the theory of deductive databases. In addition to the data stored in a database (extensional facts), a deductive [...]

 

  Forschungsarbeit: Eckenabsuchende Verfahren und Entartung

Eckenabsuchende Verfahren und Entartung

Theorie, Algorithmen und Vergleichstests

Band 12, Hamburg 1994, ISBN 978-3-86064-149-1 (Print)

Entartung ist ein Phänomen, das die Effizienz und Konvergenz pivotisierender Verfahren maßgeblich beeinflussen kann. Das bekannteste Beispiel hierfür stellt das Zykeln des Simplexverfahrens [...]

 


zurückblätternzurückblättern zurückblättern 1 2 3 4 5 6 7 8 ...  vorblättern vorblätternvorblättern

nach oben