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.
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.