Learn 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)
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)
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 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)
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)
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)
  • 1