S. M. Balle, B. R. Brett, C. Chen, D. Lafrance-lindenbdt12, ]. S. Bhattacharyya et al., Extending a Traditional Debugger to Debug Massively Parallel Applications Dynamic dataflow graphs P2012: Building an ecosystem for a scalable, modular and high-efficiency embedded computing accelerator TEMANEJO -a debugger for task based parallel programming models, Handbook of Signal Processing Systems Design, Automation Test in Europe Conference Exhibition (DATE), 2012 International Conference on Parallel Computing, pp.983-987, 2000.

J. Cownie and W. Gropp, A Standard Interface for Debugger Access to Message Queue Information in MPI, Proceedings of the 6th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface, pp.51-58, 1999.
DOI : 10.1007/3-540-48158-3_7

K. Jeffrey, B. Czyz, and . Jayaraman, Declarative and visual debugging in eclipse, Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange, eclipse '07, pp.31-35, 2007.

H. Thomas, C. E. Cormen, R. L. Leiserson, C. Rivest, and . Stein, Introduction to Algorithms, Third Edition {25} [Crn04] Ivica Crnkovic. Component-Based Approach for Embedded Systems, Ninth International WCOP Workshop, pp.54-129, 2004.

M. Georgiev, S. Auvray, M. De-paoli, C. S. Santana, L. Genovese et al., Debugging Embedded Linux Kernel Through JTAG Port The GNU Debugger. http://www.gnu.org/software/ gdb Density functional theory calculation on many-cores hybrid central processing unit-graphic processing unit architectures, Bibliography Proceedings of the S4D (System, Software, Soc and Silicon Debug), 2010. {50, 114} [Gnu13] Gnu Project. GDB {99} [Gra10] Graphic Remedy. gDEBugger, 2010. {55, 120} [GVN09] Kees Goossens, Bart Vermeulen, and Ashkan B. Nejad. A high-level debug environment for communication-centric debug. In Design, Automation Test in Europe Conference Exhibition DATE '09, pp.202-207, 1986.

L. Genovese, B. Videau, M. Ospici, T. Deutsch, S. Godecker et al., Daubechies Wavelets for High Performance Electronice Structure Calculations: the BigDFT Project, Comptes Rendus de l'Académie des Sciences, pp.149-164, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00788765

[. Goossens, B. Vermeulen, R. Van-steeden, and M. Bennebroek, Transaction-based communication-centric debug Debugging gpu stream programs through automatic dataflow recording and visualization, Networkson-Chip NOCS 2007. First International Symposium on {113} [HZG09] Qiming Hou, Kun Zhou, and Baining Guo, pp.95-1061, 2007.

W. M. Johnston, J. R. Hanna, J. Richard, Z. Li, and . Liu, Advances in dataflow programming languages Debugging support for Charm++ Component-Based Software Engineering ? The Need to Link Methods and their Theories The opencl specification, version 1.0 Porting a high-order finite-element earthquake modeling application to NVIDIA graphics cards using CUDA, PADTAD Workshop for IPDPS {116} [JLL05] He Jifeng Proc. of ICTAC05 {18} [Khr08] Khronos OpenCL Working Group, pp.294-78, 2004.

K. Kuo, The streamit development tool: A programming environment for streamit, p.119, 2004.

J. Kraft, A. Wall, and H. Kienle, Trace recording for embedded systems: Lessons learned from five industrial projects Debugging embedded multimedia application traces through periodic pattern mining, Runtime Verification, 2010 International Conference on Proceedings of the tenth ACM international conference on Embedded software, EMSOFT '12, pp.13-22, 2010.

D. Lea and . Java, Synchronous data flow, Proceedings of the ACM 2000 conference on Java Grande, JAVA '00 Proceedings of the IEEE, pp.36-43, 1987.
DOI : 10.1109/PROC.1987.13876

S. Lu, S. Park, E. Seo, and Y. Zhou, Learning from mistakes, DAC, pp.329-339, 2008.
DOI : 10.1145/1353534.1346323

G. Marceau, G. H. Cooper, J. P. Spiro, S. Krishnamurthi, and S. P. Reiss, The design and implementation of a dataflow language for scriptable debugging, Automated Software Engineering, vol.14, issue.1, p.44, 2006.
DOI : 10.1007/s10515-006-0003-z

I. Molnarpau13, . Paulin, and G. Pierre, The Native POSIX Thread Library for Linux {52, 56} [MPI94] MPI Forum MPI: A message-passing interface standard {16, 116} [NVi09] NVidia. Whitepaper on NVIDIA's Next Generation CUDA Compute Architecture: TM Fermi. http://www.nvidia.fr/content/PDF/fermi_ white_papers/NVIDIA_Fermi_Compute_Architecture_Whitepaper. pdf {14} [ ¨ Olv11] Peter Csabä Olveczky Formal model engineering for embedded systems using real-time maude OpenCL Programming Tools for the STHORM Multi- Processor Platform: Application to Computer Vision, 2013. 13th Inter- Bibliography national Forum on Embedded MPSoC and Multicore Interactive Debugging of Dynamic Dataflow Embedded Applications, AMMSE Proceedings of the 18th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS) Held in conjunction of IPDPS. {40 Proceedings of the 28th Symposium On Applied Computing (SAC), pp.25-138, 1994.

K. Pouget, M. Pérache, P. Carribault, and H. Jourdren, User level DB: a debugging API for user-level thread libraries, 2010 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW), pp.1-7, 2010.
DOI : 10.1109/IPDPSW.2010.5470815

[. Pouget, M. Santana, V. Marangozova-martin, and J. Mehaut, Debugging component-based embedded applications, Proceedings of the 15th International Workshop on Software and Compilers for Embedded Systems, SCOPES '12, p.138, 2012.
DOI : 10.1145/2236576.2236581

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

J. Ressia, A. Bergel, O. Nierstraszrgdr08, C. Frank-rogin, R. Genz et al., Object-centric debugging An integrated systemc debugging environment, Proceeding of the 34rd international conference on Software engineering, 2012. {118} [ Embedded Systems Specification and Design Languages, pp.59-71, 2008.

B. Schaeli, A. Al-shabibi, R. D. Alves, S. Loosemore, and J. Blandy, Visual Debugging of MPI Applications Non-stop multi-threaded debugging in gdb Models and languages for parallel computation Streamit: A language for streaming applications, Proceedings of the 15th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface {121} [SPA + 08] Nathan Sidwell GCC Developers' Summit {35, 51} [ST98] David Skillicorn and Domenico Talia {15} [TKA02] William Thies, Michal Karczmarek, and Saman Amarasinghe International Conference on Compiler Construction {119} [TS12] J. Tompson and K. Schlachter. An Introduction to the OpenCL Programming Model, pp.239-247, 1998.

A. Vajda, Programming many-core chips, p.16, 2011.
DOI : 10.1007/978-1-4419-9739-5

J. Vennin, S. Meftali, and J. Dekeyser, Understanding and extending systemc user thread package to ia-64 platform, Proceedings of International Workshop on IP Based SoC Design, p.66, 2004.

H. Wang, A. Chen, Z. Cheung, N. Jia, M. F. Zeldovich et al., Undefined behavior, Proceedings of the Asia-Pacific Workshop on Systems, APSYS '12, pp.1-9, 2005.
DOI : 10.1145/2349896.2349905

W. Wolf, ]. N. Wahl, S. R. Schach, ]. T. Wiegand, G. J. Sullivan et al., A methodology and distributed tool for debugging dataflow programs, Proceedings of the 41st annual Design Automation Conference ACM. {11} [WS88 Software Testing, Verification, and Analysis, Proceedings of the Second Workshop on Overview of the H.264/AVC video coding standard. IEEE Transactions on Circuits and Systems for Video Technology, pp.681-685, 2003.

A. Zeller, Why Programs Fail: A Guide to Systematic Debugging