90 6.10 Utilisation des processeurs en moyenne sur 32 exécutions 91 6.11 Utilisation des processeurs pour une itération 92 6.12 Profile mémoire construit à partir des allocations, 96 6.16 Utilisation des différents processeurs pour une itération . . . . . . . . 97 6.17 Ratio des instructions de calcul et de mémoire . . . . . . . . . . . . . 98 6.18 Comparaison des profils mémoire Juno et poste de travail . . . . . . . 99 6.19 Variation du score des benchmarks selon les configurations, p.102 ,
https://github.com/soctrace-inria/framesoc ,
http://www.phoronix-test-suite.com ,
MTF: A Scalable Exchange Format for Traces of High Performance Computing Systems, 2011 IEEE 19th International Conference on Program Comprehension, pp.181-184, 2011. ,
DOI : 10.1109/ICPC.2011.15
An Overview of Formal Methods Tools and??Techniques, Rigorous Software Development, pp.15-44, 2011. ,
DOI : 10.1007/978-0-85729-018-2_2
Score-P ? A Unified Performance Measurement System for Petascale Applications, Proc. of the CiHPC : Competence in High Performance Computing, HPC Status Konferenz der Gauß-Allianz e.V, pp.85-97, 2010. ,
Scientific Workflow: A Survey and Research Directions, Proceedings of the 7th International Conference on Parallel Processing and Applied Mathematics, pp.746-753, 2008. ,
DOI : 10.1007/978-3-540-68111-3_78
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.4605
From specifications to machine code : Program construction through formal reasoning, Proceedings of the 6th International Conference on Software Engineering, ICSE '82, pp.84-91, 1982. ,
PARSEC vs. SPLASH-2: A quantitative comparison of two multithreaded benchmark suites on Chip-Multiprocessors, 2008 IEEE International Symposium on Workload Characterization, pp.47-56, 2008. ,
DOI : 10.1109/IISWC.2008.4636090
VisTrails : Visualization meets Data Management, Proceedings of the 2006 ACM SIGMOD International Conference on Management of Data, pp.745-747, 2006. ,
ReproZip, Proceedings of the 2016 International Conference on Management of Data, SIGMOD '16, 2013. ,
DOI : 10.1145/2882903.2899401
OpenMP: an industry standard API for shared-memory programming, IEEE Computational Science and Engineering, vol.5, issue.1, pp.46-55, 1998. ,
DOI : 10.1109/99.660313
Automated Capture of Experiment Context for Easier Reproducibility in Computational Research, Computing in Science & Engineering, vol.14, issue.4, pp.48-56, 2012. ,
DOI : 10.1109/MCSE.2012.41
URL : https://hal.archives-ouvertes.fr/hal-01055702
Pegasus : a Framework for Mapping Complex Scientific Workflows onto Distributed Systems Decisions that need to take place in Workflow Mapping, Scientific Programming, 2005. ,
Low-Impact Operating System Tracing, 2009. ,
The LTTng tracer : A Low Impact Performance and Behavior Monitor for GNU/Linux, Ottawa Linux Symposium, 2006. ,
Aftermath : A graphical tool for performance analysis and debugging of fine-grained task-parallel programs and run-time systems, 7th workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG-2014), number 1, pp.1-13, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01136508
What Every Programmer Should Know About Memory, 2007. ,
VISMASHUP : Streamlining the Creation of Custom Visualization Applications, Online, 2009. ,
Software and Hardware Infrastructures for Visual Analytics, IEEE Computer, vol.43, issue.8, pp.1-7, 2013. ,
Chimera: a virtual data system for representing, querying, and automating data derivation, Proceedings 14th International Conference on Scientific and Statistical Database Management, 2002. ,
DOI : 10.1109/SSDM.2002.1029704
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.9995
Open MPI: Goals, Concept, and Design of a Next Generation MPI Implementation, 11th European PVM/MPI Users' Group Meeting, pp.97-104, 2004. ,
DOI : 10.1007/978-3-540-30218-6_19
The Scalasca performance toolset architecture, International Workshop on Scalable Tools for High-End Computing (STHEC, number 01, pp.702-719, 2008. ,
DOI : 10.1002/cpe.1556
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.183.3213
An Overview of Workfow Management : From Process Modeling to Work ow Automation Infrastructure, Work, vol.153, pp.119-152, 1995. ,
Examining the Challenges of Scientific Workflows, Computer, vol.40, issue.12, pp.4024-4056, 2007. ,
DOI : 10.1109/MC.2007.421
Recovering system metrics from kernel trace. OLS (Ottawa Linux symposium), pp.109-116, 2011. ,
Software behaviour correlation in a redundant and diverse environment using the concept of trace abstraction, Proceedings of the 2013 Research in Adaptive and Convergent Systems on, RACS '13, pp.328-335, 2013. ,
DOI : 10.1145/2513228.2513305
The Art Of Computer Systems Performance Analysis, 1991. ,
Measuring benchmark similarity using inherent program characteristics, IEEE Transactions on Computers, vol.55, issue.6, pp.769-782, 2006. ,
DOI : 10.1109/TC.2006.85
Pajé : An Extensible Environment for Visualizing Multi-threaded Programs Executions ,
A Knowledge-Based Approach to Interactive Workflow Composition. Icaps -04, 2004. ,
Introducing the Open Trace Format (OTF), International Conference on Computational Science, pp.526-533, 2006. ,
DOI : 10.1007/11758525_71
Open Trace Format Specification, 2009. ,
The Vampir Performance Analysis Tool-Set, Parallel Tools Workshop, pp.139-155, 2008. ,
DOI : 10.1007/978-3-540-68564-7_9
Trace Recording for Embedded Systems: Lessons??Learned from Five Industrial Projects, Proceedings of the First International Conference on Runtime Verification, 2010. ,
DOI : 10.1007/978-3-642-16612-9_24
Duplication et cohérence configurables dans les applications réparties à base de composants, 2003. ,
SoC-TRACE, Proceedings of the Posters and Demo Track on, Middleware '12, 2012. ,
DOI : 10.1145/2405153.2405163
URL : https://hal.archives-ouvertes.fr/hal-00719745
Analyse de traces d'exécutions pour les systèmes embarqués : détection d'anomalies par corrélation temporelle, 2014. ,
Automatic Benchmark Profiling Through Advanced Trace Analysis, Euro-Par, pp.659-671, 2016. ,
DOI : 10.1007/978-3-319-43659-3_5
URL : https://hal.archives-ouvertes.fr/hal-01292618
Analyse de systèmes embarqués par structuration de traces d'exécution, ComPAS'2014, 2014. ,
VAMPIR : Visualization and Analysis of MPI Resources, pp.69-80, 1996. ,
Trace Management and Analysis for Embedded Systems, 2013 IEEE 7th International Symposium on Embedded Multicore Socs, pp.119-122, 2013. ,
DOI : 10.1109/MCSoC.2013.28
URL : https://hal.archives-ouvertes.fr/hal-01065877
SoC-Trace Infrastructure, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00719745
Parallel computing patterns for Grid workflows, 2006 Workshop on Workflows in Support of Large-Scale Science, 2006. ,
DOI : 10.1109/WORKS.2006.5282349
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.3803
Contributions to the Mathematical Theory of Evolution. II. Skew Variation in Homogeneous Material, 1896. ,
Observation Tools for Debugging and Performance Analysis of Embedded Linux Applications, Conference on System Software, SoC and Silicon Debug, 2009. ,
Introduction to Probability and Statistics for Engineers and Scientists, 2009. ,
Workflow Data Patterns: Identification, Representation and Tool Support, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp.3716-353, 2005. ,
DOI : 10.1007/11568322_23
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.4183
Petri net-based modelling of workflow systems: An overview, European Journal of Operational Research, vol.134, issue.3, pp.664-676, 2001. ,
DOI : 10.1016/S0377-2217(00)00292-7
Leveraging Semantics to Improve Reproducibility in Scientific Workflows. The reproducibility at XSEDE workshop, 2014. ,
The Tau Parallel Performance System, International Journal of High Performance Computing Applications, vol.20, issue.2, pp.287-311, 2006. ,
An algebra for cross-experiment performance analysis, International Conference on Parallel Processing, 2004. ICPP 2004., pp.63-72, 2004. ,
DOI : 10.1109/ICPP.2004.1327905
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.119.8036
Using Tracing to Solve the Multicore Problem, Computer, pp.60-64, 2012. ,
DOI : 10.1109/mc.2012.191
Data Manipulation with R, 2008. ,
An Effective Git And Org-Mode Based Workflow For Reproducible Research, ACM SIGOPS Operating Systems Review, vol.49, issue.1, pp.61-70, 2015. ,
DOI : 10.1145/2723872.2723881
URL : https://hal.archives-ouvertes.fr/hal-01112795
Pajé trace file format, 2003. ,
Workflow Automation : Overview and Research Issues, Information Systems Frontiers, vol.3, issue.3, pp.281-296, 2001. ,
DOI : 10.1023/A:1011457324641
The C++ Programming Language, 2000. ,
Benchmarking file system benchmarking : It* is* rocket science, HotOS XIIIHotOS XIII, pp.1-5, 2011. ,
A nine year study of file system and storage benchmarking, ACM Transactions on Storage, vol.4, issue.2, pp.1-56, 2008. ,
DOI : 10.1145/1367829.1367831
Soundness of workflow nets: classification, decidability, and analysis, Formal Aspects of Computing, vol.179, issue.6, pp.333-363, 2010. ,
DOI : 10.1007/s00165-010-0161-4
Streaming-enabled parallel dataflow architecture for multicore systems, Computer Graphics Forum, vol.29, issue.3, pp.1073-1082, 2010. ,
Dynamic Storage Allocation : A Survey and Critical Review, Memory Management, 1995. ,
The Taverna workflow suite: designing and executing workflows of Web Services on the desktop, web or in the cloud, Nucleic Acids Research, vol.41, issue.W1, pp.41-557, 2013. ,
DOI : 10.1093/nar/gkt328
Characterizing logging practices in open-source software, 2012 34th International Conference on Software Engineering (ICSE), pp.102-112, 2012. ,
DOI : 10.1109/ICSE.2012.6227202
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.226.5175
Improving Software Diagnosability via Log Enhancement, ACM Transactions on Computer Systems, vol.30, issue.1, pp.1-28, 2012. ,
DOI : 10.1145/2110356.2110360
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.7765