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ă Hardback – 2 dec 2011
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) 90664 lei  6-8 săpt.
  Springer – 3 mar 2014 90664 lei  6-8 săpt.
Hardback (1) 91240 lei  6-8 săpt.
  Springer – 2 dec 2011 91240 lei  6-8 săpt.

Din seria Lecture Notes in Electrical Engineering

Preț: 91240 lei

Preț vechi: 111268 lei
-18% Nou

Puncte Express: 1369
Preț estimativ în valută:
16145€ • 18932$ • 14179£

Carte tipărită la comandă

Livrare economică 11-25 februarie 26

 Adaugă în coș

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

Specificații

ISBN-13: 9781461414261
ISBN-10: 1461414261
Pagini: 268
Ilustrații: XII, 256 p.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.55 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