partitioning, real-time scheduling, hardware acceleration; - AIMMS LMS