J. Almeida, M. Frade, J. Pinto, S. Melo, and . Sousa, An Overview of Formal Methods Tools and??Techniques, Rigorous Software Development, pp.15-44, 2011.
DOI : 10.1007/978-0-85729-018-2_2

. Intel, Intel MPI Benchmarks 4.0 Update 2

. Phoronix-test-suite, http://www.phoronix-test-suite.com

Y. Kuo-yi-chen, P. Chang, P. Liao, S. Yew, T. Cheng et al., Mathieu Desnoyers. Low-Impact Operating System Tracing, Linux Trace Tool new generation Selective Profiling for OS Scalability Study on Multicore Systems. 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications, pp.174-181, 2009.

P. Steven, J. Callahan, E. Freire, C. Santos, C. T. Scheidegger et al., VisTrails : Visualization meets Data Management, Proceedings of the 2006 ACM SIGMOD International Conference on Management of Data, pp.745-747, 2006.

G. Pagano, Trace Management and Analysis for Embedded Systems, 2013 IEEE 7th International Symposium on Embedded Multicore Socs, 2013.
DOI : 10.1109/MCSoC.2013.28
URL : https://hal.archives-ouvertes.fr/hal-01065877

R. Jain, The Art Of Computer Systems Performance Analysis, 1991.

M. Yamamoto, M. Ono, K. Nakashima, and A. Hirai, Unified performance profiling of an entire virtualized environment, Computing and Networking (CANDAR), 2014 Second International Symposium on, pp.106-115, 2014.

J. Gouigoux, Practical Performance Profiling: Improving the Efficiency of .NET Code. Red gate books

J. Seward, N. Nethercote, and J. Weidendorfer, Valgrind 3.3 -Advanced Debugging and Profiling for GNU/Linux Applications, Network Theory Ltd, 2008.

T. Janjusic and C. Kartsaklis, Glprof: A Gprof Inspired, Callgraph-oriented Per-object Disseminating Memory Access Multi-cache Profiler, International Conference On Computational Science, {ICCS} 2015Computational Science at the Gates of Nature, pp.1363-1372, 2015.
DOI : 10.1016/j.procs.2015.05.324

A. Knüpfer, Score-P: A Joint Performance Measurement Run-Time Infrastructure for Periscope, Scalasca, TAU, and Vampir, Tools for High Performance Computing 2011, pp.79-91, 2011.
DOI : 10.1007/978-3-642-31476-6_7

D. Couturier and M. R. Dagenais, LTTng CLUST: A System-Wide Unified CPU and GPU Tracing Tool for OpenCL Applications, Advances in Software Engineering, vol.23, issue.3, pp.940628-940629, 2015.
DOI : 10.1145/1842733.1842747

C. Prada-rojas, M. Santana, S. De-paoli, and X. Raynaud, Summarizing Embedded Execution Traces through a Compact View, Conference on System Software, SoC and Silicon Debug S4D, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00788882

S. Cohen-boulakia and U. Leser, Search, adapt, and reuse, ACM SIGMOD Record, vol.40, issue.2, pp.1187-1189, 2011.
DOI : 10.1145/2034863.2034865
URL : https://hal.archives-ouvertes.fr/inria-00638043

J. Qin and T. Fahringer, Scientific Workflows, Programming, Optimization, and Synthesis with ASKALON and AWDL, 2012.

R. N°-8889 and R. Centre-grenoble-?-rhône-alpes, Inovallée 655 avenue de l'Europe Montbonnot 38334 Saint Ismier Cedex Publisher Inria Domaine de Voluceau -Rocquencourt BP 105 -78153 Le Chesnay Cedex inria, pp.249-6399