Literatur: Implementierung

Eine schlagwortbasierte Auswahl unserer Fachbücher

<<
<
...
6
7
8
9
 10  >>>

Abstraktion in ereignisbasierten Modellen verteilter Systeme (Forschungsarbeit)

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

Abstraktionsoperator, Flussereignisstruktur, Implementierung, Informatik, Konfigurationsstruktur, Korrektheitskriterium, Sprache, Verifikation

Trennlinie

Shared-Memory-Implementierung der Gamma-Operation auf Multimengen (Forschungsarbeit)

Shared-Memory-Implementierung der Gamma-Operation auf Multimengen

Schriftenreihe naturwissenschaftliche Forschungsergebnisse

Der angenehme, von deklarativen Sprachen her bekannte Programmierstil wird beim Gamma-Modell, das das einer chemischen Reaktion zugrundeliegende nichtdeterministische (Berechnungs)-Modell auf Multimengen (Bags) modelliert, mit der Möglichkeit von (massiv) parallelen Implementierungen verknüpft. [...]

Algorithmen, fold, funktional, Gamma-Schema, Implementierung, Konjunktive, Naturwissenschaft, Problemspezifizierung, Sprache

Trennlinie

Lokale Rechnernetze für die industrielle Automation (Forschungsarbeit)

Lokale Rechnernetze für die industrielle Automation

Forschungsergebnisse zur Informatik

Das Buch befasst sich mit verkürzten Kommunikationsarchitekturen mit ISO-Protokollen auf der Basis von MAP-Netzen (Manufacturing Automation Protocol). Das Werk ist aus Forschungsarbeiten des Autors hervorgegangen, deren Schwerpunkt auf die Implementierungen solcher Architekturen ausgerichtet war. [...]

Implementierung, industrielle Automation, Informatik, Kommunikationsarchitektur, Manufacturing Automation Protocol, MAP-Netz, Realzeit, Rechnernetz, Tokenbus-Netz

Trennlinie

Entwurf von Algorithmen zur Berechnung Liovillescher Lösungen von linearen gewöhnlichen Differentialgleichungen (Forschungsarbeit)

Entwurf von Algorithmen zur Berechnung Liovillescher Lösungen von linearen gewöhnlichen Differentialgleichungen

Schriftenreihe naturwissenschaftliche Forschungsergebnisse

Die Computer-Algebra ist das Teilgebiet der Informatik, welches sich mit dem Entwurf, der Analyse und der Implementierung von algebraischen Algorithmen befaßt. Bei einem algebraischen Algorithmus werden im Rechner darstellbare, abstrakte mathematische Datentypen symbolisch manipuliert, um ohne [...]

Algorithmen, Computer-Algebra, Differentialgleichung, Existenzsätze, Fehlerbehandlung, Implementierung, Informatik, Liouville, Mathematik, Naturwissenschaft, Symbolische Algorithmen

Trennlinie
<<
<
...
6
7
8
9
 10  >>>

nach oben

Eine Auswahl an Fachbüchern aus dem Verlag Dr. Kovač.