Dynamic Reconfigurability in Reconfigurable Computing Systems

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.