Index des titres Volume 17/2008
Biclustering des données de biopuces par les arbres pondérés de plus long préfixe.
Modélisation discrète des données de puces à ADN, 83-108
BubbleSched, plate-forme de conception d’ordonnanceurs de threads sur machines hierarchiques, 345-371
Clôtures transitives de semi-commutations et model-checking régulier, 7-28 Compositions de relations d’ordre sur des quantités graduelles et expression
de requêtes flexibles, 51-81
COSMOS, composition de nœuds de contexte, 1189-1224
CryptoPage. Une architecture efficace combinant chiffrement, integrité mémoire
et protection contre les fuites d’informations permettant du calcul distribué sûr, 779-814 Développement formel par composants. Assemblage et vérification à l’aide de B,
1007-1032
Estimation et optimisation de la consommation dans les SoC utilisant la simulation précise au cycle, 203-233
Estimation et optimisation de la consommation des mémoires, 235-254
Etat de l’intégration de la virgule flottante dans les processeurs graphiques, 719-733 Etude de la précision de Simbatch, une API pour la simulation de systèmes batch, 373-394 Etude de la sensibilité aux jeux de données de la compilation itérative, 757-777 Evaluation de l’analyse sémantique latente et du modèle vectoriel standard
appliqués à la langue arabe, 851-877
Extraction de modèles paramétrés au cours du test de composants logiciels, 977-1006 Fonctions élémentaires en virgule flottante pour les accélérateurs reconfigurables,
673-698
Gestion de la surcharge dans les systèmes de gestion de base de données temps réel, 879-910
Gestion du recouvrement spatial dans les documents multimédias.
Approche et évaluation, 29-50
Implémentation JAVA d’une spécification B. Application aux bases de données, 537-570
Intégration multicapteur pour un habitat intelligent. Spécifications des détecteurs de présence et perspectives, 823-850
Interaction efficace entre les réseaux rapides et le stockage distribué dans les grappes de calcul, 911-940
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com
1316 RSTI - TSI. Volume 27 – n° 9-10/2008
JaceP2P, une infrastructure pair-à-pair basée sur le calcul itératif asynchrone, 457-485 Jade, un environnement d’administration autonome, 1225-1252
La validation de modèles Event-B avec le plug-in PRoB pour RODIN, 1065-1084 L’interaction en réalité virtuelle. Etat de l’art, 1155-1188
Modèle de communications concurrentes sur des grappes SMP, 317-344 NewMadeleine, ordonnancement et optimisation de schémas de communication
haute performance, 293-316
Optimisation des E/S disques dans les environnements multi-applicatifs distribués, 265-291
Optimisation d’opérateurs arithmétiques matériels à base d’approximations polynomiales, 699-718
Quantification du taux d’invalidité d’applications temps-réel à contraintes strictes.
Analyse préliminaire au développement d’un atelier d’aide à la spécification d’application temps-réel, 589-625
ReactiveML, un langage fonctionnel pour la programmation réactive, 1097-1128 RedGRID, un environnement pour la redistribution d’objets complexes, 427-455 Robustesse des logiciels exécutifs. Caractérisation de l’impact de pilotes défaillants
par injection de fautes, 1253-1286
Seuil d’approximation pour le modèle UET-UCT en présence d’une infinité de processeurs. Une preuve alternative, 571-588
SGBD embarqué dans une puce. Retour d’expérience, 141-179
Simulation et optimisation d’un environnement de calcul distribué sur un réseau pair-à-pair, 509-529
Structure mémoire reconfigurable. Vers une structure de stockage faible consommation, 181-202
Synthèse de haut niveau tenant compte de la dynamique des traitements.
Analyse de la largeur des données d’applications du TDSI et gestion de cette information lors de la synthèse de haut niveau, 1129-1154
Systèmes d’information pour le télémonitorage de la santé à domicile, 1287-1314 Technique de réduction adaptative de l’espace de recherche pour les méthodes
d’optimisation par recherche locale, 627-657 Un cadre sémantique pour le contrôle d’accès, 951-976
Une nouvelle base RNS à 4 moduli et son convertisseur vers le binaire, 735-755 Une nouvelle génération d’algorithmes génétiques guidés distribués
pour la résolution des Max_CSPs, 109-140
Une plate-forme d’émulation légère pour étudier les systèmes pair-à-pair, 487-508 Un protocole de sauvegarde/reprise coordonné pour les applications à flot
de données reconfigurables, 395-425
Un système vérifiant des propriétés opérationnelles de programmes logiques, 1033- 1064
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com
