Merkzettel Warenkorb
  • Produktbild: System Specification and Design Languages
  • Produktbild: System Specification and Design Languages
Band 106 - 13%

System Specification and Design Languages Selected Contributions from FDL 2010

Aus der Reihe Lecture Notes in Electrical Engineering
13% sparen

138,99 € UVP 160,49 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

02.12.2011

Herausgeber

Tom J. Kaźmierski + weitere

Verlag

Springer Us

Seitenzahl

256

Maße (L/B/H)

24,1/16/1,8 cm

Gewicht

514 g

Auflage

2012

Sprache

Englisch

ISBN

978-1-4614-1426-1

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

02.12.2011

Herausgeber

Verlag

Springer Us

Seitenzahl

256

Maße (L/B/H)

24,1/16/1,8 cm

Gewicht

514 g

Auflage

2012

Sprache

Englisch

ISBN

978-1-4614-1426-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: System Specification and Design Languages
  • Produktbild: System Specification and Design Languages

  • Formal Hardware/Software Co-verification of Application Specific Instruction Set Processors.- Evaluating Debugging Algorithms from a Qualitative Perspective.- Mapping of Concurrent Object-oriented Models to Extend Real-time Task Networks.- SystemC-A Modelling of Mixed-technology Systems with Distributed Behaviour.- A Framework for Interactive Refinement of Mixed HW/SW/Analog Systems.- Bottom-up Verification for CMOS Photonic Linear Heterogeneous System.- Towards Abstract Analysis Techniques for Range Based System Simulations.- Modeling Time-triggered Architecture Based Real-time Systems Using SystemC.- Towards the Development of a Set of Transaction Level Models - A Feature-oriented Approach.- Rapid Prototyping of Complex HW/SW Systems Using a Timing and Power Aware ESL Framework.- Towards Accurate Source-level Annotation of Low-level Properties Obtained from Optimized Binary Code.- Architecture Specifications in C¿aSH.- SyReC: A Programming Language for Synthesis of Reversible Circuits.- Logical Time @ Work: Capturing Data Dependencies and Platform Constraints.- Formal Support for Untimed MARTE-SystemC Interoperability.