External Links

    Journal: Technique et Science Informatiques

    Volume 27, Issue 9-10

    1097 -- 1128Louis Mandel, Marc Pouzet. ReactiveML, un langage fonctionnel pour la programmation réactive
    1129 -- 1154Bertrand Le Gal, Emmanuel Casseau, Caaliph Andriamisaina. Synthèse de haut niveau tenant compte de la dynamique des traitements. Analyse de la largeur des données d applications du TDSI et gestion de cette information lors de la synthèse de haut niveau
    1155 -- 1188Ludovic Sternberger, Dominique Bechmann, Dominique Gerber. L interaction en réalité virtuelle. État de l art
    1189 -- 1224Denis Conan, Romain Rouvoy, Lionel Seinturier. COSMOS, composition de noeuds de contexte
    1225 -- 1252Noel De Palma, Sara Bouchenak, Fabienne Boyer, Daniel Hagimont, Sylvain Sicard, Christophe Taton. Jade, un environnement d administration autonome
    1253 -- 1286Arnaud Albinet, Jean Arlat, J. Fabre. Robustesse des logiciels exécutifs. Caractérisation de l impact de pilotes défaillants par injection de fautes
    1287 -- 1314Norbert Noury, C. Villemazet, A. Fleury, P. Rumeau, Vincent Rialle, A. Ghorayeb, R. Baghai. Systèmes d information pour le télémonitorage de la santé à domicile. Implémentation du système AILISA s appuyant sur une messagerie électronique

    Volume 27, Issue 8

    951 -- 976Mathieu Jaume, Charles Morisset. Un cadre sémantique pour le contrôle d accès
    977 -- 1006Roland Groz, Muzammil Shahbaz, Keqin Li. Extraction de modèles paramétrés au cours du test de composants logiciels
    1007 -- 1032Arnaud Lanoix, Samuel Colin, Jeanine Souquières. Développement formel par composants Assemblage et vérification à l aide de B
    1033 -- 1064Francois Gobert, Baudouin Le Charlier. Un système vérifiant des propriétés opérationnelles de programmes logiques
    1065 -- 1084Jens Bendisposto, Michael Leuschel, O. Ligot, Mireille Samia. La validation de modèles Event-B avec le plug-in ProB pour RODIN

    Volume 27, Issue 7

    823 -- 850Eric Campo, Marie Chan, Christophe Escriba, S. Bonhomme, Daniel Estève. Intégration multicapteur pour un habitat intelligent. Spécifications des détecteurs de présence et perspectives
    851 -- 877Fadoua Ataa-Allah, Siham Boulaknadel, Abderrahim El Qadi, Driss Aboutajdine. Évaluation de l analyse sémantique latente et du modèle vectoriel standard appliqués à la langue arabe
    879 -- 910Samia Bouzefrane, J. Etienne, Claude Kaiser. Gestion de la surcharge dans les systèmes de gestion de base de données temps réel
    911 -- 940Brice Goglin, Olivier Glück, Pascale Vicat-Blanc Primet. Interaction efficace entre les réseaux rapides et le stockage distribué dans les grappes de calcul

    Volume 27, Issue 6

    673 -- 698Jérémie Detrey, Florent de Dinechin. Fonctions élémentaires en virgule flottante pour les accélérateurs reconfigurables
    699 -- 718Romain Michard, Arnaud Tisserand, Nicolas Veyrat-Charvillon. Optimisation d opérateurs arithmétiques matériels à base d approximations polynomiales
    719 -- 733Sylvain Collange, Marc Daumas, David Defour. État de l intégration de la virgule flottante dans les processeurs graphiques
    735 -- 755L. Didier, P. Rivaille. Une nouvelle base RNS à 4 moduli et son convertisseur vers le binaire
    757 -- 777Alexandre Coveliers, Karine Heydemann, Nathalie Drach. Étude de la sensibilité aux jeux de données de la compilation itérative
    779 -- 814Guillaume Duc, Ronan Keryell. CryptoPage. Une architecture efficace combinant chiffrement, intégrité mémoire et protection contre les fuites d informations permettant du calcul distribué sr

    Volume 27, Issue 5

    537 -- 570Amel Mammar, Régine Laleau. Implémentation JAVA d une spAcification B. Application aux bases de données
    571 -- 588Rodolphe Giroudeau. Seuil d approximation pour le modèle UET-UCT en présence d une infinité de processeurs. Une preuve alternative
    589 -- 625Gaëlle Largeteau, Dominique Geniet. Quantification du taux d invalidité d applications temps-réel à contraintes strictes
    627 -- 657Benoit Miramond. Technique de réduction adaptative de l espace de recherche pour les méthodes d optimisation par recherche locale

    Volume 27, Issue 3-4

    265 -- 291Adrien Lebre, Guillaume Huard, Yves Denneulin. Optimisation des E/S disques dans les environnements multi-applicatifs distribués
    293 -- 316Elisabeth Brunet, Olivier Aumage, Raymond Namyst. NewMadeleine, ordonnancement et optimisation de schémas de communication haute performance
    317 -- 344Maxime Martinasso, Jean-François Méhaut. Modèle de communications concurrentes sur des grappes SMP
    345 -- 371Samuel Thibault, Raymond Namyst, Pierre-André Wacrenier. BubbleSched, plate-forme de conception d ordonnanceurs de threads sur machines hiérarchiques
    373 -- 394Jean-Sébastien Gay, Yves Caniou. Étude de la précision de Simbatch, une API pour la simulation de systAmes batch
    395 -- 425Xavier Besseron, Laurent Pigeon, Thierry Gautier, Samir Jafar. Un protocole de sauvegarde/reprise coordonné pour les applications à flot de données reconfigurables
    427 -- 455Aurélien Esnard. RedGRID, un environnement pour la redistribution d objets complexes
    457 -- 485Jacques M. Bahi, Raphaël Couturier, Philippe Vuillemin. JaceP2P, une infrastructure pair-à-pair basée sur le calcul itératif asynchrone
    487 -- 508Lucas Nussbaum, Olivier Richard. Une plate-forme d émulation légère pour étudier les systèmes pair-à-pair
    509 -- 529Jean-Baptiste Ernst-Desmulier, Julien Bourgeois, François Spies. Simulation et optimisation d un environnement de calcul distribué sur un réseau pair-à-pair

    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
    runs on