Dynamic Reconfigurability in Reconfigurable Computing Systems: Formal Aspects of Computing - Couverture souple

Cong-Vinh, Phan

9783639121117: Dynamic Reconfigurability in Reconfigurable Computing Systems: Formal Aspects of Computing

Couverture souple

ISBN 10 : 3639121112 ISBN 13 : 9783639121117

Editeur : VDM Verlag Dr. M�ller, 2009

Afficher les exemplaires de cette �dition comportant l?ISBN

0 D'occasion

2 Neuf

De EUR 60,51

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.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

Pr�sentation de l'�diteur

Biographie de l'auteur

Phan Cong-Vinh obtained a Ph.D. in Computing from London South Bank University (LSBU) in UK. He finished his Ph.D. dissertation titled �Formal Aspects of Dynamic Reconfigurability in Reconfigurable Computing Systems� supervised by Prof. Jonathan P. Bowen. His research interests center on Formal Methods and Autonomic Computing and Networking.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.