External Links

    Journal: Technique et Science Informatiques

    Volume 30, Issue 9

    1031 -- 0. Sommaire
    1033 -- 1034Pascal Sainrat. Éditorial
    1035 -- 1059Haluk Ozaktas, Karine Heydemann. Compression de code pour processeurs haute performance
    1061 -- 1087Quentin L. Meunier, Frédéric Pétrot. Systèmes de mémoire transactionnelle pour les architectures à base de NoC Conception, implémentation et comparaison de deux politiques
    1089 -- 1113Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc Dekeyser. Modélisation UML/MARTE de SoC et analyse temporelle basée sur l'approche synchrone. Vers l'exploration à haut niveau de l'architecture
    1115 -- 1134Mourad Bouache, David Parello, Bernard Goossens. Accélération de la simulation modulaire

    Volume 30, Issue 8

    930 -- 0. Sommaire
    931 -- 932Sandra Bringay, Anne Laurent, Maguelonne Teisseire. Éditorial
    933 -- 952Elsa Negre. Quand la recommandation rencontre la personnalisation. Ou comment générer des recommandations (requêtes MDX) en adéquation avec les préférences de l'utilisateur
    953 -- 973Soumia Benkrid, Ladjel Bellatreche. Une démarche conjointe de fragmentation et de placement dans le cadre des entrepôts de données parallèles
    975 -- 994Sahla Bouattour, Omar Boussaid, Hanêne Ben-Abdallah, Jamel Feki. Modélisation et analyse dans les entrepôts de données actifs
    995 -- 1017Lisa Di-Jorio. Des blocs de données aux motifs graduels multidimensionnels

    Volume 30, Issue 7

    775 -- 0A. Distribuée. Sommaire
    777 -- 779Sébastien Tixeuil. Éditorial
    781 -- 808Etienne Birmelé, François Delbot, Christian Laforest, Nicolas Thibault. Analyse du nombre de perturbations lors du maintien d'un arbre de connexion de faible diamètre
    809 -- 839Vincent Gramoli. Émulation de mémoire partagée en environnements distribués dynamiques
    841 -- 871Carole Delporte-Gallet, Hugues Fauconnier. Objets partagés et détecteurs de défaillances
    873 -- 894Stéphane Devismes, Franck Petit, Vincent Villain. Autour de l'autostabilisation. 1. Techniques généralisant l'approche
    895 -- 922Stéphane Devismes, Franck Petit, Vincent Villain. Autour de l'autostabilisation. 2. Techniques spécialisant l'approche

    Volume 30, Issue 6

    623 -- 624. Sommaire
    625 -- 626Mourad Oussalah, Philippe Lahire. Éditorial
    627 -- 658Pascal André, Gilles Ardourel, Christian Attiogbé. Kmelia, un modèle abstrait et formel pour la description et la composition de composants et de services
    659 -- 684Anthony A. Hock-koon, Mourad Oussalah. Métamodélisation de service composite
    685 -- 710Aurélie Hurault, Marc Pantel, Michel J. Daydé. Composition dynamique de services de calcul. Utilisation des spécifications algébriques pour décrire la fonctionnalité des services
    711 -- 739Olena Rogovchenko, Jacques Malenfant. Interfaces riches pour des architectures de contrôle de robots compositionnelles
    741 -- 767Malika Benammar, Faiza Belala, Kamel Barkaoui. Implémentation orientée objet d'ABAReL en Maude

    Volume 30, Issue 5

    483 -- 0. Sommaire
    485 -- 513Youssou Dieng, Cyril Gavoille. (k, r)-constellations
    515 -- 538Anne-Cécile Orgerie, Laurent Lefèvre, Jean-Patrick Gelas. Étudier l'usage pour économiser l'énergie dans les systèmes distribués à grande échelle. L'approche EARI
    539 -- 569Mehdi Darouich, Stéphane Guyetant, Dominique Lavenier. Étude quantitative d'algorithmes de stéréovision pour les systèmes embarqués d'aide à la conduite
    571 -- 590Jean-Sebastien Gualtieri, Paul-Antoine Bisgambiglia, Jean François Santucci, Dominique Federici. Reconnaissance de gestes par systèmes d'inférence floue. Du geste au son
    591 -- 616Jean Arnaud, Sara Bouchenak. MOKA, modélisation et planification de capacité pour les systèmes multi-étagés

    Volume 30, Issue 4

    369 -- 370Sandrine Blazy. Introduction
    371 -- 380Xavier Rival. Analyse statique par interprétation abstraite
    381 -- 408David Cachera, David Pichardie. Programmation d un interpréteur abstrait certifié en logique constructive
    409 -- 440Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai. Expérimentations en Coq pour un générateur de code qualifiable
    441 -- 471Daniel Gaffé, Annie Ressouche. Compilation modulaire d un langage synchrone Spécification, simulation, implémentation et vérification d applications synchrones

    Volume 30, Issue 3

    241 -- 242Djamal Benslimane. Éditorial
    243 -- 273Nadia Nouali-Taboudjemat, Omar Nouali, Habiba Drias. La validation dynamiquement adaptable des transactions mobiles. Une approche sensible au contexte utilisant des politiques d adaptation
    275 -- 308Frédéric Guidec, Julien Haillot. Communication basée contenus dans les réseaux mobiles ad hoc discontinus
    309 -- 337Ludovic Apvrille, Pierre de Saqui-Sannes. Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons
    339 -- 360Besma Zeddini, Mahdi Zargayouna, M. Temani, A. Yassine. De l intelligence collective pour le transport à la demande

    Volume 30, Issue 2

    133 -- 135Jean-Louis Giavitto. Éditorial
    135 -- 136Matthieu Latapy. Introduction
    137 -- 154Thomas Aynaud, Jean-Loup Guillaume. Structure communautaire multi-chelle de grands graphes de terrain
    155 -- 180Stéphane Raux, Christophe Prieur. Stabilit globale et diversit locale dans la dynamique des commentaires de Flickr
    181 -- 212P. Giabbanelli, J. Peters. SYNTHSE. Rseaux complexes et pidmies
    213 -- 231Sébastien Delarre. Une mthode descriptive pour ltude des changes dans les systmes hirarchis

    Volume 30, Issue 10

    1141 -- 1142. Sommaire
    1143 -- 1166Yoann Gabillon, Gaëlle Calvary, Humbert Fiorino. Composition d'interfaces homme-machine en contexte. Approche par planification automatique
    1167 -- 1189. Stabilité des arbres des plus courts chemins en présence de concurrence
    1191 -- 1216Eddy Caron, Ajoy Kumar Datta, Benjamin Depardon, Lawrence L. Larmore. Un algorithme autostabilisant pour le problème du K-partitionnement sur graphe pondéré
    1217 -- 1246Alexandre Venelli. Techniques d'estimation d'entropie efficaces pour l'attaque par analyse d'information mutuelle
    1247 -- 1270Leila Ben Othman, François Rioult, Sadok Ben Yahia, Bruno Crémilleux. Base de caractérisation des valeurs manquantes

    Volume 30, Issue 1

    7 -- 34Jean-Marie Gilliot, An Phung-Khac, Antoine Beugnard, Maria-Teresa Segarra. L ingnierie dirige par les modles pour la conception d applications architectures rparties adaptables. Construction de variantes et de plans d adaptation par transformation de mod
    35 -- 57Julien Clément, Stéphane Messika, Brigitte Rozoy. Observer des algorithmes autostabilisants. Vers une valuation du co
    59 -- 91Amira Ben Hamida, Frédéric Le Mouël, Stéphane Frénot, Mohamed Ben Ahmed. Dploiement adaptatif dapplications orientes services sur environnements contraints
    93 -- 118Paul Bisgambiglia, Emmanuelle de Gentili, Jean François Santucci. Méthode de modélisation de systémes paramétres imprécis
    runs on