|
Tri :
Date de référencement
Editeur
Auteur
Titre
|
Scalable data stream processing in heterogenous environments
Date de publication :
15-12-2025 |
Auteur(s) :
Arsalane Khaled |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Le traitement de flux de données (DSP) dans le continuum edge-cloud hétérogène présente des défis majeurs. L'explosion des applications IoT génère des volumes de données sans précédent nécessitant un traitement en quasi-temps réel. Le continuum edge-cloud étend les infrastructures cloud traditionnelles en intégrant des nœuds de calcul de capacités diverses, introduisant une hétérogénéité réseau et...
Référencé le :
10-06-2026
|
|
Mechanized semantics for circuits : from dataflow to hardware
Date de publication :
20-02-2026 |
Auteur(s) :
Law Tony |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
La synthèse de haut-niveau (HLS) est une méthode pour produire une description de matériel à partir d'une spécification haut-niveau, en général écrite en C. Elle fait ainsi intervenir deux modèles d'exécution différents : en entrée, des programmes séquentiels dirigés par leur flot de contrôle, et en sortie, des circuits parallèles dirigés par leurs flots de données. Des techniques d'ordonnancement...
Référencé le :
03-06-2026
|
|
Time-aware reliability enhancements for safety-critical embedded systems
Date de publication :
06-02-2026 |
Auteur(s) :
Nikiema Pegdwendé Romaric |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Les systèmes embarqués sont davantages vulnérables aux radiations avec l'utilisation de petits transistors, de faibles tension d'allimentation, etc. Les méthodes standards de tolérance aux fautes telles que la redondance par triplication (TMR) induisent des surcoûts en surface. La plupart des travaux sur l'estimation du pire temps d'exécution (WCET), nécessaire pour la guarantie des temps, ne cons...
Référencé le :
02-06-2026
|
|
Beyond divination : stabilizing the interpretability of machine learning algorithms
Date de publication :
23-01-2026 |
Auteur(s) :
Kelodjou Nguenang Zeinabou Gwladys |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Les modèles d’apprentissage automatique présentent des mécanismes de décision souvent opaques et incompréhensibles, ce qui limite leur utilisation dans des domaines sensibles où les prédictions doivent être justifiées pour être exploitables. Les méthodes d’explicabilité visent à rendre ces décisions plus compréhensibles, notamment à travers des techniques d’attribution locales qui expliquent une p...
Référencé le :
19-05-2026
|
|
Advancing brain-computer interfaces by leveraging sensory cues and virtual reality
Date de publication :
04-12-2025 |
Auteur(s) :
Savalle Émile |
Editeur(s) :
Université de Rennes, IRISA RENNES |
Origine de la fiche :
Université de Rennes 1
Les interfaces cerveau–ordinateur (BCI) rendent possible des interactions en décodant l’activité cérébrale. Bien que les méthodes et le traitement du signal aient progressés, les BCI font encore face à des défis tels que le manque de généralisabilité dans les systèmes passifs et la forte variabilité dans les systèmes actifs. Les stimulations sensorielles offrent une voie prometteuse mais encore pe...
Référencé le :
13-05-2026
|
|
Intelligence artificielle embarquée et connectivité cellulaire pour drones : modélisation, optimisation et impacts réseaux
Date de publication :
19-11-2025 |
Auteur(s) :
Le Borgne Antoine |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Cette thèse explore l’optimisation conjointe de l’intelligence artificielle embarquée et de la connectivité cellulaire pour les drones autonomes opérant en environnement réel. À l’intersection des réseaux 4G/5G, de l’IA de fondation (LLMs multimodaux) et de l’embarqué, elle propose des architectures hybrides alliant traitements locaux, edge et cloud, capables de s’adapter dynamiquement aux conditi...
Référencé le :
12-05-2026
|
|
Compression audio monocanal par apprentissage profond
Date de publication :
11-12-2025 |
Auteur(s) :
Muller Thomas |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Le domaine de la compression audio, au cœur des applications de transmission et de stockage de la parole, musique et audio général, est bouleversé depuis quelques années par l'utilisation des réseaux de neurones artificiels. La nouvelle génération de codecs qui en découle, les codecs audio neuronaux, démontre des performances très prometteuses, en particulier par leur capacité à compresser à très ...
Référencé le :
23-04-2026
|
|
Apprentissage automatique pour l'analyse et la prédiction de la qualité de service des transports de bus urbains : application au cas réel de la vitesse commerciale du réseau de bus de la métropole de Rennes
Date de publication :
04-12-2025 |
Auteur(s) :
Vincent Erwan |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Améliorer l'efficacité des transports en commun est un enjeu crucial pour les organismes qui en assurent la gestion. Aujourd'hui, grâce à l'essor des données massives et des nouvelles méthodes d'apprentissage automatique, il est de plus en plus facile d'organiser la gestion des services de transport et de comprendre ainsi que de prédire différents critères de performance, comme la vitesse commerci...
Référencé le :
20-03-2026
|
|
Evaluation and protection of compressed network-on-chip communications against hardware trojan attacks
Date de publication :
12-12-2025 |
Auteur(s) :
Amara Hamza |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Les multiprocesseurs sur puce reposent sur les réseaux sur puce (NoCs) pour assurer des communications efficaces entre cœurs. L’augmentation du trafic accroît toutefois la latence et la consommation de bande passante, motivant l’adoption de techniques comme la compression delta et les communications approximatives. Bien qu’elles améliorent performances et efficacité énergétique, ces techniques exp...
Référencé le :
20-03-2026
|
|
Secrets in compiler : detection of secret-related weaknesses in GCC static analyzer
Date de publication :
10-12-2025 |
Auteur(s) :
Philippe Pierrick |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Les systèmes logiciels sont omniprésents dans les sociétés modernes. Qu'il s'agisse de smartphones ou de services publics essentiels, nombre d'entre eux traitent des données sensibles, rendant critique leur protection contre les fuites et les erreurs de gestion de ces données. Parmi les faiblesses récurrentes, comme l'illustrent la CWE-200 et ses descendants, la divulgation involontaire d'informat...
Référencé le :
13-03-2026
|
|