Monter d'un niveau |
Beamonte, R., Ezzati-Jivan, N., & Dagenais, M. (2021). 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. Lien externe