Synchronous Equivalence

€ 139,00
+ € 6,49 Verzending
  • product image

Synchronous Equivalence

  • Merk: Unbranded
Verkocht door:

Synchronous Equivalence

  • Merk: Unbranded
Prijs: € 139,00
Verkocht door:
€ 139,00
+ € 6,49 Verzending

Op voorraad

We accepteren de volgende betalingsmethoden

Beschrijving

1. Introduction. - 1. Emergence of Embedded Systems. - 2. Design of Embedded Systems. - 3. Requirements For An Effective Design Methodology. - 4. Proposed Design Approach. - 5. Motivation. - 6. Overview. - 2. The Polis Codesign Framework. - 1. The Polis Codesign Methodology. - 3. Codesign Finite State Machines. - 1. Background. - 2. CFSMs: Semantics. - 3. Mathematical Model. - 4. Formal Verification of CFSM Specifications. - 1. Verification Methodology. - 2. Verification Example: Seat Belt Alarm Controller. - 3. Verification Example: Shock Absorber Controller. - 4. Conclusions. - 5. Synchronous Equivalence. - 1. Motivation. - 2. The Synchronous Assumption and Synchronous Equivalence. - 3. Design Exploration Methodology. - 4. Analyzing Synchronous Equivalence. - 6. Static Equivalence Analysis. - 1. Scheduling Policy Analysis. - 2. System Graph Analysis. - 3. Mixed Analysis. - 4. Analysis of Heterogeneous Architectures. - 5. Conclusions. - 7. Communication Analysis. - 1. Execution Trace. - 2. Abstracting Communication. - 3. Conclusions. - 8. Refining Communication Analysis. - 1. Container Refinement. - 2. State Refinement. - 3. Pruning Execution Covers. - 4. Relationship with Exact Simulation. - 9. Conclusions and Future Directions. - 1. Conclusions. - 2. Future Directions. Language: English
  • Merk: Unbranded
  • Categorie: Onderwijs
  • Artiest: Harry Hsieh
  • Uitgever / Label: Springer
  • Formaat: Paperback
  • Aantal pagina's: 136
  • Verschijningsdatum: 2012/11/05
  • Taal: English
  • Fruugo-ID: 340077308-746008102
  • ISBN: 9781461356646

Levering & retouren

Verzonden binnen4 dagen

  • STANDARD: € 6,49 - Levering tussen wo 15 oktober 2025–ma 20 oktober 2025

Verzending vanaf Verenigd Koninkrijk.

We doen ons best om ervoor te zorgen dat de producten die u bestelt volledig en volgens uw specificaties bij u worden afgeleverd. Mocht u echter een onvolledige bestelling ontvangen of andere artikelen dan degene die u heeft besteld, of als er een andere reden is waarom u niet tevreden bent met de bestelling, dan kunt u de bestelling retourneren, of welk product dan ook die bij de bestelling was inbegrepen, en ontvangt u een volledige terugbetaling voor de artikelen. Bekijk het volledige retourbeleid