Dynamic Reconfigurability in Reconfigurable Computing Systems: Formal Aspects of Computing - Tapa blanda

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.