We study the complexity of traversing tree-shaped workflows whose tasks require large I/O files. We target a heterogeneous architecture with two resource types, each with a different memory, such as a multicore node equipped with a dedicated accelerator (FPGA or GPU). The tasks in the workflow are colored according to their type and can be processed if all their input and output files can be st...

e memory hierary undergoes a growing pressure. is pressure has been dueto the increasing frequency of the processors. However, now that the frequency staysaround 3 GHz, the number of execution cores and thus the number of processes runningsimultaneously are increasing.e growing number of requests handled by the memoryhierary leads to bandwidth saturation.is study shows...

Cet article a l’objectif d’interroger le rapport qu’ont les phénomènes de la perception immédiate d’avec ceux médiate, plus centrés sur mémoire et passé. En faisant l’hypothèse spontanée dépendante ontologique, l’objet d’étude tient aux successions qualités entre simultanéités dans états psychiques. Pour étudier cet objet, réflexion initiale, tenants l’utilisation normale du langage l’axe choms...

Security is a very old concern, which until quite recently was mostly of interest for military purposes. The deployment of electronic commerce changes this drastically. The security of exchanges is ensured by cryptographic protocols which are notoriously error prone. The formal veri cation of cryptographic protocols is a di cult problem that can be seen as a particular model-checking problem in...