![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
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 - Michel Dupont, Jean-Marc 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, Francisco J. Gómez, Eduardo Sanchez:
Approches matérielles et logicielles de l'algorithme de chiffrement IDEA. 203-224 - Michel Auguin, Laurent Capella, Fernand 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, 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
- 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ébastien 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é, Louis 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, Annig 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.