• Home
  • Über uns
  • Publizieren
  • Katalog
  • Newsletter
  • Hilfe
  • Account
  • Kontakt / Impressum
Dissertation - Publikationsreihe - Tagungsband - Fachbuch - Vorlesungsskript/Lehrbuch - Zeitschrift - CD-/DVD-ROM - Online Publikation
Suche im Gesamtkatalog - Rezensionen - Lizenzen
Newsletter für Autoren und Herausgeber - Neuerscheinungsservice - Archiv
Warenkorb ansehen
Katalog : Details

Michael Beyer

Static Analysis of Run-time Modes in Kahn Process Networks

VorderseiteRückseite
 
ISBN:978-3-8440-1252-1
Reihe:Softwaretechnik
Schlagwörter:static analysis; Kahn process networks; run-time behavior; modes; polyhedral abstraction
Publikationsart:Dissertation
Sprache:Englisch
Seiten:142 Seiten
Abbildungen:63 Abbildungen
Gewicht:209 g
Format:21 x 14,8 cm
Bindung:Paperback
Preis:45,80 € / 57,25 SFr
Erscheinungsdatum:September 2012
Kaufen:
  » zzgl. Versandkosten
DOI:10.2370/9783844012521 (Online-Gesamtdokument)
Download:

Verfügbare Online-Dokumente zu diesem Titel:

Sie benötigen den Adobe Reader, um diese Dateien ansehen zu können. Hier erhalten Sie eine kleine Hilfe und Informationen, zum Download der PDF-Dateien.

Bitte beachten Sie, dass die Online-Dokumente nicht ausdruckbar und nicht editierbar sind.
Bitte beachten Sie auch weitere Informationen unter: Hilfe und Informationen.

 
 DokumentAbstract / Kurzzusammenfassung 
 DateiartPDF 
 Kostenfrei 
 AktionAnzeigen der Datei - 117 kB (120134 Byte) 
 AktionDownload der Datei - 117 kB (120134 Byte) 
     
 
 DokumentGesamtdokument 
 DateiartPDF 
 Kosten34,35 EUR 
 AktionZahlungspflichtig kaufen und anzeigen der Datei - 1,1 MB (1121660 Byte) 
 AktionZahlungspflichtig kaufen und download der Datei - 1,1 MB (1121660 Byte) 
     
 
 DokumentInhaltsverzeichnis 
 DateiartPDF 
 Kostenfrei 
 AktionAnzeigen der Datei - 178 kB (182616 Byte) 
 AktionDownload der Datei - 178 kB (182616 Byte) 
     

Benutzereinstellungen für registrierte Online-Kunden

Sie können hier Ihre Adressdaten ändern sowie bereits georderte Dokumente erneut aufrufen.

Benutzer:  Nicht angemeldet
Aktionen:  Anmelden/Registrieren
 Passwort vergessen?
Weiterempfehlung:Sie möchten diesen Titel weiterempfehlen?
RezensionsexemplarHier können Sie ein Rezensionsexemplar bestellen.
VerlinkenSie möchten diese Seite verlinken? Hier klicken.
ZusammenfassungKahn Process Networks (KPNs) are used for modeling streaming-oriented applications with changing behavior. To meet the performance and energy constraints of embedded devices, such applications must be mapped to parallel architectures in an optimal way. Finding an optimal mapping to the constrained architecture presumes that the behavior of the KPN is statically known. Considering the run-time behavior of streaming-oriented applications, we can identify run-time modes in which the system offers a certain behavior. In this book, we present a static analysis that identifies such run-time modes at compile-time.

To that end, we use abstract interpretation based on polyhedral abstraction and an automata-based representation of KPNs to consider the expected run-time behavior. We have developed a state partitioning algorithm to separate control-oriented parts from transformative parts. The automata states are partitioned according to the run-time behavior. We identify modes and their hierarchies for individual processes by using our graph reduction algorithm to transform state partitioned automata to mode automata. To obtain the overall network behavior, we have developed a composition algorithm for asynchronously communicating mode automata. We abstract from unnecessary considerations of interleaving states by choosing one representative execution. The result is a mode automaton describing the whole network behavior.

To evaluate our method, we have implemented a prototype of our analysis. For an arbitrary KPN, our implementation statically analyzes its run-time modes and their corresponding behaviors. We have evaluated typical case studies, e. g., a reconfigurable Finite Impulse Response filter, which demonstrate the practicability of our approach. Optimizing backends that map KPNs to parallel architectures can be guided by these analysis results.