Récemment ajouté

La plateforme OSKAR Bordeaux évolue pour rejoindre l'archive ouverte HAL. Retrouvez tous vos dépôts sur le nouveau portail HAL UB : https://u-bordeaux.hal.science/. Pour toute aide ou information, contactez-nous info@oskar-bordeaux.fr

Voici les éléments 1641-1660 de 1776

Les cookies utilisés sur ce site ne servent pas à identifier l’utilisateur mais à collecter des informations relatives à la navigation. En savoir plus…

Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800: Dépôts récents

Conception d'algorithmes numériques pour la résilience en algèbre linéaire

Analyse statique/dynamique pour la validation et l'amélioration des applications parallèles multi-modèles

Contributions à l'amélioration de l'extensibilité de simulations parallèles de plasmas turbulents

Sécurité des réseaux de capteurs et des communications véhiculaires

Expressivité des automates pondérés circulaires et boustrophédons

Mise au point d'un formalisme syntaxique de haut niveau pour le traitement automatique des langues

Contribution à la parallélisation et au passage à l'échelle du code FLUSEPA

Approche réseau basée sur la conscience du contenu pour l’optimisation de l’exploitation des ressources au sein d’environnements virtualisés

Algorithmique et applications pour les flottes hétérogènes multiniveaux de matériels mobiles communicants autonomes

Découverte de services et collaboration au sein d'une flotte hétérogène et hautement dynamique d'objets mobiles communicants autonomes

Analyse symbolique et inférence de modèles métaboliques

Étude de l’effet de la réplication de fichiers d’entrée sur l’efficacité et la robustesse d’un ensemble de calculs

SN cartésien massivement parallèle pour la simulation neutronique

Services e-santé sensibles au contexte dans les espaces intelligents

Un cadre inter-couches pour la protection contre les interférences dans les réseaux ad-hoc radio cognitive

Sémantique formelle et vérification automatique de scénarios hiérarchiques multimédia avec des choix interactifs

Définissabilité et synthèse de transductions

Généralisation de modèles métaboliques par connaissances

Optimisations des solveurs linéaires creux hybrides basés sur une approche par complément de Schur et décomposition de domaine

Modélisation des architecture multi-cœur par des mesures de performance

Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800: Dépôts récents

Conception d'algorithmes numériques pour la résilience en algèbre linéaire ﻿

Analyse statique/dynamique pour la validation et l'amélioration des applications parallèles multi-modèles ﻿

Contributions à l'amélioration de l'extensibilité de simulations parallèles de plasmas turbulents ﻿

Sécurité des réseaux de capteurs et des communications véhiculaires ﻿

Expressivité des automates pondérés circulaires et boustrophédons ﻿

Mise au point d'un formalisme syntaxique de haut niveau pour le traitement automatique des langues ﻿

Contribution à la parallélisation et au passage à l'échelle du code FLUSEPA ﻿

Approche réseau basée sur la conscience du contenu pour l’optimisation de l’exploitation des ressources au sein d’environnements virtualisés ﻿

Algorithmique et applications pour les flottes hétérogènes multiniveaux de matériels mobiles communicants autonomes ﻿

Découverte de services et collaboration au sein d'une flotte hétérogène et hautement dynamique d'objets mobiles communicants autonomes ﻿

Analyse symbolique et inférence de modèles métaboliques ﻿

Étude de l’effet de la réplication de fichiers d’entrée sur l’efficacité et la robustesse d’un ensemble de calculs ﻿

SN cartésien massivement parallèle pour la simulation neutronique ﻿

Services e-santé sensibles au contexte dans les espaces intelligents ﻿

Un cadre inter-couches pour la protection contre les interférences dans les réseaux ad-hoc radio cognitive ﻿

Sémantique formelle et vérification automatique de scénarios hiérarchiques multimédia avec des choix interactifs ﻿

Définissabilité et synthèse de transductions ﻿

Généralisation de modèles métaboliques par connaissances ﻿

Optimisations des solveurs linéaires creux hybrides basés sur une approche par complément de Schur et décomposition de domaine ﻿

Modélisation des architecture multi-cœur par des mesures de performance ﻿