Journal: Technique et Science Informatiques

Volume 27, Issue 1-2

7 -- 28Gérard Cécé, Pierre-Cyrille Héam, Yann Mainier. Clôtures transitives de semi-commutations et model-checking régulier
29 -- 50Azze-eddine Maredj, Zaia Alimazighi, Achour Hamour. Gestion du recouvrement spatial dans les documents multimédias. Approche et évaluation
51 -- 81Daniel Rocacher, Patrick Bosc, Ludovic Lietard. Compositions de relations d ordre sur des quantités graduelles et expression de requêtes flexibles
83 -- 108T. Tran, C. Nguyen, N. Hoang. Biclustering des données de biopuces par les arbres pondérés de plus long préfixe. Modélisation discrète des données de puces à ADN
109 -- 140B. Sadok, K. Ghédira. Une nouvelle génération d algorithmes génétiques guidés distribués pour la résolution des Max_CSPs
141 -- 179Nicolas Anciaux, Luc Bouganim, Philippe Pucheral. SGBD embarqué dans une puce. Retour d expérience
181 -- 202Daniel Chillet, Raphaël David, E. Grâce, Olivier Sentieys. Structure mémoire reconfigurable. Vers une structure de stockage faible consommation
203 -- 233Ana Abril, Habib Mehrez, Frédéric Pétrot, Jean Gobert, Carolina Miro. Estimation et optimisation de la consommation dans les SoC utilisant la simulation précise au cycle
235 -- 254Gwenolé Corre, Eric Senn, Nathalie Julien, Eric Martin. Estimation et optimisation de la consommation des mémoires