Tri :
Date de référencement
Editeur
Auteur
Titre
|
On the mechanized verification of the meta-theory of contracts and its instantiation to differential dynamic logic
Date de publication :
05-05-2023 |
Auteur(s) :
Kastenbaum Stéphane |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
L'augmentation de la complexité et de l'hétérogénéité des systèmes critiques pose un défi dans leur conception et leur assurance de sécurité. Les méthodes formelles sont utilisées pour valider les modèles de système, mais la difficulté réside dans la vérification de la sécurité du système global à partir des spécifications de composants validées. La théorie des contrats résout ce problème en utili...
Référencé le :
01-09-2023
|
|
Deep software variability for resilient performance models of configurable systems
Date de publication :
17-04-2023 |
Auteur(s) :
Lesoil Luc |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Les systèmes logiciels sont fortement configurables, au sens où les utilisateurs peuvent adapter leur compilation et leur exécution grâce à des configurations. Mais toutes ces configurations ne se valent pas, et certaines d'entre elles seront nettement plus efficaces que d'autres en terme de performance. Pour l'être humain, il est complexe d'appréhender et de comparer les les différentes possibili...
Référencé le :
28-08-2023
|
|
Modélisation de mouvements réactifs et comportements non verbaux pour la création d'acteurs digitaux pour la réalité virtuelle
Date de publication :
27-02-2023 |
Auteur(s) :
Jovane Alberto |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Cette thèse explore des solutions pour enrichir les interactions des utilisateurs avec les humains virtuels. Nous nous concentrons sur les caractéristiques non-verbales du mouvement, sur la façon dont elles sont représentées par les agents virtuels, et sur la façon d'adapter ces éléments pour doter les humains virtuels de capacités expressives dynamiques. Dans ce contexte, nous proposons un systèm...
Référencé le :
28-08-2023
|
|
Contributions to the scalability of automatic precision tuning
Date de publication :
10-03-2023 |
Auteur(s) :
Ha Van-Phu |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
La consommation d'énergie est l'un des problèmes majeurs de l'informatique aujourd'hui, du calcul haute performance aux systèmes embarqués. Ces dernières années, l'approximation des calculs a reçu un regain d'intérêt pour améliorer l'efficacité énergétique. De nombreuses applications n'exigent pas une précision élevée, et les techniques de calcul approximatif augmentent l'espace de conception en f...
Référencé le :
25-08-2023
|
|
Indexing and analysis of large sequencing collections using k-mer matrices
Date de publication :
16-12-2022 |
Auteur(s) :
Lemane Téo |
Editeur(s) :
Universite de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Le 21ème siècle subit un tsunami de données dans de nombreux domaines, notamment en bio-informatique. Ce changement de paradigme nécessite le développement de nouvelles méthodes de traitement capables de passer à l'échelle sur de telles données. Ce travail consiste principalement à considérer des jeux de données massifs provenant du séquençage génomique. Une façon courante de traiter ces données e...
Référencé le :
23-08-2023
|
|
Representation of uncertainty and imprecision between clusters with belief functions
Date de publication :
18-01-2022 |
Auteur(s) :
Zhang Zuowei |
Editeur(s) :
Universite de Rennes 1, Northwestern Polytechnical University (Chine) |
Origine de la fiche :
Université de Rennes 1
Le clustering crédibiliste fondé sur la théorie des fonctions de croyance est devenu un sujet important de la fouille de données en raison de sa capacité à caractériser l'incertitude et l'imprécision entre les clusters. Cependant, il existe encore des problèmes tels que l'ambiguïté des concepts de base, la complexité de calcul élevée et l'incapacité à détecter efficacement les clusters déséquilibr...
Référencé le :
21-08-2023
|
|
Learning on graphs and hierarchies
Date de publication :
24-02-2023 |
Auteur(s) :
Pereira de Almeida Raquel |
Editeur(s) :
Université de Rennes, Pontifícia universidade católica de Minas Gerais (Brésil) |
Origine de la fiche :
Université de Rennes 1
Les hiérarchies, telles que décrites dans la morphologie mathématique, représentent des régions d'intérêt imbriquées et fournissent des mécanismes pour créer des concepts et une organisation cohérente des données. Elles facilitent l'analyse de haut niveau et la gestion de grandes quantités de données. Représentées sous forme d'arbres hiérarchiques, elles ont des formalismes croisés avec la théorie...
Référencé le :
11-07-2023
|
|
Stateful application migration in geo-distributed systems
Date de publication :
23-11-2022 |
Auteur(s) :
Rodrigues de Souza Junior Paulo Ricardo |
Editeur(s) :
Universite de Rennes 1 |
Origine de la fiche :
Université de Rennes 1
La production massive de données est un phénomène de plus en plus exploré, notamment pour extraire de la valeur des données en temps réel. Dans ce contexte, il est nécessaire d’assurer la continuité et la qualité des services dans les applications sensibles à la latence. Le Fog Computing offre une communication à faible latence et répond aux exigences de ces applications émergentes. En revanche, i...
Référencé le :
16-06-2023
|
|
Hardware accelerated simulation and automatic design of heterogeneous architecture
Date de publication :
15-03-2023 |
Auteur(s) :
Cong Minh Thanh |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
La conception de plates-formes de système sur puce hétérogènes est complexe avec de nombreuses combinaisons possibles. La simulation détaillée de différentes solutions est nécessaire pour déterminer le meilleur design. Les environnements de simulation existants (tels que gem5) sont limités car purement logiciels et ne prennent pas en compte les architectures hétérogènes. Pour pallier ces limitatio...
Référencé le :
12-05-2023
|
|
Quantization and adversarial robustness of embedded deep neural networks
Date de publication :
24-03-2023 |
Auteur(s) :
Allenet Thibault |
Editeur(s) :
Université de Rennes |
Origine de la fiche :
Université de Rennes 1
Les réseaux de neurones convolutifs et les réseaux neurones récurrents (RNN) ont été largement utilisés dans de nombreux domaines tels que la vision par ordinateur, le traitement naturel du langage et le traitement du signal. Néanmoins, la charge de calcul et le besoin en bande passante mémoire impliqués dans l'inférence des réseaux de neurones profonds empêchent souvent leur déploiement sur des c...
Référencé le :
12-05-2023
|
|