Nowadays, on hierarchical shared memory multiprocessors with Non-Uniform Memory Access (NUMA), the number of cores accessing memory banks is considerably high. Such accesses produce more stress on the memory banks, generating load-balancing issues, memory contention and remote accesses. In this context, it is important to have a good understanding of memory access patterns and what are the infl...

OBJECTIVE Mémoire is a framework for sharing and distributing case bases and case-based reasoning (CBR) systems in biology and medicine. METHODS AND MATERIAL This paper first introduces the semantic Web approach to build a better Web where search engines, knowledge sources and servers, applications and services can live, work, and learn in cooperation. This semantic approach is particularly w...

Nous exhibons une famille d’automates de McCulloch et Pitts de taille 2nk+2 qui est simulable par un réseau d’automates de Caianiello de taille 2n+2 et de taille mémoire k. Cette simulation nous permet de retrouver l’un des résultats de l’article suivant: [Cycles exponentiels des réseaux de Caianiello et compteurs en arithmétique redondante, Technique et Science Informatiques Vol. 19, pages 985...

As a result of continuous innovation in hardware technology, computers are made more and more powerful than their prior models. Modern servers nowadays can possess large main memory capability that can size up to 1 Terabytes (TB) and more. As memory accesses are at least 100 times faster than disk, keeping data in main memory becomes an interesting design principle to increase the performance o...

Cet article étudie les schémas de routage compacts qui sont très efficaces en termes de mémoires utilisées pour le stockage des tables de routage dans les graphes de type Internet. Nous proposons un nouveau schéma de routage compact avec indépendance des noms, dont la mémoire moyenne par nœud est prouvée comme étant bornée par √ n, et pour lequel l’étirement maximum de toute route est au plus 7...

Résumé. Cet article décrit un modèle conceptuel et une architecture globale pour une mémoire d’annotation context-aware. Cette mémoire permet à l’enseignant de gérer les annotations qu’il créées sur ses documents pédagogiques et adapte son comportement aux différents contextes de l’activité de cet enseignant, lui offrant ainsi une grande utilisabilité tout en minimisant son effort (effortless)....

Mémoire is a framework for the sharing and distribution of case bases and case based reasoning in biology and medicine. Based on the fact that semantics account for the success of biomedical case based reasoning systems, this paper defends the suitability of a semantic approach similar to the semantic Web for sharing and distributing case bases and case based reasoning in biology and medicine. ...

A memory model is an important component of the formal semantics of imperative programming languages: it speci es the behavior of operations over memory states, such as reads and writes. The formally veri ed CompCert C compiler uses a sophisticated memory model that is shared between the semantics of its source language (the CompCert subset of C) and intermediate languages. The algebraic proper...

Résumé La puissance de calcul disponible dans les machines hybrides à base d’accélérateurs matériels nécessite de réécrire les programmes selon un modèle complexe et réparti : les données traitées doivent être copiées entre mémoire de l’hôte et mémoire de l’accélérateur. Cette contrainte est régulièrement identifiée comme le goulet d’étranglement. Nous proposons une transformation automatique q...