Index des titres Volume 21/2002
Adaptation d’une application multimédia par un code mobile, p. 877-897 Agents assistants personnels dans les systèmes multi-agents mixtes.
Réalisation sur la plate-forme OMAS, p. 473-498
Agrégation et composition dans UML. Révision basée sur la théorie Tout-Partie, p. 1343-1370
Apport des agents mobiles à l’exécution répartie, p. 771-796
Approches matérielles et logicielles de l’algorithme de chiffrement IDEA, p. 203-224
Automatiser les preuves d’un sous-langage de la méthode B, p. 1099-1120 B-Testing-Tools : génération de tests aux limites à partir de spécifications B,
p. 1189-1218
Cadre de spécifications hiérarchiques orienté vers la réutilisation, p. 97-125 Cartes d’étapes d’études des diagrammes d’UML. Ordonnancement de ces études.
Spécifications formelles du chanfreinage, p. 1051-1072 Code mobile et carte à puce, p. 797-822
Construction de services distribués : une approche à base d’agents mobiles, p. 985-1007
CORBA haute performance, p. 659-683
Couplage entre abstraction temporelle et reconnaissance de scénarios.
Application à l’identification d’évolutions, p. 375-404
Desiderata pour la spécification et la conception des systèmes électroniques, p. 291-314
Elimination de redondances pour architecture EPIC, p. 163-181
Entre programmation par composants et langages d’experts. Rendre la modélisation individu-centrée plus accessible à l’utilisateur, p. 525-548
Equilibrage de charge statique pour noyaux d’algèbre linéaire sur plateforme hétérogène, p. 711-734
Evolution d’un langage pour la programmation parallèle multicontexte : Threaded-C, p. 605-634
Exploration de l’espace des solutions architecturales dans le codesign, p. 9-35 Impact des extensions SIMD sur les performances d’applications multimédias,
p. 183-202
Implémentation de l’interface PAPI sur la machine Multi-PC.
Présentation et analyse des performances par l’intermédiaire de diagrammes temporels, p. 635-657
L’optimisation par essaim particulaire. Principes, modèles et usages, p. 941-964
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com
1418 RSTI - TSI. Volume 21 – n° 10/2002
La plate-forme Volcano. Modularité et réutilisation pour les systèmes multi-agents, p. 447-471
Les agents mobiles réactifs Mooréa. Une approche réactive pour la transparence à la mobilité et le passage à l’échelle, p. 851-876
MPI ou MPI+OpenMP sur grappes de multiprocesseurs ?, p. 253-272 Nouvelles perspectives en extraction d’information, p. 37-63
Objets actifs mobiles et communicants, p. 823-849
Optimisation génétique et interactive de sites web, p. 965-984
oRis : un environnement de simulation interactive multi-agents, p. 499-524 Partitionnement de spécifications flots de données conditionnels pour la conception
de systèmes embarqués, p. 225-251
PASCAL : un algorithme d’extraction des motifs fréquents, p. 65-95 Pavage pour une séquence de nids de boucles, p. 579-603
Protocole universel auto-stabilisant de synchronisation d’horloges de phases, p.735-756
Raffiner pour vérifier des systèmes paramétrés, p. 1121-1149 Recherche d’informations dans des corpus en langue française.
Utilisation du référentiel AMARYLLIS, p. 345-373
SFERES : un framework pour la conception de systèmes multi-agents adaptatifs, p. 427-446
Spécialisation et sous-typage : thème et variations, p. 1305-1342 Spécifications formelles du chanfreinage, p. 1073-1098
Test de conformité : une approche algébrique, p. 1219-1242 Test de spécifications de logiciels synchrones, p. 1243-1264
TGV : théorie, principes et algorithmes. Un outil de synthèse automatique de tests de conformité pour les systèmes réactifs, p. 1265-1294
Un « Beowulf » par des physiciens. Choix, problèmes, performances, p. 1371-1385 Un élément de gestion des réseaux actifs. Estimer les besoins en ressources de
calcul, p. 899-923
Un outil de prédiction dynamique de performances dans un environnement de metacomputing, p. 685-710
Un système de reconnaissance automatique de documents techniques. Application aux plans de cadastre, p. 1387-1415
Une approche graphique pour l’aide à la conception d’applications temps réel ordonnançables, p. 315-343
Une approche pour réduire la complexité du flot de contrôle dans les programmes C, p. 1009-1032
Utilisation des contraintes pour la génération automatique de cas de tests structurels, p. 1163-1187
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com
