Kevin Pouget

  • Citations Per Year
Learn More
High-performance computing (HPC) is recognized as one of the pillars for further progress in science, industry, medicine, and education. Current HPC systems are being developed to overcome emerging architectural challenges in order to reach Exascale level of performance, projected for the year 2020. The much larger embedded and mobile market allows for(More)
OBJECTIVE To provide an overview of the current state of knowledge concerning the determinants and consequences of geophagy during pregnancy. METHOD Bibliographic searching of articles published in English or French and included in the Scopus database, and reporting of our experience with the management of geophagic pregnant women at the maternity unit of(More)
Debugging parallel and concurrent applications is well-recognized as a time-consuming task, which often requires a significant part of the application development process. In the context of embedded systems, Multi-Processor-System-on-Chip(MPSoC) architectures feature numerous multicore processors which may be coupled with heterogeneous processors like(More)
With the advent of parallel architectures in the domain of embedded systems, developing applications fully adapted to their underlying platform becomes more and more complicated. Finding and fixing bugs in such environments is even trickier. Furthermore, current complex applications cannot be developed from scratch, only based on programming language(More)
With the advent of the multicore era, parallel programming is becoming ubiquitous. Multithreading is a common approach to benefit from these architectures. Hybrid M:N libraries like MultiProcessor Communication (MPC) or MARCEL reach high performance expressing fine-grain parallelism by mapping M user-level threads onto N kernel-level threads. However, such(More)
Power consumption and high compute density are the key factors to be considered when building a compute node for the upcoming Exascale revolution. Current architectural design and manufacturing technologies are not able to provide the requested level of density and power efficiency to realise an operational Exascale machine. A disruptive change in the(More)
Postpartum hemorrhage is a major cause of maternal death worldwide. Many therapeutic strategies have been developed to reduce maternal morbidity and mortality like oxytocin, prostaglandin, and uterine balloons. A new member of the therapeutic arsenal has recently emerged, the chitosan (Celox®), used since several years by military doctors to stop bleeding(More)
Monitoring is the study of a system at runtime, looking for input and output events to discover, check or enforce behavioral properties. Interactive debugging is the study of a system at runtime in order to discover and understand its bugs and x them, inspecting interactively its internal state. Interactive Runtime Veri cation (i-RV) combines monitoring and(More)
In this paper, we propose a new approach for source-level dataflow debuggers. Going beyond their long-established ability to support sequential programming languages, we describe the functionalities a debugger should be able to provide to debug embedded and parallel dataflow applications. Then we demonstrate our solution to this problem with a(More)
  • 1