Muutke küpsiste eelistusi

Design and Analysis of Distributed Embedded Systems: IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 2529, 2002, Montréal, Québec, Canada Softcover reprint of the original 1st ed. 2002 [Pehme köide]

4.50/5 (4 hinnangut Goodreads-ist)
Edited by , Edited by , Edited by , Edited by
  • Formaat: Paperback / softback, 288 pages, kõrgus x laius: 235x155 mm, kaal: 468 g, XVI, 288 p., 1 Paperback / softback
  • Sari: IFIP Advances in Information and Communication Technology 91
  • Ilmumisaeg: 05-Mar-2013
  • Kirjastus: Springer-Verlag New York Inc.
  • ISBN-10: 1475749376
  • ISBN-13: 9781475749373
Teised raamatud teemal:
  • Pehme köide
  • Hind: 141,35 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 166,29 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Design and Analysis of Distributed Embedded Systems: IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 2529, 2002, Montréal, Québec, Canada Softcover reprint of the original 1st ed. 2002Suurem pilt
  • Formaat: Paperback / softback, 288 pages, kõrgus x laius: 235x155 mm, kaal: 468 g, XVI, 288 p., 1 Paperback / softback
  • Sari: IFIP Advances in Information and Communication Technology 91
  • Ilmumisaeg: 05-Mar-2013
  • Kirjastus: Springer-Verlag New York Inc.
  • ISBN-10: 1475749376
  • ISBN-13: 9781475749373
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9781475749373.html
Märksõnad:
Design and Analysis of Distributed Embedded Systems is organized similar to the conference. Chapters 1 and 2 deal with specification methods and their analysis while Chapter 6 concentrates on timing and performance analysis. Chapter 3 describes approaches to system verification at different levels of abstraction. Chapter 4 deals with fault tolerance and detection. Middleware and software reuse aspects are treated in Chapter 5. Chapters 7 and 8 concentrate on the distribution related topics such as partitioning, scheduling and communication. The book closes with a chapter on design methods and frameworks.

Muu info

Springer Book Archives
Can UML be a System-Level Language for Embedded Software?.- PEARL for Distributed Embedded Systems.- Universal Plug and Play Machine Models.- Analysis of Event-Driven Real-Time Systems with Time Petri Nets: A Translation-Based Approach.- Petri Net Based Design of Reconfigurable Embedded Real-Time Systems.- Model Checking Robustness to Desynchronization.- A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems.- Towards Design Verification and Validation at Multiple Levels of Abstraction.- Modeling and Verification of Pipelined Embedded Processors in the Presence of Hazards and Exceptions.- Statistical Analysis of a Hybrid Replication Model.- Building Embedded Fault-Tolerant Systems for Critical Applications: An Experimental Study.- Fault Detection in Safety-Critical Embedded Systems.- Dependability Characterization of Middleware Services.- Adaptive Middleware for Ubiquitous Computing Environments.- Finegrained Application Specific Customization of Embedded Software.- Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems.- Transforming Execution-Time Boundable Code into Temporally Predictable Code.- Bottom-Up Performance Analysis of HW/SW Platforms.- Temporal Partitioning and Sequencing of Dataflow Graphs on Reconfigurable Systems.- Integration of Low Power Analysis into High-Level Synthesis.- Going Beyond Deadline-Driven Low-Level Scheduling in Distributed Real-Time Computing Systems.- IEEE-1394 A Standard to Interconnect Distributed Systems.- Deterministic and High-Performance Communication System for the Distributed Control of Mechatronic Systems Using the IEEE 1394a.- A Consistent Design Methodology for Configurable HW/SW-Interfaces in Embedded Systems.- Low Latency Color Segmentation on EmbeddedReal-Time Systems.- Soft IP Design Framework Using Metaprogramming Techniques.- How to integrate Webservices in Embedded System Design?.- Design and Realization of Distributed Real-Time Controllers for Mechatronic Systems.