51,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
  • Broschiertes Buch

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…mehr

Produktbeschreibung
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.
Autorenporträt
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.