Analyzing the memory management semantic and requirements of the real-time specification of Java JSR-0000001 | IEEE Conference Publication | IEEE Xplore