Methods to Improve the Performances of the Real-Time Operating Systems for Small Microcontrollers | IEEE Conference Publication | IEEE Xplore