Ce document présente une analyse comparative de divers langages prototypes et modèles formels existants pour la mobilité de code. Trois aspects sont retenus pour cette étude: la distribution, la mobilité, et la sécurité. L'étude est également structurée autour de la notion de domaine qui nous semble centrale dans ces langages et modèles, et illustre différentes sémantiques de cette notion
In this report we point out the reasons that lead us to distribute modular applications, why we thin...
We provide analytical results about the performance of various Connected Dominating Set (CDS) algori...
International audienceNeurodegenerative diseases are often associated with loss of brain tissue volu...
Ce document présente une analyse comparative de divers langages prototypes et modèles formels exista...
L'utilisation croissante de systèmes de navigation pour l'aide à la chirurgie a permis de faciliter ...
Le developpement de nouveaux missiles a moyenne distance du type Mica/Araam accroit le nombre de pha...
Nous présentons dans ce travail une méthode, issue de travaux de Bilu et de Bilu et Hanrot, qui perm...
L'évolution de l'architecture des microprocesseurs est très rapide ; dans ce rapport nous présentons...
La conduite et la maintenance de procédés industriels nécessitent l'analyse de leur comportement tel...
Ce rapport présente une méthode de triangulation des surfaces et volumes implicites basée sur un par...
Ce document donne une comparaison de schémas d'ordre 2 appliqués à l'équation d'advection bidimensio...
En este article se intenta relacionar la magia empleada por tres magos con una marcada presencia dem...
Soit un milieu aléatoire discret de type échiquier à deux composants homogènes. Nous étudions la dif...
Projet POEMSDans ce rapport, nous effectuons une présentation mathématique détaillée de la méthode d...
Nous nous sommes intéressés au problème de réservation de bande passante dans les réseaux radio. Nou...
In this report we point out the reasons that lead us to distribute modular applications, why we thin...
We provide analytical results about the performance of various Connected Dominating Set (CDS) algori...
International audienceNeurodegenerative diseases are often associated with loss of brain tissue volu...
Ce document présente une analyse comparative de divers langages prototypes et modèles formels exista...
L'utilisation croissante de systèmes de navigation pour l'aide à la chirurgie a permis de faciliter ...
Le developpement de nouveaux missiles a moyenne distance du type Mica/Araam accroit le nombre de pha...
Nous présentons dans ce travail une méthode, issue de travaux de Bilu et de Bilu et Hanrot, qui perm...
L'évolution de l'architecture des microprocesseurs est très rapide ; dans ce rapport nous présentons...
La conduite et la maintenance de procédés industriels nécessitent l'analyse de leur comportement tel...
Ce rapport présente une méthode de triangulation des surfaces et volumes implicites basée sur un par...
Ce document donne une comparaison de schémas d'ordre 2 appliqués à l'équation d'advection bidimensio...
En este article se intenta relacionar la magia empleada por tres magos con una marcada presencia dem...
Soit un milieu aléatoire discret de type échiquier à deux composants homogènes. Nous étudions la dif...
Projet POEMSDans ce rapport, nous effectuons une présentation mathématique détaillée de la méthode d...
Nous nous sommes intéressés au problème de réservation de bande passante dans les réseaux radio. Nou...
In this report we point out the reasons that lead us to distribute modular applications, why we thin...
We provide analytical results about the performance of various Connected Dominating Set (CDS) algori...
International audienceNeurodegenerative diseases are often associated with loss of brain tissue volu...