Model-Based Verification and Estimation Framework for Dynamically Partially Reconfigurable Systems

10.1155/2008/231940

10.1109/APCSAC.2008.4625436

10.1109/ISCAS.2009.5118239

10.1109/TII.2010.2060206

10.1109/TII.2010.2050001

10.1109/FPL.2006.311188

10.1109/TII.2009.2026896

10.1007/978-3-540-71322-7_13

10.1109/TIE.2007.898281

10.1155/2009/408605

burmester, 2005, Model-driven architecture for hard real-time systems: From platform independent models to code, Proc 1st Eur Conf Model Driven ArchitectureFoundations and Applications (ECMDA-FA), 3748, 25, 10.1007/11581741_4

10.1109/DATE.2005.61

10.1016/j.micpro.2006.02.009

10.1007/BFb0025774

10.1016/j.jss.2009.03.013

10.1109/LICS.1992.185551

10.1109/TII.2010.2098415

beierlein, 2004, Model-driven compilation of UML-models for reconfigurable architectures, Proc 2nd RTAS Workshop on Model-Driven Embedded Syst (MoDES'04)

10.1109/TSE.2004.68

queille, 1982, Specification and verification of concurrent systems in CESAR, Proc Int Symp Program, 137, 337

10.1109/TIE.2007.898279

raabe, 2008, ReChannel: Describing and simulating reconfigurable hardware in systemC, ACM Trans Design Autom Electron Syst, 13, 1, 10.1145/1297666.1297681

10.1109/12.980017

sun, 2006, Floorplanning based on particle swarm optimization, Proc IEEE Comput Soc Annu Symp VLSI, 7