Cantitate/Preț
Produs
Total produse
Vezi coșul
System Specification and Design Languages: Selected Contributions from FDL 2010 de Tom J. Kaźmierski

System Specification and Design Languages: Selected Contributions from FDL 2010: Lecture Notes in Electrical Engineering, cartea 106

Editat de Tom J. Kaźmierski, Adam Morawiec
en Limba Engleză Paperback – 3 mar 2014
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.  FDL is a well established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modelling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 92413 lei  43-57 zile
  Springer – 3 mar 2014 92413 lei  43-57 zile
Hardback (1) 93000 lei  43-57 zile
  Springer – 2 dec 2011 93000 lei  43-57 zile

Din seria Lecture Notes in Electrical Engineering

Preț: 92413 lei

Preț vechi: 112699 lei
-18% Nou

Puncte Express: 1386
Preț estimativ în valută:
17686€ • 18371$ • 14691£

Carte tipărită la comandă

Livrare economică 03-17 februarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9781489994417
ISBN-10: 1489994416
Pagini: 268
Ilustrații: XII, 256 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.38 kg
Ediția:2012
Editura: Springer
Colecția Springer
Seria Lecture Notes in Electrical Engineering

Locul publicării:New York, NY, United States

Public țintă

Research

Cuprins

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.

Textul de pe ultima copertă

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.  FDL is a well established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modelling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.
  • Covers design verification, automatic synthesis and mechanized debug aids;
  • Includes language-based modeling and design techniques for embedded systems;
  • Covers design, modeling and verification of mixed physical domain and mixed signal systems that include significant analog parts in electrical and non-electrical domains;
  • Includes formal and semi-formal system level design methods for complex embedded systems based on the Unified Modelling Language (UML) and Model Driven Engineering (MDE).
 
 
 
 
 
 
 

 

Caracteristici

Covers design verification, automatic synthesis and mechanized debug aids Includes language-based modeling and design techniques for embedded systems Covers design, modeling and verification of mixed physical domain and mixed signal systems that include significant analog parts in electrical and non-electrical domains Includes formal and semi-formal system level design methods for complex embedded systems based on the Unified Modelling Language (UML) and Model Driven Engineering (MDE) Includes supplementary material: sn.pub/extras