External Links

    Journal: Technique et Science Informatiques

    Volume 21, Issue 9

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

    Volume 21, Issue 8

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

    Volume 21, Issue 7

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

    Volume 21, Issue 6

    767 -- 770. Édito
    771 -- 796Guy Bernard, Leila Ismail. Apport des agents mobiles à l exécution répartie
    797 -- 822Gilles Grimaud, S. Jean. Code mobile et carte à puce
    823 -- 849Françoise Baude, Denis Caromel, Fabrice Huet, Julien Vayssière. Objets actifs mobiles et communicants
    851 -- 876Bruno 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
    877 -- 897Daniel Hagimont, Nabil Layaïda. Adaptation d une application multimédia par un code mobile
    899 -- 923Virginie Galtier. Un élément de gestion des réseaux actifs. Estimer les besoins en ressources de calcul

    Volume 21, Issue 5

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

    Volume 21, Issue 4

    423 -- 425Xavier Briffault, Zahia Guessoum, Michel Occello. Editorial
    427 -- 446Samuel Landau, Stéphane Doncieux, Alexis Drogoul, Jean-Arcady Meyer. SFERES : Un framework pour la conception de systèmes multi-agents adaptatifs
    447 -- 471Pierre-Michel Ricordel, Yves Demazeau. La plate-forme Volcano - Modularité et réutilisation pour les systèmes multi-agents
    473 -- 498Jean-Paul A. Barthès, M. Ramos. Agents assistants personnels dans les systèmes multi-agents mixtes - Réalisation sur la plate-forme OMAS
    499 -- 524Fabrice Harrouet, Jacques Tisseau, Patrick Reignier, Pierre Chevaillier. oRis : un environnement de simulation interactive multi-agents
    525 -- 548Olivier 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
    549 -- 552Michel Occello, Zahia Guessoum, Olivier Boissier. Un essai de définition de critères pour l étude comparative de plates-formes multi-agents
    553 -- 560D. Pierre. Standards pour l interopérabilité de plates-formes agents
    561 -- 563Jean-Luc Koning. Des règles d interaction comme modèle de contrôle en univers multi-agent

    Volume 21, Issue 3

    287 -- 290. Édito
    291 -- 314Gabriela 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
    315 -- 343. Une approche graphique pour l aide à la conception d applications temps réel ordonnançables
    345 -- 373. Recherche d informations dans des corpus en langue française. Utilisation du référentiel AMARYLLIS
    375 -- 404Dominique Fontaine. Couplage entre abstraction temporelle et reconnaissance de scénarios. Application à l identification d évolutions
    405 -- 412. Exercices et propriétés implicites

    Volume 21, Issue 2

    159 -- 161. Éditorial
    163 -- 181I. Djelic. Elimination de redondances pour architectures EPIC
    183 -- 202Julien Sébot. Impact des extensions SIMD sur les performances d applications multimédias. La bande passante mémoire limite AltiVec
    203 -- 224Jean-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
    225 -- 251Michel Auguin, L. Capella, F. Cuesta, Emmanuel Gresset. Partitionnement de spécifications flots de données conditionnels pour la conception de systèmes embarqués
    253 -- 272Franck Cappello, Daniel Etiemble. MPI ou MPI+OpenMP sur grappes de multiprocesseurs?

    Volume 21, Issue 10

    1305 -- 1342Roland Ducournau. Spécialisation et sous-typage : thème et variations
    1343 -- 1370Franck Barbier, A. Le Parc-Lacayrelle, Jean-Michel Bruel. Agrégation et composition dans UML. Révision basée sur la théorie Tout-Partie
    1387 -- 1415Jean-Marc Ogier, Rémy Mullot. Un système de reconnaissance automatique de documents techniques. Application aux plans de cadastre

    Volume 21, Issue 1

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