A symbolic language called Blissymbolics has been gaining in popularity in recent years as an alternative means of com munication 63 for verbally impaired, cerebral palsied children. Since m any of these children are also severely physically handicapped, some m eans of indicating and storing symbol selections must be provided . This paper describes a collaborative project to develop a graphics ...

Les polyn^ omes d'Ehrhart constituent un r esultat math ematique important, permettant d'exprimer le nombre de solutions enti eres d'un syst eme d' equations et d'in equations rationnelles et param etriques. L'informatique trouve ici un outil permettant une analyse symbolique exacte des programmes. Nous montrons dans cet article que le math ematicien Eug ene Ehrhart a pos e les bases d'un vaste...

Properties of distributed computations can be either on their global states or on their control ows. This paper addresses control ow properties. It rst presents a simple yet powerful logic for expressing general properties on control ows, seen as sequences of local states. Among other properties, we can express invariance, sequential properties (to satisfy such a property a control ow must matc...

R esum e : L'ACC est un r eseau de neurones auto-organis e qui donne une carte de la sous-vari et e d'un nuage de donn ees en grandes dimensions non lin eairement d ependantes. Le principe est de construire une relation entre un espace d'entr ee (les don-n ees) et un espace de sortie (la carte) au moyen d'un ensemble de neurones ayant chacun deux vecteurs-poids : un pour l'entr ee et l'autre po...

In recognition of the fundamental relation between regular arrays and systems of aane recurrence equations, the Alpha language was developed as the basis of a computer aided design methodology for regular array architectures. Alpha is used to initially specify algorithms at a very high algorithmic level. Regular array architecures can then be derived from the algorithmic speciication using a tr...

This report presents a particular implementation, and experiments on the Dividing Cubes algorithm whose the aim is to extract and display an iso-surface from a three-dimensional (3D) medical image. The regular subdivision of the voxels allows the projection of a subdivided voxel, on the raster image, to be at most equal to the size of a pixel. We optimize the subdivision parameters to get a com...

Performance tuning on today`s computers has become very complex. One of the factor of this complexity is the use of memory hierarchies, and particularly of cache memories. Code transformations such as loop blocking are used for improving temporal locality in numerical codes. Unfortunately, the behavior of direct-mapped caches and set-associative caches are very sensitive to parameters such as t...

A directional type for a Prolog program expresses certain properties of the operational semantics of the program. This paper shows that the annotation proof method, proposed by Deransart for proving declarative properties of logic programs, is also applicable for proving correctness of directional types. In particular, the suucient correctness criterion of well-typedness by Bronsard et al, turn...

Nous analysons un algorithme probabiliste par blocs, propos e par Coppersmith, pour la r esolution de grands syst emes lin eaires creux Aw = 0 donn es sur un corps ni K =GF(q). Cet algorithme est une modiication d'un algorithme de Wiedemann. Coppersmith a justii e sa m ethode par plusieurs arguments heuristiques. Une question ouverte etait de d emontrer que l'algorithme peut eeectivement fourni...