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

On tentera ici de défaire l’idéologie du « brut » dans les analyses paysage – le fantasme ce qui n’aurait pas ou aurait été peu abimé par activités industrielles et autres traces l’homme. Le paysagiste Gilles Clément montre que milieux résistent toujours à la fois leur exploitation préservation. Ils sont dynamiques inventifs ; il faut faire avec leurs qualités spécifiques. envisagera appelle Ti...

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

We are interested in the active and total memory usage of the mul-tifrontal method. Starting from the algorithms proposed by Liu, we suggest a new scheme together with a tree traversal that give an optimal peak of active memory. Significant gains are obtained compared to Liu's approach. We also study the problem of minimizing the total memory and compare various new schemes. A number of experim...