yusuke1997/dblp-id-title huggingface dataset:
Un élément de gestion des réseaux actifs. Estimer les besoins en ressources de calcul
Claire/Eclair(copyright) Un environnement de modélisation etde résolution pourdesapplicationsd'optimisation combinatoires embarquées
Treillis de concepts et classification supervisée
Une mthode descriptive pour ltude des changes dans les systmes hirarchis
Architecture d'un processeur multiflot orienté temps-réel
Histoire de l'informatique
Le point sur la programmation par aspects (Concern Based Programming)
CERTICLOUD, une plate-forme Cloud IaaS sécurisée
Assistance au tuteur. Prototype d'un système pour l'adaptation de situations d'apprentissage aux apprenants
Un système de cache hiérarchique pour les E/S présentant des motifs séquentiels pour les mémoires flash NAND
Utilisation des bases de données orientées graphe comme référentiels de modèles
Une approche par compétition d'agents pour la résolution de l'encombrement spatial lors de la génération automatique des cartes Nafaâ Jabeur*
Caractérisation des délais dans les applications de supervision de réseaux et de services
Optimisation des E/S disques dans les environnements multi-applicatifs distribués
Génération de tests à partir de statecharts fondée sur le calcul de comportements
ARCS, une architecture logicielle reconfigurable pour la conception des applications de réalité augmentée
Gestion des données temporelles dans un environnement multiversion de schémas
Système de classification hybride interprétable par construction automatique de systèmes d'inférence floue
CORBA haute performance
Autour de l'autostabilisation. 2. Techniques spécialisant l'approche
Les émotions : une métaphore pour la résolution de problèmes dynamiques distribués
Une classe de systèmes auto-similaires et à mémoire longue
La recherche en B
Répartition d'états multipoints par utilisation des plus courts chemins multiples
Approches alternatives pour la différenciation de services IP
Un cadre formel pour la spécification multivue de systèmes avioniques
Les architectures parallèles sur puce. Synthèse des architectures multitâches pour les systèmes embarqués
La découverte scientifique assistée par des agents rationnels
Optimisation des transferts de données inter-domaines au sein de Xen
Ontologie des entités fictives et virtuelles. Préliminaires
Construction et manipulation de collections topologiques pour les représentations musicales
Une approche à base de composants pour la conception d'agents (A component-based approach for agent construction)
Méthode de décomposition pour l'évaluation de performance de réseaux linéaires de routeurs ON/OFF
Reconstruction dynamique de surface par convection géométrique
Une approche basée sur les treillis de Galois pour la définition des architectures des réseaux de neurones
Résumé de bases de données. Application au domaine bancaire
Passage à l'échelle mémoire et impact des allocations dynamiques dans l'application GYSELA
Fouille de données pour l'extraction de grands réseaux de régulation génétique
Techniques de réduction de la consommation dans un système embarqué temps réel
Service de reconfiguration prédictif pour plateforme multicoeur hétérogène
Concevoir pour l'ordonnancement temps réel. Prise en compte de l'ordonnancement temps réel durant la phase de conception d'une radio logicielle
Prosodie expressive audio-visuelle de l'interaction personne-machine. États mentaux, attitudes, intentions et affects (Feeling of Thinking) en dehors du tour de parole
Recherche dynamique d'agent dans la couche réseau par multipoint orienté
Méthodologie d'optimisation des processeurs embarqués. Une approche favorisant la réduction de la surface et de la consommation des processeurs embarqués
Extraction de relations complexes. Application à des résultats expérimentaux en physiologie rénale
L'enseignement de B
Acquisition de connaissances d'adaptation à partir d'une base de cas hétérogène
Planification multi-agent par cycles de conjecture/réfutation
Histoire de l'informatique - Entretien avec Véronique Donzeau-Gouge
Test fonctionnel de conformité vis-à-vis d'une politique de contrôle d'accès
Histoire de l'informatique - Entretien avec Claude Kaiser
Wrapping DEVS de modèles IP dans MECSYCO pour la co-simulation de systèmes cyber-physiques
Coq, un outil pour l'enseignement. Une expérience avec les étudiants du DESS Développement de logiciels srs
Chronique : Le programme d'épigénomique
De l'utilisation des mesures de trafic pour l'ingénierie des réseaux de l'internet
Clôtures transitives de semi-commutations et model-checking régulier
Étude comparative pour la modélisation de plates-formes d'exécution. Application au temps réel embarqué
Définition d'un agent conversationnel assistant d'applications internet à partir d'un corpus de requêtes
Simulation et optimisation d'un environnement de calcul distribué sur un réseau pair-à-pair
Une démarche pour l'assistance à l'utilisation des patrons de sécurité
Une approche multi-agent pour la segmentation d'images de profondeur à base d'objets polyédriques. Une nouvelle approche de segmentation d'images
Vérification partielle de programmes de contrôle-commande par interprétation abstraite
Approches matérielles et logicielles de l'algorithme de chiffrement IDEA
Routage compact optimal dans les (k, r) -constellations
Tatiana, un environnement d'aide à l'analyse de traces d'interactions humaines
Nouveaux points de coupure et primitives pour les préoccupations de renforcement de sécurité
Mise en oeuvre de la découverte de services pour des plateformes dynamiques à large échelle
L'algorithme "Optimal Distributed Intelligent BackTracking"
Entretien de Valérie Schafer. Un virtuose de l'informatique sonore
Équipe Art et Sciences de l'Institut ACTE
Un modèle multi-agent de résolution collective de problèmes situés multi-échelles
État de l'art sur le développement logiciel basé sur les transformations de modèles
Algorithmes parallèles à grain adaptatif et applications
RCIS 2011
Recherche d informations dans des corpus en langue française. Utilisation du référentiel AMARYLLIS
Du mouvement brownien fractionnaire au mouvement brownien multifractionnaire
HydEE, vers un protocole de recouvrement arrière hiérarchique pour les machines exascales. De l'exploitation du déterminisme des émissions dans les protocoles de recouvrement arrière
Une plate-forme d'émulation légère pour étudier les systèmes pair-à-pair
Implémentation de l'interface PAPI sur la machine Multi-PC
Conception d'une plate-forme d'expérimentations pour réseaux ad hoc et hybrides. Application à l'évaluation d'un protocole d'auto-organisation et de routage
Vers de meilleures performances avec des Roaring bitmaps
Étude quantitative d'algorithmes de stéréovision pour les systèmes embarqués d'aide à la conduite
Une approche hybride GPL-DSL pour transformer des modèles
(m, k)-WFQ, intégration des contraintes temporelles (m, k)-firm dans les réseaux à débit garanti
Recalage hétérogène de nuages de points 3D. Application à l'imagerie sous-marine
Modélisation et analyse dans les entrepôts de données actifs
Réseaux d'automates stochastiques à temps discret
Calcul de rais en tomographie sismique. Exploitation sur la grille
Formalisation de la recontextualisation de modèles par graphe de dépendance
Implémentation orientée objet d'ABAReL en Maude
Encodage linéaire d'automates pondérés. Filtrage de motifs génomiques et application sur l'architecture prototype R-disk
Percevoir les trajets d'apprentissage en formation distance. Conception pluridisciplinaire d'outils de visualisation pour le tuteur
Analyse numérique et réduction de réseaux
Typage, sreté et sécurité
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
Robustesse des logiciels exécutifs. Caractérisation de l'impact de pilotes défaillants par injection de fautes
Analyse de performance des systèmes décomposables. Exemples et mise en oeuvre
Réutilisation et générateurs de systèmes à base de connaissances : le framework BLOCKS (Reuse and knowledge based systems : the BLOCKS Framework)
Interfaces riches pour des architectures de contrôle de robots compositionnelles
Spécifications et développements structurés dans la méthode B
RedGRID, un environnement pour la redistribution d'objets complexes
Un essai de définition de critères pour l'étude comparative de plates-formes multi-agents
Implémentation JAVA d'une spAcification B. Application aux bases de données
Les krachs sont rationnels
Rendu temps réel de fonction de textures bidirectionnelles
ScalAgent, une plate-forme à composants pour applications asynchrones
Serveurs multimédias : concepts de base et prototypes
Implantation d'un décodeur H.264 sur plateforme multiprocesseur avec gestion énergétique
Un protocole de tolérance aux pannes pour objets actifs non préemptifs
Émulation de mémoire partagée en environnements distribués dynamiques
UML et réseaux de Petri
Traitement d'images sur architectures parallèles et hétérogènes
Un panorama des techniques de suivi visuel temps réel pour la réalité augmentée
Un format fédérateur pour l'évaluation de spécifications formelles en Programmation Logique avec Contraintes
Susciter l'émotion dans la narration automatique
Les riches heures de l'ordonnancement
Cadre de spécifications hiérarchiques orienté vers la réutilisation
Homologie des ensembles simploïdaux
Modèle de sécurité pour le secteur de la santé
OpenTool, outil pour la réalisation de systèmes multi-agents adaptatifs dans le cadre de la méthode ADELFE
Compte rendu d'habilitation - Écrire les nombres autrement
SGBD embarqué dans une puce. Retour d'expérience
Groupe ACROE-ICA Ingénierie pour la création artistique : geste, musique, mouvement, image
Critères de vision pour la simplification de maillages Etude, implémentation et évaluation
Un modèle d'interlocuteur virtuel avec des comportements d'écoute crédibles
Adaptation d'exécution de modèles par contrats
Vers des outils de création artistique accessibles inspirés des fourmis. Un système de co-improvisation musicale inspiré des fourmis
Proposition d'un cadre conceptuel pour la simulation de modèles cellulaires. Application à la modélisation physique des feux de forêt
Du microprocesseur au circuit FPGA. Une analyse sous l'angle de la reconfiguration
Méthode de modélisation de systémes paramétres imprécis
Mécanismes de handover pour les réseaux IP sans fil
13th IEEE International Requirements Engineering Conference. August 29th - September 2nd 2005, Paris, La Sorbonne, France
Estimation et optimisation de la consommation dans les SoC utilisant la simulation précise au cycle
Résolution coopérative de problèmes intégrant planification et interaction
Compression de code pour processeurs haute performance
Adaptation de la transformée de Radon pour la recherche d'objets à niveaux de gris et de couleurs
Un lancer de rayons distribué pour traiter de très grands modèles sans précompilation
ReactiveML, un langage fonctionnel pour la programmation réactive
Entre programmation par composants et langages d'experts - Rendre la modélisation individu-centrée plus accessible à l'utilisateur
Optimisations du chargement des instructions
Les ontologies comme support à l'interaction et à la personnalisation dans un processus décisionnel. Exploitation de la sémantique pour favoriser l'automatisation cognitive
NAC, une architecture pour l'adaptation multimédia sur le web
Des règles d'interaction comme modèle de contrôle en univers multi-agent
GRAME. Centre national de création musicale
Traits de personnalité computationnels. Enrichissement de la taxonomie FFM/NEO PI-R avec des gloses WordNet liées à des adjectifs de personnalité
Environnement ad hoc et mobilité IP. Un état de l'art
Algorithmes stochastiques d'optimisation : élargissons notre point de vue..
Une approche multiagent pour la gestion de la communication dans les réseaux de capteurs sans fil
Partitionnement logiciel matériel ciblant une architecture reconfigurable dynamiquement
Évolution + Adaptation = Résolution
Les jeux d'accessibilité généralisée
Guilde de conception d'une technique de désignation 3D
À propos de division usuelle et approchée de relations floues
Prise en compte du mouvement dans les systèmes de communication sans fil
Automates cellulaires hyperboliques universels II
Alignement interactif d'ontologies avec ServOMap
Contrôle de congestion dans les protocoles de transport internet. État de l'art et perspectives
Reconnaissance de gestes par systèmes d'inférence floue. Du geste au son
Appel propositions darticles sur le thme. Thorie des jeux en informatique
Les systèmes de classeurs. Une présentation gAnérale
OVM, une machine parallèle virtuelle à exécution dans le désordre
Un réseau sur puce RF reconfigurable dynamiquement pour les many-cœurs
Influence des modalités de sortie d'un système sur les modalités de l'utilisateur. Cas des environnements ambiants de type pièces intelligentes
RS2.7, un canevas adaptable de duplication
Recherche approximative de plus proches voisins
Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons
Descripteurs de forme pour l'indexation de maillages 3D
Entretien de Jean-Louis Giavitto et Valérie Schafer. Avec Paul Braffort
Auto-adaptation du niveau de service dans les systèmes distribués
Analyse des réseaux temporels. Calcul des classes en O(n 2 ) et des temps de chemin en O(m x n)
Interprétation par syntaxe abstraite d'ordre supérieur et traduction en combinateurs
Apprentissage par renforcement pour la conception de systèmes multi-agents réactifs
Analyse statique par interprétation abstraite
Restricting EDF migration on uniform heterogeneous multiprocessors
Recherche - Parallélisation automatique pour la conception de systèmes critiques sûrs
Elimination de redondances pour architectures EPIC
Composition dynamique de services de calcul. Utilisation des spécifications algébriques pour décrire la fonctionnalité des services
Optimisation par " hommilière " de chemins pédagogiques pour un logiciel d'e-learning
Synthèse portable pour micro-architectures à grain fin. Application aux turbo décodeurs et nanofabriques
Algorithmes et algorithmique - Du bon usage des types énumérés
Zooms arrières, une approche impressionniste
LaBRI.Modélisation du son, de la parole et de la musique
Etude de la configuration dynamique des paramètres de RED
Les collections distribuées : un outil pour la conception d'applications Java parallèles
Calcul de majorants de pire temps d'exécution : état de l'art
Algorithme d'ordonnancement dynamique pour exécution statique
MATE : un éditeur de texte basé sur une société d'agents réactifs
Langages et outils pour la visualisation et la manipulation de données du web sémantique
Combinaisons d'expressions vocales, faciales et posturales des émotions chez un agent animé. Perception par les utilisateurs
VIDA. Une thématique art-science dans un laboratoire de recherche scientifique
Un système vérifiant des propriétés opérationnelles de programmes logiques
PCF-SVM : une nouvelle méthode de sélection d'attributs pour la classification supervisée
Algorithmes et algorithmique - L'orienté-objet jugé pernicieux
Un système de reconnaissance automatique de documents techniques. Application aux plans de cadastre
Architecture de communication à gestion automatique de la QdS en environnement IP à services différenciés
Structure mémoire reconfigurable. Vers une structure de stockage faible consommation
Evaluation de performances d'architectures Ethernet commuté
Neutralité dans les paysages de fitness. Évolution artificielle et neutralité
Optimisation d'opérateurs arithmétiques matériels à base d'approximations polynomiales
Une nouvelle base RNS à 4 moduli et son convertisseur vers le binaire
La plate-forme Volcano - Modularité et réutilisation pour les systèmes multi-agents
Approche évolutionniste de la recherche d'automates cellulaires universels
De l'intérêt des schémas
Protection des flux audiovisuels MPEG-4 transportés sur internet
Étude de la précision de Simbatch, une API pour la simulation de systAmes batch
Conversion d'un carreau de Bézier rationnel biquadratique en un carreau de cyclide de Dupin quartique
Premières leçons sur la spécification d'un train d'atterrissage en B Événementiel
Base de caractérisation des valeurs manquantes
SFERES : Un framework pour la conception de systèmes multi-agents adaptatifs
Analyse des performances des accès séquentiels aux fichiers sous Windows
Vers une unification de l'évaluation de la tâche de pointage en environnement virtuel 3D
Heuristiques d'ordonnancement en deux étapes de graphes de tâches parallèles
Gestion du recouvrement spatial dans les documents multimédias. Approche et évaluation
Conception des interfaces logiciel-matériel pour l'intégration des mémoires globales dans les systèmes monopuces
Polyèdres et compilation
Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa
Standards pour l'interopérabilité de plates-formes agents
Un langage temps réel dynamique pour scénariser l'interaction musicien-machine
Un panorama du test à partir de modèles formels
Modélisation cellulaire pour l'émergence de structures multiprotéiques auto-organisées
Cycles, double-cycles d'interactions et modes de mise à jour
CryptoPage : Support matériel pour cryptoprocessus
Quantification du taux d'invalidité d'applications temps-réel à contraintes strictes
Une approche formelle de l'interopérabilité en modélisation orientée métier
Nouvelles architectures génériques de NoC
Patrons transactionnels pour assurer des compositions fiables de services web
Interaction efficace entre les réseaux rapides et le stockage distribué dans les grappes de calcul
Synthèse automatique de microcontrôleurs spécialisés sur FPGA
Simulation dirigée par l'activité floue dans les modèles cellulaires. Comparaison entre règles d'activité floues et stochastiques
La planification agent dans un environnement dynamique et distribué : entre la réalité et la simulation
Interaction 3D en réalité virtuelle. Etat de l'art
PEGASE, un système tutoriel intelligent générique et adaptatif en environnement virtuel
ENTRETIEN AVEC MICHEL RAYNAL (10/05/2017)
Jeux de congestion dans les réseaux. Partie II. Efficience et dynamique
TGV : théorie, principes et algorithmes. Un outil de synthèse automatique de tests de conformité pour les systèmes réactifs
Ajout de détails dynamiques à une animation temps-réel de personnage
Intergiciels pour la tolérance aux fautes
Alignement d'ontologies basé sur des ressources complémentaires Illustration sur le système TaxoMap
Une analyse empirique du comportement d'attaquants. Expérimentations et résultats
Ircam. Institution du dialogue art-science
Langage de conversation multimodal pour agent conversationnel animé
Une approche pour réduire la complexité du flot de contrôle dans les programmes C
Compte rendu du congrès des journées de SPECIF de Lille. Journée du 21 janvier 2004
Optima locaux garantis pour l'approximation différentielle
Approche de couplage de BD et d'ontologie pour l'aide à la décision sémantique. Contribution pour la satisf action des requêtes SQL et SPARQL
Une infrastructure à base de composants pour la construction de gestionnaires d'objets persistants
Visualisations interactives et dynamiques de grands volumes de données spatio-temporelles. Exemples d'applications développées à la SNCF
Call for Papers for CAiSE11 Events
Un service d'interactions
Modélisation et synchronisation de plans multi-agents contraints Application aux missions aériennes
Recherche d'images par régions d'intérêt : segmentation grossière rapide et description couleur ne
Vers une plate-forme MapReduce tolérant les fautes byzantines
Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires
B-Testing-Tools : génération de tests aux limites à partir de spécifications B
Amélioration de la qualité de modèles. Une étude de deux approches complémentaires
UML-TF. Un profil UML pour la représentation des faits temporels
Analyses statiques de la dynamique des réseaux d'automates indéterministes
Mobilité et bases de données. Etat de l'art et perspectives - 1ère partie. Action spécifique CNRS "Mobilité/Accès aux données"
Les grammaires d interaction
Typer la désérialisation sans sérialiser les types
Modélisation explicite de l'adaptation sémantique entre modèles de calcul
Architectures reconfigurable et faible consommation. Réalité ou prospective ?
Objets partagés et détecteurs de défaillances
Théorèmes limites pour les processus de Markov à sauts
Le cadre PFU, un modèle et des algorithmes génériques pour la décision séquentielle incluant incertitudes, faisabilités et utilités
Vers des patrons de métamodélisation. Structuration de métamodèles par séparation des préoccupations
Un protocole de sauvegarde/reprise coordonné pour les applications à flot de données reconfigurables
Compte rendu du colloque Programmation orientée Art
Artimis : assistant de voyage et médiateur intelligent dans un système multi-agent
Évaluation de l'analyse sémantique latente et du modèle vectoriel standard appliqués à la langue arabe
Systèmes multi-agents adaptatifs avec contraintes temps-réel
Noyau de viabilité : une contrainte globale pour la modélisation de systèmes dynamiques
Preuve ou raisonnement?
Évolution artificielle, optimisation et analyse d'images
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
Des vertus de la schizophrénie pour le prototypage d'applications à composants interopérables
Politiques de contrôle d'accès dynamiques sur des données XML chiffrées
Modèles fractionnaires bidimensionnels à espace discret
Estimations pour le partitionnement de systèmes temps réel strict sur FPGA
Évaluation quantitative de la sécurité. Approche basée sur les vulnérabilités
Reconnaissance de symboles à partir d'une signature structurelle flexible et d'un classifieur de type treillis de Galois
Une bibliothèque métaprogrammée pour la programmation parallèle
Chronique : Métagénomique bactérienne et virale
Ingénierie des documents audiovisuels : le projet FERIA. Une approche centrée sur la description des contenus
VEHA, un métamodèle d'environnement virtuel informé et structuré
Systèmes de mémoire transactionnelle pour les architectures à base de NoC Conception, implémentation et comparaison de deux politiques
Généralisation cartographique avec des agents qui voient et communiquent
Jeux de congestion dans les réseaux. Partie I. Modèles et équilibres
Algorithmes et algorithmique
L'enseignement de la programmation logique à l'École des Mines de Nantes
Protection par p-cycles dans les réseaux WDM
Logiques temporelles basées sur actions pour la vérification des systèmes asynchrones
Histoire de l'informatique - Entretien avec Sacha Krakowiak
Construction automatique d'adaptateurs guidée par une ontologie pour l'intégration de sources et de données XML
Utilisation des contraintes pour la génération automatique de cas de test structurels
Vérification formelle des systèmes temps-réel avec ordonnancement préemptif
NewMadeleine, ordonnancement et optimisation de schémas de communication haute performance
Chronique : Comment gagner la confiance en C?
Gestion de données dans les systèmes P2P DHT
Les relations franco-québécoises dans le domaine de l'informatique : un demi-siècle d'échanges, d'amitiés et d'enrichissements mutuelsEntretien avec Guy Lapalme, Jacques Malenfant, Laurent Trilling et Jean-Pierre Verjus
Un processus automatique pour concevoir les profils UML. Un profil UML pour la modélisation multiniveau
Évaluation de la fiabilité d'une table de hachage distribuée construite dans un plan hyperbolique
Classification des modes élémentaires
Compte rendu d'habilitation - Contributions à la création et à la manipulation des objets vidéo
Ordonnancement distribué d'instructions
Il éTait une fois le Web à l'in2p3...Entretien avec Daniel Charnay et Wojciech Wojcik
Sécuriser les systèmes distribués à base de composants par contrôle de flux d'information
Modélisation et simulation de la rAgulation de l'hématopopièse précoce grâce aux réseaux de Petri hybrides fonctionnels
Validation des règles de base de l'Atelier B
Piles de sable décroissantes 1D. Classification expérimentale d'émergences
MPI ou MPI+OpenMP sur grappes de multiprocesseurs?