Linking Formal Description and Simulation of Runtime Reconfigurable Systems

Thilo Pionteck, Christoph Osterloh, Carsten Albrecht. Linking Formal Description and Simulation of Runtime Reconfigurable Systems. In Peter M. Athanas, Jürgen Becker, René Cumplido, editors, 2011 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2011, Cancun, Mexico, November 30 - December 2, 2011. pages 158-163, IEEE Computer Society, 2011. [doi]

Abstract

Abstract is missing.