Detail page

Media

GMD-Forschungszentrum Informationstechnik

GMD-Bericht

München, Wien: Oldenbourg, 1995-1997

Title	GMD-Bericht / GMD-Forschungszentrum Informationstechnik GmbH
Involved	GMD-Forschungszentrum Informationstechnik (Verfasser)
Published	München, Wien: Oldenbourg 1995-1997
Publication history	247.1995 - 290.1997; damit Ersch. eingest.
ISSN	0533-9480
Language	Deutsch
Country	Deutschland
Topic	Mathematik Informatik
Subject	Systementwicklung, Partizipation
Former / later titles	Vorgänger: Berichte der Gesellschaft für Mathematik und Datenverarbeitung
Further information	Index 247/290 in 1994/97 von: GMD-Schriften ... : GMD research series ; GMD reports
Record ID	017922542
In this series show all Adaptierbare Objektmigration und eine Realisierung im Betriebssystem BirliX Adaptive Pfadplanung mit Verfahren zur heuristischen Graphensuche Aktionsunterstützung für verteilte, kooperative Anwendungen : Konzept und Realisierung Anti-Unifikation modulo Gleichungstheorie und deren Anwendung zur Lemmagenerierung Automatisierte Integration von Entwurfswerkzeugen für integrierte Schaltungen Autorensysteme für die kooperative Erstellung von Hyperdokumenten Computerbasiertes Lernen in 3D-graphischen Szenen : Entwurf, Realisierung und Evaluation einer Anwendung für die kardiologische Ultraschalldiagnostik Continual learning in reinforcement environments Design of a TMN-based inter-domain management environment for the open service market : an ODP-based modelling approach Dynamisch veränderbare Betriebssystemstrukturen Efficient multiple dispatching based on automata Effiziente Integration der ATM-Technik in multifunktionale Endgeräte Eine Entwicklungsumgebung zur Unterstützung der Simulation energietechnischer Anlagen Eine Methode zur Spezifikation von Geometrie und Struktur zweidimensionaler Darstellungen Encapsulating tools into an EDA framework Entwicklung einer Plattform zur interaktiven physikalisch basierten Animation gelenkig verbundener Systeme Generierung von Programmoptimierungen mit Graphersetzungssystemen High-speed analog fuzzy logic controller Internetwork resource management protocol : IRMP ; verteilte Ressourcenverwaltung zur Bereitstellung von Kommunikationsdiensten mit zugesicherten Qualitäten im Internet Lean resource management in ATM based integrated networks Mapping symbolic programs with dynamic tree structure to parallel machines Metrics in software evolution Multicycle generalization of relaxation based algorithms for circuit and system simulation Objektorientierte Spezifikation hybrider Systeme On the realization of huge sparsely occupied and fine grained address spaces On-line handwriting recognition with a fuzzy feature description language Parallel execution enabled by refined source analysis : cost and benefits in a supercompiler Rechnergestützte Vorhersage von Rezeptor-Ligand-Wechselwirkungen Reuse-oriented knowledge engineering with MoMo : an inquiry Semantische Concurrency Control in objektorientierten Datenbanksystemen Support vector learning Systematic design of embedded control systems : composing models of system structure and behavior Systematisches Testen von Software : eine neue Methode und eine effektive Teststrategie Test, Analyse und Verifikation von Software : aus der Arbeit der Fachgruppe 2.1.7 Test, Analyse und Verifikation von Software (TAV) der Gesellschaft für Informatik (GI) The GENTLE compiler construction system The presentation of formal proofs To assist the user: on the embedding of adaptive and agent based mechanisms Transaktionsverwaltung in heterogenen und autonomen Datenbanksystemen Versionenunterstützung für strukturierte Hyperdokumente im elektronischen Publizieren Verwendung objektorientierter Datenbanktechnologie zur Verwaltung strukturierter Dokumente Virtueller gemeinsamer Speicher Wohlgeformtheits-Kriterien für kompositionelle Spezifikationen paralleler zeitkritischer Systeme Zur Sicherheit von globalem, elektronischem Nachrichtenaustausch

Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

Katalog der Deutschen Nationalbibliothek

GMD-Bericht

Adaptierbare Objektmigration und eine Realisierung im Betriebssystem BirliX

Adaptive Pfadplanung mit Verfahren zur heuristischen Graphensuche

Aktionsunterstützung für verteilte, kooperative Anwendungen : Konzept und Realisierung

Anti-Unifikation modulo Gleichungstheorie und deren Anwendung zur Lemmagenerierung

Automatisierte Integration von Entwurfswerkzeugen für integrierte Schaltungen

Autorensysteme für die kooperative Erstellung von Hyperdokumenten

Computerbasiertes Lernen in 3D-graphischen Szenen : Entwurf, Realisierung und Evaluation einer Anwendung für die kardiologische Ultraschalldiagnostik

Continual learning in reinforcement environments

Design of a TMN-based inter-domain management environment for the open service market : an ODP-based modelling approach

Dynamisch veränderbare Betriebssystemstrukturen

Efficient multiple dispatching based on automata

Effiziente Integration der ATM-Technik in multifunktionale Endgeräte

Eine Entwicklungsumgebung zur Unterstützung der Simulation energietechnischer Anlagen

Eine Methode zur Spezifikation von Geometrie und Struktur zweidimensionaler Darstellungen

Encapsulating tools into an EDA framework

Entwicklung einer Plattform zur interaktiven physikalisch basierten Animation gelenkig verbundener Systeme

Generierung von Programmoptimierungen mit Graphersetzungssystemen

High-speed analog fuzzy logic controller

Internetwork resource management protocol : IRMP ; verteilte Ressourcenverwaltung zur Bereitstellung von Kommunikationsdiensten mit zugesicherten Qualitäten im Internet

Lean resource management in ATM based integrated networks

Mapping symbolic programs with dynamic tree structure to parallel machines

Metrics in software evolution

Multicycle generalization of relaxation based algorithms for circuit and system simulation

Objektorientierte Spezifikation hybrider Systeme

On the realization of huge sparsely occupied and fine grained address spaces

On-line handwriting recognition with a fuzzy feature description language

Parallel execution enabled by refined source analysis : cost and benefits in a supercompiler

Rechnergestützte Vorhersage von Rezeptor-Ligand-Wechselwirkungen

Reuse-oriented knowledge engineering with MoMo : an inquiry

Semantische Concurrency Control in objektorientierten Datenbanksystemen

Support vector learning

Systematic design of embedded control systems : composing models of system structure and behavior

Systematisches Testen von Software : eine neue Methode und eine effektive Teststrategie

Test, Analyse und Verifikation von Software : aus der Arbeit der Fachgruppe 2.1.7 Test, Analyse und Verifikation von Software (TAV) der Gesellschaft für Informatik (GI)

The GENTLE compiler construction system

The presentation of formal proofs

To assist the user: on the embedding of adaptive and agent based mechanisms

Transaktionsverwaltung in heterogenen und autonomen Datenbanksystemen

Versionenunterstützung für strukturierte Hyperdokumente im elektronischen Publizieren

Verwendung objektorientierter Datenbanktechnologie zur Verwaltung strukturierter Dokumente

Virtueller gemeinsamer Speicher

Wohlgeformtheits-Kriterien für kompositionelle Spezifikationen paralleler zeitkritischer Systeme

Zur Sicherheit von globalem, elektronischem Nachrichtenaustausch