Automated Generation of Model-Based Constraints for Common Multi-core and Real-Time Applications Using Execution Tracing

Raphaƫl Beamonte, Naser Ezzati Jivan, Michel R. Dagenais. Automated Generation of Model-Based Constraints for Common Multi-core and Real-Time Applications Using Execution Tracing. International Journal of Parallel Programming, 49(1):104-134, 2021. [doi]

Abstract

Abstract is missing.