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, Yann 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
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
- 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, Milton Pires 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
- 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
- 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
- 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
- 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
- Jean-Marc Ogier, Rémy Mullot: Un système de reconnaissance automatique de documents techniques. Application aux plans de cadastre. 1387-1415
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team