System Specification and Design Languages

Selected Contributions from FDL 2010

AvTom J. Kaźmierski,Adam Morawiec

Inbunden, Engelska, 2011

Del 106 i serien Lecture Notes in Electrical Engineering

1 578 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book brings together a selection of the best papers from the thirteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in Southampton, UK in September 2010.

Produktinformation

Utgivningsdatum:2011-12-02
Mått:155 x 235 x 18 mm
Vikt:570 g
Format:Inbunden
Språk:Engelska
Serie:Lecture Notes in Electrical Engineering
Antal sidor:256
Upplaga:2012
Förlag:Springer-Verlag New York Inc.
ISBN:9781461414261

Utforska kategorier

Innehållsförteckning

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.