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

M. Liu, M. Crussiere, and J. Helard, A Novel Data-Aided Channel Estimation With Reduced Complexity for TDS-OFDM Systems, IEEE Transactions on Broadcasting, vol.58, issue.2, pp.247-260, 2012.
DOI : 10.1109/TBC.2012.2184152
URL : https://hal.archives-ouvertes.fr/hal-00656101

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

J. Liedtke, On micro-kernel construction, 1995.

M. Aichouch, J. C. Prevotet, and F. Nouvel, Evaluation of the overheads and latencies of a virtualized RTOS, 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES), pp.81-84, 2013.
DOI : 10.1109/SIES.2013.6601475

E. Lubbers and M. Platzner, ReconOS: An RTOS Supporting Hard-and Software Threads, 2007 International Conference on Field Programmable Logic and Applications, pp.441-446, 2007.
DOI : 10.1109/FPL.2007.4380686

D. Gohringer, M. Hubner, E. N. Zeutebouo, and J. Becker, CAP-OS: Operating system for runtime scheduling, task mapping and resource management on reconfigurable multiprocessor architectures, 2010 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW), pp.1-8, 2010.
DOI : 10.1109/IPDPSW.2010.5470732

A. K. Jain, K. D. Pham, J. Cui, S. A. Fahmy, and D. L. Maskell, Virtualized Execution and Management of Hardware Tasks on a Hybrid ARM-FPGA Platform, Journal of Signal Processing Systems, vol.41, issue.7, pp.61-76, 2014.
DOI : 10.1007/s11265-014-0884-1

G. Heiser and B. Leslie, The OKL4 microvisor, Proceedings of the first ACM asia-pacific workshop on Workshop on systems, APSys '10, pp.19-24, 2010.
DOI : 10.1145/1851276.1851282

J. Y. Hwang, S. B. Suh, S. K. Heo, C. J. Park, J. M. Ryu et al., Xen on ARM: System Virtualization Using Xen Hypervisor for ARM-Based Secure Mobile Phones, 2008 5th IEEE Consumer Communications and Networking Conference, pp.257-261, 2008.
DOI : 10.1109/ccnc08.2007.64

J. H. Ding, C. J. Lin, P. H. Chang, C. H. Tsang, W. C. Hsu et al., Armvisor: System virtualization for arm, OLS, 2012, pp.93-107

P. Varanasi and G. Heiser, Hardware-supported virtualization on ARM, Proceedings of the Second Asia-Pacific Workshop on Systems, APSys '11, p.11, 2011.
DOI : 10.1145/2103799.2103813

C. T. Liu, K. C. Chen, and C. H. Chen, Casl hypervisor and its virtualization platform, ISCAS. IEEE, pp.1224-1227, 2013.

C. Dall and J. Nieh, KVM/ARM, Proceedings of the 19th international conference on Architectural support for programming languages and operating systems, ASPLOS '14, pp.333-348, 2014.
DOI : 10.1145/2541940.2541946

W. Wang, M. Bolic, and J. Parri, pvFPGA: Accessing an FPGA-based hardware accelerator in a paravirtualized environment, 2013 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), pp.1-9, 2013.
DOI : 10.1109/CODES-ISSS.2013.6658997

S. Byma, J. G. Steffan, H. Bannazadeh, A. L. Garcia, and P. Chow, FPGAs in the Cloud: Booting Virtualized Hardware Accelerators with OpenStack, 2014 IEEE 22nd Annual International Symposium on Field-Programmable Custom Computing Machines, pp.109-116, 2014.
DOI : 10.1109/FCCM.2014.42

T. Xia, J. C. Prevotet, and F. Nouvel, Microkernel dedicated for dynamic partial reconfiguration on ARM-FPGA platform, ACM SIGBED Review, vol.11, issue.4, pp.31-36, 2014.
DOI : 10.1145/2724942.2724947
URL : https://hal.archives-ouvertes.fr/hal-01113215