Muutke küpsiste eelistusi

E-raamat: Embedded Systems Specification and Design Languages: Selected Contributions from FDL'07

Edited by
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 110,53 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Embedded Systems Specification and Design Languages: Selected Contributions from FDL'07Suurem pilt
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and to learn about new trends in the application of specification and design languages and the associated design and modeling methods and tools for complex, heterogeneous HW/SW embedded systems. FDL07 was the tenth of a series of successful events held all around Europe. FDL07 was held in Barcelona, the capital city of Catalonia, Spain. The high number of submissions to the conference this year allowed the Program Committee to prepare a high quality conference program. Specification and Design Languages for Heterogeneous HW/SW Embedded Systems includes a selection of the most relevant contributions based on the review made by the program committee members and the quality of the contents of the presentation at the conference. In many cases, the authors have improved the original content with additional technical information. The papers cover the most important aspects in system modeling and specification, an essential area in Embedded Systems design.



The objective of Specification and Design Languages for Heterogeneous HW/SW Embedded Systems is to serve as a reference text for researchers and designers interested in the extension and improvement of the application of design and verification languages in the area of Embedded Systems.
C/C++ Based System Design.- How Different Are Esterel and SystemC.-
Timed Asynchronous Circuits Modeling and Validation Using SystemC.- On
Construction of Cycle Approximate Bus TLMs.- Combinatorial Dependencies in
Transaction Level Models.- An Integrated SystemC Debugging Environment.-
Measuring the Quality of a SystemC Testbench by Using Code Coverage
Techniques.- SystemC-Based Simulation of the MICAS Architecture.- Analog,
Mixed-Signal, and Heterogeneous System Design.- Heterogeneous Specification
with HetSC and SystemC-AMS: Widening the Support of MoCs in SystemC.- An
Extension to VHDL-AMS for AMS Systems with Partial Differential Equations.-
Mixed-Level Modeling Using Configurable MOS Transistor Models.- UML-Based
System Specification and Design.- Modeling AADL Data Communications with UML
MARTE.- Software Real-Time Resource Modeling.- Model Transformations from a
Data Parallel Formalism Towards Synchronous Languages.- UML and SystemC A
Comparison and Mapping Rules for Automatic Code Generation.- An Enhanced
SystemC UML Profile for Modeling at Transaction-Level.- SC2 StateCharts to
SystemC: Automatic Executable Models Generation.- Formalisms for
Property-Driven Design.- Asynchronous On-Line Monitoring of Logical and
Temporal Assertions.- Transactor-Based Formal Verification of Real-Time
Embedded Systems.- A Case-Study in Property-Based Synthesis: Generating a
Cache Controller from a Property-Set.
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97814020829792e.html
Märksõnad: