


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

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














