Rigorous Software Development: An Introduction to Program Verification. Undergraduate Topics in Computer Science, pp.15-44, 2011. ,
Intel MPI Benchmarks 4.0 Update 2 ,
, MVAPICH: MPI over InfiniBand, 10GigE/iWARP and RoCE
, Future Benchmarks and Performance Tests
,
,
, Linux Benchmark Suite Homepage
, Measuring Computer Performance: A Practitioner's Guide, 2000.
Encyclopedia of Computer Science, pp.137-141 ,
The Art of Building a Good Benchmark, 2009. ,
, , pp.283-301, 2012.
How to build a benchmark, Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, ICPE '15, pp.333-336, 2015. ,
An Infrastructure for the generic and optimized analysis of execution traces of embedded systems. Theses, Université Grenoble Alpes, 2017. ,
SWAT : Système de Workflow pour l'Analyse de Traces d'exécution ,
, Phoronix Test Suite
,
, The Linpack Benchmark
, Dependability Benchmarking Project
, NAS Parallel Benchmarks
, EPCC OpenMP micro-benchmark suite
Measuring Benchmark Similarity Using Inherent Program Characteristics, IEEE Transactions on Computers, vol.55, issue.6, pp.769-782, 2006. ,
,
, Performance Application Programming Interface
Valgrind 3.3 -Advanced Debugging and Profiling for GNU/Linux Applications, Network Theory Ltd, 2008. ,
A gprof inspired, callgraph-oriented per-object disseminating memory access multi-cache profiler, International Conference On Computational Science, vol.51, pp.1363-1372, 2015. ,
Memprof: A memory profiler for NUMA multicore systems, Presented as part of the 2012 USENIX Annual Technical Conference, vol.12, pp.53-64, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00945731
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
Towards Generic System Observation Management, 2015. ,
URL : https://hal.archives-ouvertes.fr/tel-01171642
,
STLinux Trace Viewer Trace Format ,
, CTF : Common Trace Format
,
Open Trace Format. Specification, Center for Information Services and High Performance Computing (ZIH) Technische Universität Dresden, 2011. ,
, Linux Trace Toolkit: next generation
Recovering System Metrics from Kernel Trace, Linux Symposium, 2011. ,
Search, adapt and reuse: The future of scientific workflows, SIGMOD Records, vol.40, issue.2, pp.1187-1189, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00638043
Scientific Workflows, Programming, Optimization, and Synthesis with ASKALON and AWDL, 2012. ,
A knowledge-based approach to interactive workflow composition, PROCEEDINGS OF THE 2004 WORKSHOP ON PLANNING AND SCHEDULING FOR WEB AND GRID SERVICES, AT THE 14TH INTERNATIONAL CONFERENCE ON AUTOMATIC PLANNING AND SCHEDULING (ICAPS 04), 2004. ,
,
workflow management system for science automation, Future Generation Computer Systems, vol.46, pp.17-35, 2015. ,
,
Low-Impact Operating System Tracing, 2009. ,
Selective Profiling for OS Scalability Study on Multicore Systems, IEEE 6th International Conference on Service-Oriented Computing and Applications, 2013. ,
DOI : 10.1109/soca.2013.28
Enhanced userspace and in-kernel trace filtering for production systems, J. Comput. Sci. Technol, vol.31, issue.6, pp.1161-1178, 2016. ,
DOI : 10.1007/s11390-016-1690-y
,
Setuid demystified, Proceedings of the 11th USENIX Security Symposium, USENIX Association, pp.171-190, 2002. ,
The Art Of Computer Systems Performance Analysis, 1991. ,
, The SoC-TRACE Project
gstreamer: Open Source Media Framework ,
Component-Oriented Programming, 2005. ,
DOI : 10.1002/0471713708
,
,
,
,
,
VisTrails : Visualization meets Data Management, Proceedings of the 2006 ACM SIGMOD International Conference on Management of Data, pp.745-747, 2006. ,
,
,
, BPF Compiler Collection (BCC