Index des titres
Volume 24/2005
Algèbre des processus pour l’analyse des performances des nœuds actifs, 279- 310 Algorithmes parallèles à grain adaptatif et applications, 505-524
Analyse de performance des systèmes décomposables.
Exemples et mise en œuvre, 249-278
Analyse des performances des accès séquentiels aux fichiers sous Windows, 333-358
Calcul de rais en tomographie sismique. Exploitation sur la grille, 591-608 Comportements perceptifs d’acteurs virtuels autonomes. Une application des cartes cognitives, 1259-1294
Conception des interfaces logiciel-matériel pour l’intégration des mémoires globales dans les systèmes monopuces, 369-394
Conception et simulation d’un planificateur adaptatif de chemin pour le routage de données dans un réseau, 1295-1318
Coq, un outil pour l’enseignement. Une expérience avec les étudiants du DESS Développement de logiciels sûrs, 1139-1160
CryptoPage. Support matériel pour cryptoprocessus, 667-702 Déploiement adaptatif d’applications parallèles. Algorithme de vol
de travail appliqué au déploiement d’applications parallèles sur des grappes de grande taille, 547-566
Des flottants 16 bits sur microprocesseurs d’usage général pour images et multimédia, 645-666
Du microprocesseur au circuit FPGA. Une analyse sous l’angle de la reconfiguration, 395-422
Eléments de caractérisation des environnements des systèmes pair à pair, 311-332 Encodage linéaire d’automates pondérés. Filtrage de motifs génomiques
et application sur l’architecture prototype R-disk, 703-724 Environnement ad hoc et mobilité IP. Un état de l’art, 39-64
Etude de la configuration dynamique des paramètres de RED, 153-178 Evaluation de mécanismes de contrôle d’erreur pour des transmissions
multipoints sur des réseaux de mobiles, 865-886
Formalisation en Coq et visualisation d’un cours de géométrie pour le lycée, 1113-1138
Grids @ work: Middleware, Components, Users, Contest and Plugtests, 609-613
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com
1320 RSTI - TSI. Volume 24 – n° 10/2005
Interopérabilité avec Objective Caml, 1055-1080
Mécanismes de handover pour les réseaux IP sans fil, 7-38
Mécanismes de traces efficaces pour programmes multithreadés, 525-546 Méthode de caractérisation des architectures d’accélérateurs flexibles
pour systèmes sur puce, 725-755
Méthode de correction de retard dans les modèles RTL des systèmes monopuces DSP obtenus par assemblage de composants IP. Fondement théorique
et implémentation, 1227-1258
Méthode de décomposition pour l’évaluation de performance de réseaux linéaires de routeurs ON/OFF, 179-202
(m,k)-WFQ, intégration des contraintes temporelles (m,k)-firm dans les réseaux à débit garanti, 1013-1046
Mobilité dans les caches vidéo. Une stratégie adaptative, 837-864
NAC, une architecture pour l’adaptation multimédia dans sur le web, 789-814 Optimisation de performance pour des systèmes temps réel stricts à priorité fixe, 991-1012
Optimisation du cache sibling à l’aide d’une architecture pair à pair, 887-907 Outils pour une comparaison sans a priori entre arithmétique logarithmétique
et arithmétique flottante, 625-644
Pérennité dans les systèmes de stockage pair à pair, 567-590
Priority Inheritance Revisited. Towards the conformance of real-time protocols, 939-962
Prise en compte du mouvement dans les systèmes de communication sans fil, 65-94 Qualité audio pour un schéma FEC simple, 203-228
Régulation du flot d’instructions pour des processeurs orientés temps réel, 963-990 Réseaux d’automates stochastiques à temps discret, 229-248
Restricting EDF migration on uniform heterogeneous multiprocessors, 917-938 Saturne. Une architecture pour mesurer les performances des classes
de service IP, 423-448
Seuil d’approximation pour un problème d’ordonnancement en présence de communications hiérarchiques, 95-114
Support de transmodage de contenus multimédia dans MPEG-21. Etude et validation d’un outil de description, 815-836
Treillis de concepts et classification supervisée, 449-488
Typage des collections topologiques hétérogènes et des transformations, 1081-1112 Typage, sûreté et sécurité, 1187-1190
Un protocole de tolérance aux pannes pour objets actifs non préemptifs, 1199-1226 Vérification formelle d’extractions de racines entières, 1161-1186
Vérifier les protocoles cryptographiques, 115-140
Vers l’apprentissage de mécanismes d’adaptation multimédia, 767-788
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com
