-------- Original-Nachricht -------- Betreff: [computational.science] Book Announcement Datum: Tue, 10 Feb 2009 01:16:04 +0700 Von: Phan Cong-Vinh phanvc@ieee.org Organisation: "OptimaNumerics" An: Computational Science Mailing List computational.science@lists.optimanumerics.com

BOOK ANNOUNCEMENT:

Dynamic Reconfigurability in Reconfigurable Computing Systems: Formal Aspects of Computing (Paperback)

by Phan Cong-Vinh (Author), PhD in Computing, CAFM, London South Bank University, United Kingdom

Book Details:

* Paperback: 236 pages * Publisher: VDM Verlag Dr. Müller (January 29, 2009) * Language: English * ISBN-10: 3639121112 * ISBN-13: 978-3639121117 * Book Dimensions: 8.7 x 5.9 x 0.6 inches * Shipping Weight: 13.9 ounces

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:

- A comprehensive reference on reconfigurable computing, - State-of-the-art research results created in the field, - Illustrative figures enabling easy reading, and - 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 observe the reconfiguration processes using the concept of functional stream derivatives.

- From the combinational properties of reconfiguration, the stream calculus and coinduction applied to classify the arrangements of the transformations of a DPGA-based configuration in an expressive, powerful and uniform way.

- Computing based on data flow of flowware considered as a behavioural function in stream calculus to expose the semantics for graphical networks of Register Transfer 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 test the correctness of an RTL synthesis result.

Now available for purchase from:

Amazon.com (US customers): http://www.amazon.com/Dynamic-Reconfigurability-Reconfigurable-Computing-Sys... 1112/ref=cm_sw_em_r_dp_title_featured?ie=UTF8&tag=tellafriend-20

Amazon.co.uk (UK Customers): http://www.amazon.co.uk/Dynamic-Reconfigurability-Reconfigurable-Computing-S... 121112/ref=sr_1_1?ie=UTF8&s=books&qid=1234120603&sr=8-1

Amazon.de (German customers): http://www.amazon.de/Dynamic-Reconfigurability-Reconfigurable-Computing-Syst... 112/ref=sr_1_1?ie=UTF8&s=books-intl-de&qid=1234120665&sr=8-1

Amazon.co.jp (Japanese customers): http://www.amazon.co.jp/Dynamic-Reconfigurability-Reconfigurable-Computing-S... 121112/ref=sr_1_1?ie=UTF8&s=english-books&qid=1234120711&sr=8-1

Amazon.at (Austrian customers): http://www.amazon.de/Dynamic-Reconfigurability-Reconfigurable-Computing-Syst... 112/ref=sr_1_1?ie=UTF8&s=books-intl-de&qid=1234120782&sr=8-1

--------------------------------------------------------------------- To unsubscribe, e-mail: computational.science-unsubscribe@lists.optimanumerics.com For additional commands, e-mail: computational.science-help@lists.optimanumerics.com

Computational Science mailing list hosting is provided by OptimaNumerics (http://www.OptimaNumerics.com) ---------------------------------------------------------------------