P. Arbelaez, M. Maire, C. Fowlkes, M. , and J. , Contour Detection and Hierarchical Image Segmentation, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.33, issue.5, pp.898-916, 2011.
DOI : 10.1109/TPAMI.2010.161

S. C. Brunet, Analysis and optimization of dynamic dataflow programs, p.2015

J. T. Buck, L. , and E. A. , Scheduling dynamic dataflow graphs with bounded memory using the token flow model, IEEE International Conference on Acoustics Speech and Signal Processing, pp.429-432, 1993.
DOI : 10.1109/ICASSP.1993.319147

URL : http://ptolemy.eecs.berkeley.edu/oldwww/papers/tokenFlowICASSP93.ps.Z

W. Burnside, Theory of groups of finite order, 1911.

J. Castrillon and R. Leupers, Programming Heterogeneous MPSoCs: Tool Flows to Close the Software Productivity Gap, 2014.
DOI : 10.1007/978-3-319-00675-8

J. Castrillon, R. Leupers, and G. Ascheid, MAPS: Mapping Concurrent Dataflow Applications to Heterogeneous MPSoCs, IEEE Transactions on Industrial Informatics, vol.9, issue.1, pp.99-118, 2011.
DOI : 10.1109/TII.2011.2173941

J. Castrillon, A. Tretter, R. Leupers, and G. Ascheid, Communication-aware mapping of KPN applications onto heterogeneous MPSoCs, Proceedings of the 49th Annual Design Automation Conference on, DAC '12, 2012.
DOI : 10.1145/2228360.2228597

J. De-bakker and J. Zucker, Denotational semantics of concurrency, Proceedings of the fourteenth annual ACM symposium on Theory of computing , STOC '82, pp.153-158, 1982.
DOI : 10.1145/800070.802188

V. Diekert, G. Rozenberg, R. , and G. , The book of traces, World Scientific, vol.15, 1995.
DOI : 10.1142/2563

URL : http://www.worldscientific.com/doi/pdf/10.1142/9789814261456_fmatter

K. Gilles, The semantics of a simple language for parallel programming, Information Processing74: Proceedings of the IFIP Congress, pp.471-475, 1974.

C. K. Kengne, N. Ibrahim, M. Rousset, and M. Tchuente, Distancebased trace diagnosis for multimedia applications: Help me ted!, Semantic Computing (ICSC), 2013 IEEE Seventh International Conference on, pp.306-309, 2013.
DOI : 10.1109/icsc.2013.59

URL : https://hal.archives-ouvertes.fr/hal-00923547

E. A. Lee and D. G. Messerschmitt, Synchronous data flow, Proceedings of the IEEE, vol.75, issue.9, pp.1235-1245, 1987.
DOI : 10.1109/PROC.1987.13876

A. Mazurkiewicz, Concurrent Program Schemes and their Interpretations, DAIMI Report Series, vol.6, issue.78, p.78, 1977.
DOI : 10.7146/dpb.v6i78.7691

URL : https://tidsskrift.dk/daimipb/article/download/7691/6542

A. D. Pimentel, C. Erbas, and S. Polstra, A systematic approach to exploring embedded system architectures at multiple abstraction levels. Computers, IEEE Transactions on, vol.55, issue.2, pp.99-112, 2006.

´. A. Seress, Permutation group algorithms, 2003.
DOI : 10.1017/CBO9780511546549

A. K. Singh, M. Shafique, A. Kumar, and J. Henkel, Mapping on multi/many-core systems, Proceedings of the 50th Annual Design Automation Conference on, DAC '13, p.1, 2013.
DOI : 10.1145/2463209.2488734

S. Stuijk, M. Geilen, and T. Basten, SDF^3: SDF For Free, Sixth International Conference on Application of Concurrency to System Design (ACSD'06), pp.276-278, 2006.
DOI : 10.1109/ACSD.2006.23

L. Thiele, I. Bacivarov, W. Haid, and K. Huang, Mapping Applications to Tiled Multiprocessor Embedded Systems, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), pp.29-40, 2007.
DOI : 10.1109/ACSD.2007.53

L. Thiele, S. Chakraborty, and M. Naedele, Real-time calculus for scheduling hard real-time systems, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353), pp.101-104, 2000.
DOI : 10.1109/ISCAS.2000.858698