This article suggests that the study of memory in the 21st century needs to be understood within a rapidly developing techno-social context that includes wearable and portable mobile technologies. Drawing on a pilot study involving depth interviews on camera phone use by women and men in London in 2006, the paper addresses how mobile camera phones are being used to capture and share personal im...

Mémoire proposes a general framework for reasoning from cases in biology and medicine. Part of this project is to propose a memory organization capable of handling large cases and case bases as occur in biomedical domains. This article presents the essential principles for an efficient memory organization based on pertinent work in information retrieval. Information retrieval systems have been ...

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...