Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTechnique 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 Liétard:
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 - Sadok Bouamama, 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, Erwan 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
Volume 27, Numbers 3-4, 2008
- 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
Volume 27, Number 5, 2008
- 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 - Benoît Miramond:
Technique de réduction adaptative de l'espace de recherche pour les méthodes d'optimisation par recherche locale. 627-657
Volume 27, Number 6, 2008
- 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 - Caroline Collange, Marc Daumas, David Defour:
État de l'intégration de la virgule flottante dans les processeurs graphiques. 719-733 - Laurent-Stéphane Didier, Pierre-Yves 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
Volume 27, Number 7, 2008
- 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, Jean-Paul 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
Volume 27, Number 8, 2008
- Mathieu Jaume, Charles Morisset:
Un cadre sémantique pour le contrôle d'accès. 951-976 - Roland Groz, Muzammil Shahbaz, Keqin 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 - Francçois 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
Volume 27, Numbers 9-10, 2008
- 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, Abir 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
a service of 
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-04-25 05:28 CEST 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:
