It all started with a machine. In 1936, Turing developed his theoretical computational model.
He based his model on how he perceived mathematicians think. As digital computers were …

Ce mémoire se place dans l'étude des modèles du calcul continus. Nous y montrons que la
géométrie plane permet de calculer. Nous définissons un calcul géométrique et utilisons la …

This paper studies the consumption decisions of agents who face costs of acquiring,
absorbing and processing information. These consumers rationally choose to only …

In this note, the problem of determining disjoint matchings in a set of intervals is investigated
(two intervals can be matched if they are disjoint). Such problems find applications in …

Algorithms that use multi-layered memory hierarchies efficiently have traditionally relied on
detailed knowledge of the characteristics of memory systems. The cache-oblivious approach …

The grid technology emerges for the need of resource sharing and cooperating in wide
areas. In the OGSA framework, grid resources are abstracted as grid services in order to …

This paper presents research work conducted at the Chinese Academy of Sciences, on the
Vega Grid technology and dynamic geometry technology, and how the two can integrate to …

The terms architecture, design, and implementation are typically used informally in
partitioning software specifications into three coarse strata of abstraction. But these strata …

In the area of sequential computing the RAM (Random Access Machine) has successfully
provided model of computation, in the realm of parallel computing there has been no similar …