Technique et Science Informatiques, Volume 27

Volume 27, Numbers 1-2, 2008

Gérard Cécé, Pierre-Cyrille Héam, Yann Mainier:
Clôtures transitives de semi-commutations et model-checking régulier. 7-28
Azze-eddine Maredj, Zaia Alimazighi, Achour Hamour:
Gestion du recouvrement spatial dans les documents multimédias. Approche et évaluation. 29-50
Daniel Rocacher, Patrick Bosc, Ludovic Lietard:
Compositions de relations d'ordre sur des quantités graduelles et expression de requêtes flexibles. 51-81
T. 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. 83-108
B. Sadok, Khaled Ghédira:
Une nouvelle génération d'algorithmes génétiques guidés distribués pour la résolution des Max_CSPs. 109-140
Nicolas Anciaux, Luc Bouganim, Philippe Pucheral:
SGBD embarqué dans une puce. Retour d'expérience. 141-179
Daniel Chillet, Raphaël David, E. Grâce, Olivier Sentieys:
Structure mémoire reconfigurable. Vers une structure de stockage faible consommation. 181-202
Ana 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. 203-233
Gwenolé Corre, Eric Senn, Nathalie Julien, Eric Martin:
Estimation et optimisation de la consommation des mémoires. 235-254

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

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

Jérémie Detrey, Florent de Dinechin:
Fonctions élémentaires en virgule flottante pour les accélérateurs reconfigurables. 673-698
Romain Michard, Arnaud Tisserand, Nicolas Veyrat-Charvillon:
Optimisation d'opérateurs arithmétiques matériels à base d'approximations polynomiales. 699-718
Sylvain Collange, Marc Daumas, David Defour:
État de l'intégration de la virgule flottante dans les processeurs graphiques. 719-733
L. Didier, P. Rivaille:
Une nouvelle base RNS à 4 moduli et son convertisseur vers le binaire. 735-755
Alexandre Coveliers, Karine Heydemann, Nathalie Drach:
Étude de la sensibilité aux jeux de données de la compilation itérative. 757-777
Guillaume 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. 779-814

Eric 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. 823-850
Fadoua 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. 851-877
Samia Bouzefrane, J. Etienne, Claude Kaiser:
Gestion de la surcharge dans les systèmes de gestion de base de données temps réel. 879-910
Brice Goglin, Olivier Glück, Pascale Vicat-Blanc Primet:
Interaction efficace entre les réseaux rapides et le stockage distribué dans les grappes de calcul. 911-940

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

Louis Mandel, Marc Pouzet:
ReactiveML, un langage fonctionnel pour la programmation réactive. 1097-1128
Bertrand 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. 1129-1154
Ludovic Sternberger, Dominique Bechmann, Dominique Gerber:
L'interaction en réalité virtuelle. État de l'art. 1155-1188
Denis Conan, Romain Rouvoy, Lionel Seinturier:
COSMOS, composition de noeuds de contexte. 1189-1224
Noel De Palma, Sara Bouchenak, Fabienne Boyer, Daniel Hagimont, Sylvain Sicard, Christophe Taton:
Jade, un environnement d'administration autonome. 1225-1252
Arnaud Albinet, Jean Arlat, J. Fabre:
Robustesse des logiciels exécutifs. Caractérisation de l'impact de pilotes défaillants par injection de fautes. 1253-1286
Norbert Noury, Christophe Villemazet, Anthony 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. 1287-1314

Last update Tue Feb 14 04:23:58 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page