Produktbild: Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s
Band 63 - 13%

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification from FDL 2009

13% sparen

142,99 € UVP 164,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

18.09.2010

Herausgeber

Dominique Borrione

Verlag

Springer Netherland

Seitenzahl

248

Maße (L/B/H)

24,1/16,5/2,5 cm

Gewicht

518 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-90-481-9303-5

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

18.09.2010

Herausgeber

Dominique Borrione

Verlag

Springer Netherland

Seitenzahl

248

Maße (L/B/H)

24,1/16,5/2,5 cm

Gewicht

518 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-90-481-9303-5

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern

  • Produktbild: Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s
  • Part I UML and MDE for Embedded Systems. IP-XACT components with Abstract Time Characterization; Frédéric Mallet, Charles André and Robert de Simone. MDE Support for HW/SW Codesign: a UML-based Design Flow; Luis Gabriel Murillo, Marcello Mura and Mauro Prevostini

    Part II C/C++-Based System Design. Checkpoint and Restore for SystemC Models; Màrius Montón, et al. Efficient Approximately-Timed Performance Modeling for Architectural Exploration of MPSoCs; Martin Streubühr, et al. Fast SystemC Performance Models For The Exploration Of Embedded Memories; Hans-Peter Loeb and Christian Sauer. Another take on functional system-level design and modeling; Tomasz Toczek, et al. Generic Model for Application-Specific Processors on Reconfigurable Fabric; Arda Yurdakul, et al. A SystemC Superset for High-Level Synthesis; Maxim Smirnov and Andres Takach.

    Part III Embedded Analog and Mixed-Signal System Design. Design of Experiments for Effective Pre-silicon Verification of Automotive Electronics; Monica Rafaila, et al. A VHDL-AMS Modeling Methodology for Top-Down/Bottom-Up Design of RF Systems; Torsten Maehne, et al.

    Part IV Assertion Based Design, Verification & Debug. High Level Synthesis Using Operation Properties; Jan Langer and Ulrich Heinkel. A Re-Use Methodology for Formal SoC Protocol Compliance Verification; Minh D. Nguyen, et al. ISIS: Runtime Verification of TLM Platforms; Luca Ferro and Laurence Pierre. SMT-based Stimuli Generation in the SystemC Verification Library; Robert Wille, et al.