Dynamic Reconfigurability in Reconfigurable Computing Systems: Formal Aspects of Computing - Brossura

Cong-Vinh, Phan

Brossura

ISBN 10: 3639121112 ISBN 13: 9783639121117

Casa editrice: VDM Verlag Dr. Müller, 2009

Riassunto

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.

Su questo libro

L'autore

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.

Dettagli dell?edizione

• Editore: VDM Verlag Dr. Müller
• Data di pubblicazione: 2009
• ISBN 10: 3639121112
• ISBN 13: 9783639121117
• Rilegatura: Copertina flessibile
• Lingua: Inglese
• Numero di pagine: 236
• Contatto del produttore: non disponibile