Authored Book -- Dynamic Reconfigurability in Reconfigurable Computing Systems: Formal Aspects of Computing

ISBN-10: 3639121112
ISBN-13: 978-3639121117
Paperback: 236 p. and 89 illus.

The book is now available worldwide at

1. amazon.com
2. amazon.co.uk
3. amazon.de
4. amazon.co.jp
5. Buchfritze.de
6. BoD (Books on Demand) (€)
7. BoD (Books on Demand) (CHF)
8. Target
9. buecher.de
10. libri.de
11. enagain.ch
12. azur.be
13. bookya.de
14. booky.fi
15. van Stockum
16. buch.de
17. mylugo
18. petlaczasu.sm.pl
19. Buchwelt.de

Book Description:

This monograph breaks fresh ground in dealing with dynamic reconfigurability taking advantage of algebraic and coalgebraic approaches - the firm formal methods applicable to a wide variety of reconfigurable computing systems. Its purpose is to make a formal basis more accessible to researchers, scientists and graduate students as well as practitioners by providing them with state-of-the-art research results and future opportunities and trends. While the dealing with this subject is regularly very mathematical, Dynamic Reconfigurability in Reconfigurable Computing Systems: Formal Aspects of Computing goes through the theory of algebras and coalgebras straightforwardly, leading the readers to an understanding of what it means to give a rigorous approach to aspects of dynamic reconfigurability. The book is self-contained and there are no requirements other than a knowledge on the major principles of reconfigurable computing systems.

Important features include:

1. A comprehensive reference on reconfigurable computing,
2. State-of-the-art research results created in the field,
3. Illustrative figures enabling easy reading, and
4. Emerging trends and open research problems and issues.

The material is organised into nine chapters addressing the following:

• An algebra of reconfiguration built to model the transformations of a DPGA-based configuration.
• The provable algorithms for partially altering a DPGA-based configuration at runtime without stopping the operation of the whole system.
• A unifying framework of reconfiguration seen as a coalgebraic model, by this way, to bserve the reconfiguration processes using the concept of functional tream derivatives.
• From the combinational properties of reconfiguration, the stream calculus and oinduction applied to classify the arrangements of the transformations of a DPGA-based onfiguration in an expressive, powerful and uniform way.
• Computing based on data flow of flowware considered as a behavioural function in stream alculus to expose the semantics for graphical networks of Register ransfer Level (RTL), and coinduction used to compute such behavioural functions.
• A semantics based on a Partial Order-based Model (POM) for the Register Transfer Level RTL) and, through this semantics, a validation method proposed to est the correctness of an RTL synthesis result.

Table of Contents:

To preview the ToC of the book, click the link here.

Eventually, I also received a free copy of my book. It is really wonderful!!!

The book and author (by Photos)