RTOS extensions for dynamic hardware / software monitoring and configuration management. - Yvan Eustache; Jean-Philippe Diguet; Milad Elkhodary (IPDPS, 2006)