A real-time Java chip-multiprocessor
WCET analysis for a Java processor