![Design and Analysis of Distributed Embedded Systems [electronic resource] : IFIP 17th World Computer Congress — TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 25–29, 2002, Montréal, Québec, Canada /](/search/themes/bootstrap3/images/libros.png)
Design and Analysis of Distributed Embedded Systems [electronic resource] : IFIP 17th World Computer Congress — TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 25–29, 2002, Montréal, Québec, Canada /
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.
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Boston, MA : Springer US : Imprint: Springer,
2002
|
| Subjects: | Computer science., Microprocessors., Computer communication systems., Computer-aided engineering., Computer Science., Computer-Aided Engineering (CAD, CAE) and Design., Computer Communication Networks., Processor Architectures., |
| Online Access: | http://dx.doi.org/10.1007/978-0-387-35599-3 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|