J. H. Bahn, J. Yang, and N. Bagherzadeh, Parallel fft algorithms on network-on-chips, In: Proceedings ITNG, 2008.

P. Baptiste, L. Pape, C. Nuijten, and W. , Constraint-based scheduling: applying constraint programming to scheduling problems, 2001.
DOI : 10.1007/978-1-4615-1479-4
URL : https://hal.archives-ouvertes.fr/inria-00123562

E. Bini and G. Buttazzo, Measuring the Performance of Schedulability Tests, Real-Time Systems, vol.20, issue.1, pp.129-154, 2005.
DOI : 10.1007/s11241-005-0507-9

T. Carle and D. Potop-butucaru, Predicate-aware, makespan-preserving software pipelining of scheduling tables, ACM Transactions on Architecture and Code Optimization, vol.11, issue.1, p.12, 2014.
DOI : 10.1145/2579676
URL : https://hal.archives-ouvertes.fr/hal-01095123

C. Jr, A. P. Graham, and R. L. , Optimal scheduling for two-processor systems, Acta informatica, vol.1, issue.3, pp.200-213, 1972.

S. Craciunas and R. S. Oliver, SMT-based Task- and Network-level Static Schedule Generation for Time-Triggered Networked Systems, Proceedings of the 22nd International Conference on Real-Time Networks and Systems, RTNS '14, pp.45-45, 2014.
DOI : 10.1145/2659787.2659812

M. Garey and D. Johnson, Complexity Results for Multiprocessor Scheduling under Resource Constraints, SIAM Journal on Computing, vol.4, issue.4, pp.397-411, 1975.
DOI : 10.1137/0204035

Z. Gu, X. He, and M. Yuan, Optimization of static task and bus access schedules for time-triggered distributed embedded systems with model-checking, Design Automation Conference DAC '07, pp.294-299, 2007.

C. Hang, P. Manolios, and V. Papavasileiou, Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints, Computer Aided Verification, pp.441-456, 2011.
DOI : 10.1109/32.637388
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.642.5037

K. Leyton-brown, H. H. Hoos, F. Hutter, and L. Xu, -complete problems, Communications of the ACM, vol.57, issue.5, pp.98-107, 2014.
DOI : 10.1145/2594413.2594424
URL : https://hal.archives-ouvertes.fr/in2p3-00575330

T. Megel, R. Sirdey, and V. David, Minimizing Task Preemptions and Migrations in Multiprocessor Optimal Real-Time Schedules, 2010 31st IEEE Real-Time Systems Symposium, pp.2010-2041, 2010.
DOI : 10.1109/RTSS.2010.22

T. Nowatzki, M. Sartin-tarm, L. D. Carli, K. Sankaralingam, C. Estan et al., A general constraint-centric scheduling framework for spatial architectures, Proceedings PLDI'13, pp.495-506, 2013.
DOI : 10.1145/2499370.2462163

P. Tendulkar, P. Poplavko, and O. Maler, Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores, pp.228-242, 2013.
DOI : 10.1007/978-3-642-40229-6_16

H. Topcuoglu, S. Hariri, and M. Y. Wu, Performance-effective and low-complexity task scheduling for heterogeneous computing. Parallel and Distributed Systems, IEEE Transactions on, vol.13, issue.3, pp.260-274, 2002.