Technique et Science Informatiques, Volume 21

Volume 21, Number 1, 2002

• Édito. 6-8
  
• Amer Baghdadi, Nacer-Eddine Zergainoh, Wander O. Cesário, Ahmed Amine Jerraya:
  Exploration de l'espace des solutions architecturales dans le codesign. 9-35
  
• M. Dupont, J. Vuillaume, Bernard Victorri, Patrice Enjalbert, Y. Mathet, Nicolas Malandain:
  Nouvelles perspectives en extraction d'information. 37-63
  
• PASCAL : un algorithme d extraction des motifs fréquents. 65-95
  
• Cadre de spécifications hiérarchiques orienté vers la réutilisation. 97-125
  
• De l'intérêt des schémas. 127-134
  

Volume 21, Number 2, 2002

• Éditorial. 159-161
  
• I. Djelic:
  Elimination de redondances pour architectures EPIC. 163-181
  
• Julien Sébot:
  Impact des extensions SIMD sur les performances d'applications multimédias. La bande passante mémoire limite AltiVec. 183-202
  
• Jean-Luc Beuchat, Jacques-Olivier Haenni, Héctor Fabio Restrepo, Christof Teuscher, Francesco J. Gómez, Eduardo Sanchez:
  Approches matérielles et logicielles de l'algorithme de chiffrement IDEA. 203-224
  
• Michel Auguin, L. Capella, F. Cuesta, Emmanuel Gresset:
  Partitionnement de spécifications flots de données conditionnels pour la conception de systèmes embarqués. 225-251
  
• Franck Cappello, Daniel Etiemble:
  MPI ou MPI+OpenMP sur grappes de multiprocesseurs? 253-272
  

Volume 21, Number 3, 2002

• Édito. 287-290
  
• Gabriela Nicolescu, Kjetil Svarstad, Wander O. Cesário, Lovic Gauthier, Damien Lyonnard, Sungjoo Yoo, Philippe Coste, Ahmed Amine Jerraya:
  Desiderata pour la spécification et la conception des systèmes électroniques. 291-314
  
• Une approche graphique pour l aide à la conception d applications temps réel ordonnançables. 315-343
  
• Recherche d informations dans des corpus en langue française. Utilisation du référentiel AMARYLLIS. 345-373
  
• Dominique Fontaine:
  Couplage entre abstraction temporelle et reconnaissance de scénarios. Application à l'identification d'évolutions. 375-404
  
• Exercices et propriétés implicites. 405-412
  

Volume 21, Number 4, 2002

• Xavier Briffault, Zahia Guessoum, Michel Occello:
  Editorial. 423-425
  
• Samuel Landau, Stéphane Doncieux, Alexis Drogoul, Jean-Arcady Meyer:
  SFERES : Un framework pour la conception de systèmes multi-agents adaptatifs. 427-446
  
• Pierre-Michel Ricordel, Yves Demazeau:
  La plate-forme Volcano - Modularité et réutilisation pour les systèmes multi-agents. 447-471
  
• Jean-Paul A. Barthès, M. Ramos:
  Agents assistants personnels dans les systèmes multi-agents mixtes - Réalisation sur la plate-forme OMAS. 473-498
  
• Fabrice Harrouet, Jacques Tisseau, Patrick Reignier, Pierre Chevaillier:
  oRis : un environnement de simulation interactive multi-agents. 499-524
  
• Olivier Boissier, David Houssin, Stefan Bornhofen, Samia Souissi, Vincent Ginot:
  Entre programmation par composants et langages d'experts - Rendre la modélisation individu-centrée plus accessible à l'utilisateur. 525-548
  
• Michel Occello, Zahia Guessoum, Olivier Boissier:
  Un essai de définition de critères pour l'étude comparative de plates-formes multi-agents. 549-552
  
• D. Pierre:
  Standards pour l'interopérabilité de plates-formes agents. 553-560
  
• Jean-Luc Koning:
  Des règles d'interaction comme modèle de contrôle en univers multi-agent. 561-563
  

Volume 21, Number 5, 2002

• Édito. 575-577
  
• Youcef Bouchebaba, Fabien Coelho:
  Pavage pour une séquence de nids de boucles. 579-603
  
• Guy Tremblay:
  Évolution d'un langage pour la programmation parallèle multicontexte : Threaded-C. 605-634
  
• Eric Renault:
  Implémentation de l'interface PAPI sur la machine Multi-PC. 635-657
  
• A. Denis:
  CORBA haute performance. 659-683
  
• Martin Quinson:
  Un outil de prédiction dynamique de performances dans un environnement de metacomputing. 685-710
  
• Arnaud Legrand:
  Équilibrage de charge statique pour noyaux d'algèbre linéaire sur plateforme hétérogène. 711-734
  
• Florent Nolot, Vincent Villain:
  Protocole universel auto-stabilisant de synchronisation d'horloges de phases. 735-756
  

Volume 21, Number 6, 2002

• Édito. 767-770
  
• Guy Bernard, Leila Ismail:
  Apport des agents mobiles à l 'exécution répartie. 771-796
  
• Gilles Grimaud, S. Jean:
  Code mobile et carte à puce. 797-822
  
• Françoise Baude, Denis Caromel, Fabrice Huet, Julien Vayssière:
  Objets actifs mobiles et communicants. 823-849
  
• Bruno Dillenseger, Laurent Hazard, Anne-Marie Tagant, T. Huan:
  Les agents mobiles réactifs Mooréa. Une approche réactive pour la transparence à la mobilité et le passage à l'échelle. 851-876
  
• Daniel Hagimont, Nabil Layaïda:
  Adaptation d'une application multimédia par un code mobile. 877-897
  
• Virginie Galtier:
  Un élément de gestion des réseaux actifs. Estimer les besoins en ressources de calcul. 899-923
  

Volume 21, Number 7, 2002

• Édito. 935-940
  
• Maurice Clerc:
  L'optimisation par essaim particulaire. 941-964
  
• Antoine Oliver, O. Regragui, Nicolas Monmarché, Gilles Venturini:
  Optimisation génétique et interactive de sites web. 965-984
  
• Siegfried Rouvrais:
  Construction de services distribués : une approche à base d'agents mobiles. 985-1007
  
• Hugues Cassé, L. Féraud, Christine Rochange, Pascal Sainrat:
  Une approche pour réduire la complexité du flot de contrôle dans les programmes C. 1009-1032
  
• Algorithmes et algorithmique. 1033-1039
  

Volume 21, Number 8, 2002

• Éditorial. 1049-1050
  
• Cartes d'étapes d'études des diagrammes d'UML. 1051-1072
  
• Franck Ledoux, Jean-Marc Mota, Agnès Arnould, Catherine Dubois, Pascale Le Gall, Yves Bertrand:
  Spécifications formelles du chanfreinage. 1073-1098
  
• Olivier Boite:
  Automatiser les preuves d'un sous-langage de la méthode B. 1099-1120
  
• Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko:
  Raffiner pour vérifier des systèmes paramétrés. 1121-1149
  

Volume 21, Number 9, 2002

• Édito. 1161-1162
  
• Bernard Botella, Arnaud Gotlieb, Claude Michel, Michel Rueher, Patrick Taillibert:
  Utilisation des contraintes pour la génération automatique de cas de test structurels. 1163-1187
  
• Bruno Legeard, Fabien Peureux:
  B-Testing-Tools : génération de tests aux limites à partir de spécifications B. 1189-1218
  
• Agnès Arnould, Pascale Le Gall:
  Test de conformité : une approche algébrique. 1219-1242
  
• Ioannis Parissis:
  Test de spécifications de logiciels synchrones. 1243-1264
  
• Thierry Jéron:
  TGV : théorie, principes et algorithmes. Un outil de synthèse automatique de tests de conformité pour les systèmes réactifs. 1265-1294
  

Volume 21, Number 10, 2002

• Éditorial. 1303
  
• Roland Ducournau:
  Spécialisation et sous-typage : thème et variations. 1305-1342
  
• Franck Barbier, A. Le Parc-Lacayrelle, Jean-Michel Bruel:
  Agrégation et composition dans UML. Révision basée sur la théorie Tout-Partie. 1343-1370
  
• F. Calvayrac, Y. Labaye, J. Gimel:
  Un Beowulf par des physiciens. 1371-1385
  
• Jean-Marc Ogier, Rémy Mullot:
  Un système de reconnaissance automatique de documents techniques. Application aux plans de cadastre. 1387-1415