default search action
Technique et Science Informatiques, Volume 25
Volume 25, Number 1, 2006
- Benjamin Sigonneau, Olivier Ridoux:
Indexation multiple et automatisée de composants logiciels. 9-42 - Yamine Aït Ameur, Remi Delmas, Virginie Wiels:
Un cadre formel pour la spécification multivue de systèmes avioniques. 43-72 - Héctor Ruíz Barradas, Didier Bert:
Propriétés dynamiques avec hypothèses d'équité en B événementiel. 73-102 - Séverine Colin, Franck Lebeau, Bruno Legeard:
Génération de tests à partir de statecharts fondée sur le calcul de comportements. 103-132 - Mark Utting
:
Un panorama du test à partir de modèles formels. 133-139
Volume 25, Number 2, 2006
- Alexandre Muzy:
Proposition d'un cadre conceptuel pour la simulation de modèles cellulaires. Application à la modélisation physique des feux de forêt. 147-166 - Nahla Ben Amor, Salem Benferhat, Zied Elouedi:
Réseaux bayésiens naïfs et arbres de décision dans les systèmes de détection d'intrusions. 167-196 - Gilles Cadet, Bernard Lécussan:
Un lancer de rayons distribué pour traiter de très grands modèles sans précompilation. 197-220 - Johann Dréo, Patrick Siarry:
Métaheuristiques pour l'optimisation et auto-organisation dans les systèmes biologiques. 221-240 - Julien Pauty, Paul Couderc, Michel Banâtre:
Architectures de systèmes pour l'informatique diffuse. 241-280
Volume 25, Number 3, 2006
- Tristan Le Gall, Bertrand Jeannet, Hervé Marchand:
Contrôle de systèmes symboliques, discrets ou hybrides. 289-315 - Guillaume Hutzler, Hanna Klaudel, Dong Yue Wang:
Systèmes multi-agents adaptatifs avec contraintes temps-réel. 317-342 - Didier Lime, Olivier H. Roux:
Vérification formelle des systèmes temps-réel avec ordonnancement préemptif. 343-370 - Fabrice Jumel, Nicolas Navet, Françoise Simonot-Lion:
Impact de choix d'implantation sur les performances d'une application de contrôle-commande. 371-398
Volume 25, Number 4, 2006
- Olivier Aubert
Des vidéos aux hypervidéos. Vers d'autres interactions avec les médias audiovisuels. 409-436 - Mehdi Yousfi Monod, Violaine Prince:
Compression de phrases par élagage de leur arbre morpho-syntaxique. Une première application sur les phrases narratives. 437-468 - Vincent Brunie, Jean Carrive, Laurent Vinet:
Ingénierie des documents audiovisuels : le projet FERIA. Une approche centrée sur la description des contenus. 469-496 - José Rouillard, Jean-Claude Tarby, Vincent Chevrin, Alain Derycke:
La plasticité des documents numériques. 497-522 - Véronique Eglin:
Approches perceptives et cognitives en analyse automatique d'images de documents. 523-551
Volume 25, Number 5, 2006
- Thierry Ernst:
Le support des réseaux mobiles dans IPv6. 573-597 - François Taïani, Marc-Olivier Killijian, Jean-Charles Fabre:
Intergiciels pour la tolérance aux fautes. 599-630 - Patrick Bosc, Olivier Pivert, Daniel Rocacher:
À propos de division usuelle et approchée de relations floues. 631-660 - Jean-Paul Jamont, Michel Occello:
Une approche multiagent pour la gestion de la communication dans les réseaux de capteurs sans fil. 661-690
Volume 25, Number 6, 2006
- Lionel Garnier, Sebti Foufou, Marc Neveu:
Conversion d'un carreau de Bézier rationnel biquadratique en un carreau de cyclide de Dupin quartique. 709-734 - Guillaume Guimberteau, Olivier Terraz, Stéphane Mérillou:
Modélisation volumique de bois par simulation de croissance. 735-757 - Caroline Larboulette, Marie-Paule Cani, Bruno Arnaldi:
Ajout de détails dynamiques à une animation temps-réel de personnage. 759-789 - Samuel Peltier, Laurent Fuchs, Pascal Lienhardt:
Homologie des ensembles simploïdaux. 791-813
Volume 25, Number 7, 2006
- Bernard Goossens, David Defour:
Ordonnancement distribué d'instructions. 827-844 - Ludovic L'Hours:
Synthèse automatique de microcontrôleurs spécialisés sur FPGA. 845-865 - Benoît Miramond:
Technique de réduction d'ordonnancements hors-ligne pour applications embarquAes à contraintes temps-réel. Optimisation hors-ligne d'ordonnancements temps-réel. 867-892 - Catherine Dezan, Erwan Fabiani, Christophe Gouyen, Loïc Lagadec, Bernard Pottier, Caaliph Andriamisaina, Alix Poungou:
Synthèse portable pour micro-architectures à grain fin. Application aux turbo décodeurs et nanofabriques. 893-920 - Lilian Bossuet, Guy Gogniat, Jean Luc Philippe:
Exploration de l'espace de conception des architectures reconfigurables. 921-946
Volume 25, Numbers 8-9, 2006
- Cédric Buche, Cyril Septseault, Pierre De Loor:
Les systèmes de classeurs. Une présentation gAnérale. 963-990 - Alain Berro:
Algorithmes évolutionnaires pour l'optimisation multi-objectif. 991-1021 - Sébastien Vérel, Philippe Collard, Manuel Clergue
Neutralité dans les paysages de fitness. Évolution artificielle et neutralité. 1023-1048 - Jean Louchet:
Évolution artificielle, optimisation et analyse d'images. 1049-1078 - Albert Dipanda, Sophie Voisin
Application des algorithmes évolutionnaires pour l'estimation du mouvement à l'aide des champs de Markov. 1079-1102 - Bruno Sareni
Conception simultanée de systèmes électriques hétérogènes par algorithmes évolutionnaires multicritères. Applications à l'optimisation de chaînes de traction pour véhicules électriques. 1103-1126 - Emmanuel Sapin:
Approche évolutionniste de la recherche d'automates cellulaires universels. 1127-1155 - Damien Sallé, Philippe Bidaud:
Algorithme évolutionnaire interactif. Application au réglage automatique d'implant cochléaire. 1179-1208 - Laurent Krähenbühl:
Algorithmes stochastiques d'optimisation : élargissons notre point de vue... 1209-1216
Volume 25, Number 10, 2006
- Emmanuelle de Gentili, Jean François Santucci:
DSSV-méthodologie. Approche de validation d'applications logicielles à l'aide de la modélisation et la simulation à évAnements discrets. 1225-1260 - Frédéric Gava:
Une bibliothèque certifiée de programmes fonctionnels BSP. 1261-1280 - Ahcene Benayache, Marie-Hélène Abel:
Exploitation de documents numériques dans une formation e-learning. 1281-1310 - Sébastien Lefèvre, Nicole Vincent:
Outils pour la recherche d'extraits pertinents dans les séquences vidéo. Applications aux retransmissions télévisées de matchs de football. 1311-1340
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.
last updated on 2024-12-22 18:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: