Synchronous Equivalence

$219.00
+ $12.49 Shipping

Synchronous Equivalence

  • Brand: Unbranded
  • product image
Synchronous Equivalence

Synchronous Equivalence

  • Brand: Unbranded
Price: $219.00
Sold by:
$219.00
+ $12.49 Shipping

In stock

We accept the following payment methods

Description

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
  • Brand: Unbranded
  • Category: Education
  • Artist: Harry Hsieh
  • Format: Paperback
  • Language: English
  • Publication Date: 2012/11/05
  • Publisher / Label: Springer
  • Number of Pages: 136
  • Fruugo ID: 340077308-746008102
  • ISBN: 9781461356646

Delivery & Returns

Dispatched within 4 days

  • STANDARD: $12.49 - Delivery between Tue 14 October 2025–Fri 17 October 2025

Shipping from United Kingdom.

We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items. View full return policy