Deze website maakt gebruik van cookies. Klik hier voor meer informatie.X sluit
Uitgebreid zoeken
Boek

Platzierung Von Softwarekomponenten Auf Mehrkernprozessoren

Automatisierte Konstruktion Und Analyse F R Funktionssichere Systeme

Platzierung Von Softwarekomponenten Auf Mehrkernprozessoren - Hilbrich, Robert - ISBN: 9783658111724
Prijs: € 64,30
Levertijd: 4 tot 6 werkdagen
Bindwijze: Boek
Genre: Informatica & management
Boekenliefde.nl:
Add to cart

Beschrijving

In dieser Arbeit wird ein modellbasiertes Verfahren zur automatisierten Platzierung von Softwarekomponenten unter Berücksichtigung der Echtzeit- und Zuverlässigkeitsanforderungen in der Luft- und Raumfahrt vorgestellt. Es orientiert sich am Leitmotiv "Correctness by Construction" und bildet die komplexe Problematik auf ein Constraint Satisfaction Problem ab. Das Verfahren wird als Softwarewerkzeug realisiert und dessen Einsatz anhand von zwei Fallbeispielen aus der Luft- und Raumfahrt demonstriert. Der Autor zeigt, dass diese aufwändige und fehlerträchtige Aufgabe automatisierbar ist, sodass korrekte Platzierungen für Systeme realer Größe innerhalb weniger Minuten auf regulären Desktop-Computern konstruiert werden können.

Details

Titel: Platzierung Von Softwarekomponenten Auf Mehrkernprozessoren
auteur: Hilbrich, Robert
Mediatype: Boek
Taal: Duits
Aantal pagina's: 247
Uitgever: Springer Vieweg
Plaats van publicatie: 01
NUR: Informatica & management
Afmetingen: 210 x 148 x 14
Gewicht: 318 gr
ISBN/ISBN13: 9783658111724
Intern nummer: 31553677

Inhoudsopgave

Beitrag zur Theorieentwicklung der Platzierung.- Automatisierung der räumlichen Platzierung.- Automatisierung der zeitlichen Platzierung.- Fallbeispiele.- Zusammenfassung undAusblick.

Winkelvoorraad

Dit product is op dit moment niet op voorraad in een van onze vestigingen.