D. Thomas, J. Coutinho, and W. Luk, Reconfigurable computing: Productivity and performance, 2009 Conference Record of the Forty-Third Asilomar Conference on Signals, Systems and Computers, pp.685-689, 2009.
DOI : 10.1109/ACSSC.2009.5469934

G. Heiser, The role of virtualization in embedded systems, Proceedings of the 1st workshop on Isolation and integration in embedded systems, IIES '08, pp.11-16, 2008.
DOI : 10.1145/1435458.1435461

U. Steinberg and B. Kauer, NOVA, Proceedings of the 5th European conference on Computer systems, EuroSys '10, pp.209-222, 2010.
DOI : 10.1145/1755913.1755935

C. Claus, B. Zhang, W. Stechele, L. Braun, M. Hubner et al., A multi-platform controller allowing for maximum Dynamic Partial Reconfiguration throughput, 2008 International Conference on Field Programmable Logic and Applications, pp.535-538, 2008.
DOI : 10.1109/FPL.2008.4630002

D. Göhringer, M. Hübner, E. N. Zeutebouo, and J. Becker, Operating System for Runtime Reconfigurable Multiprocessor Systems, International Journal of Reconfigurable Computing, vol.2011, 2011.
DOI : 10.1155/ES/2006/56320

J. C. Prevotet, A. Benkhelifa, and E. A. Granado, A Framework for the Exploration of RTOS Dedicated to the Management of Hardware Reconfigurable Resources, 2008 International Conference on Reconfigurable Computing and FPGAs, pp.61-66, 2008.
DOI : 10.1109/ReConFig.2008.40
URL : https://hal.archives-ouvertes.fr/hal-00404919

K. D. Pham, A. K. Jain, and J. Cui, Microkernel hypervisor for a hybrid arm-fpga platform, 24th International Conference on Application-Specific Systems, Architectures and Processors, pp.219-226, 2013.

K. Vipin and S. A. Fahmy, A high speed open source controller for FPGA Partial Reconfiguration, 2012 International Conference on Field-Programmable Technology, pp.61-66, 2012.
DOI : 10.1109/FPT.2012.6412113