Tri :
Date de référencement
Editeur
Auteur
Titre
|
Parallelization on graphic hardware : contributions to RNA folding and sequence alignment
Date de publication :
12-01-2011 |
Auteur(s) :
Rizk Guillaume |
Editeur(s) :
Universite de Rennes 1, Université européenne de Bretagne |
Origine de la fiche :
Université de Rennes 1
La bioinformatique nécessite l'analyse de grandes quantités de données. Avec l'apparition de nouvelles technologies permettant un séquençage à haut débit à bas coût, la puissance de calcul requise pour traiter les données a énormément augmenté.. Cette thèse examine la possibilité d'utiliser les processeurs graphiques (GPU) pour des applications de bioinformatique. Dans un premier temps, ce travail...
Référencé le :
24-10-2011
|
|
Étude et mise en œuvre d'une méthode de sous-domaines pour la modélisation de l'écoulement dans des réseaux de fractures en 3D
Date de publication :
20-12-2011 |
Auteur(s) :
Poirriez Baptiste |
Editeur(s) :
Universite de Rennes 1, Université européenne de Bretagne |
Origine de la fiche :
Université de Rennes 1
Les ressources souterraines fournissent une part importante de l’eau douce de notre planète. Notre travail s’inscrit dans une démarche de protection de cette ressource vitale par la modélisation et la simulation numérique. Couplée aux études de terrains, la simulation numérique est en effet un outil indispensable, du fait de l’incertitude sur le milieu géologique. Cette incertitude conduit à une a...
Référencé le :
06-04-2012
|
|
De la nécessité d’une vision holistique du code pour l’analyse statique et la correction automatique des applications Web
Date de publication :
08-12-2011 |
Auteur(s) :
Levointurier Christophe |
Editeur(s) :
Universite de Rennes 1, Université européenne de Bretagne |
Origine de la fiche :
Université de Rennes 1
L'omniprésence de l'informatique a comme conséquences, parmi d'autres, la multiplication du volume logiciel existant et en cours de développement pour répondre à une demande toujours croissante. Cette course à la productivité implique une industrialisation de la production de code sous contrôle qualitatif de plus en plus exigeante.Cette thèse tend à repousser des limites constatées dans le domaine...
Référencé le :
16-04-2012
|
|
Simulation du comportement de suivi dans une foule de piétons à travers l'expérience, l'analyse et la modélisation
Date de publication :
11-04-2012 |
Auteur(s) :
Lemercier Samuel |
Editeur(s) :
Universite de Rennes 1, Université européenne de Bretagne |
Origine de la fiche :
Université de Rennes 1
La simulation réaliste de foule est un problème ouvert et difficile à cause de la multitude d'informations qui sont prises en compte par un humain pour déterminer sa trajectoire de marche. Dans cette thèse nous cherchons à modéliser puis à simuler de manière aussi réaliste que possible les interactions de suivis entre individus se déplaçant dans les foules. Nous proposons une approche en trois gra...
Référencé le :
17-08-2012
|
|
Throughput-oriented analytical models for performance estimation on programmable hardware accelerators
Date de publication :
15-02-2013 |
Auteur(s) :
Lai Junjie |
Editeur(s) :
Université de Rennes 1, Université européenne de Bretagne |
Origine de la fiche :
Université de Rennes 1
Durant cette thèse, nous avons principalement travaillé sur deux sujets liés à l'analyse de la performance GPU (Graphics Processing Unit - Processeur graphique). Dans un premier temps, nous avons développé une méthode analytique et un outil d'estimation temporel (TEG) pour prédire les performances d'applications CUDA s’exécutant sur des GPUs de la famille GT200. Cet outil peut prédire les performa...
Référencé le :
26-08-2013
|
|
Passive interoperability testing for communication protocols
Date de publication :
24-06-2013 |
Auteur(s) :
Chen Nanxing |
Editeur(s) :
Université de Rennes 1, Université européenne de Bretagne |
Origine de la fiche :
Université de Rennes 1
Dans le domaine des réseaux, le test de protocoles de communication est une activité importante afin de valider les protocoles applications avant de les mettre en service. Généralement, les services qu'un protocole doit fournir sont décrits dans sa spécification. Cette spécification est une norme ou un standard défini par des organismes de normalisation tels que l'ISO (International Standards Orga...
Référencé le :
28-09-2013
|
|
Mécanismes de collaboration entre réseaux et services applicatifs pour l'optimisation des ressources et des services
Date de publication :
02-07-2013 |
Auteur(s) :
Ellouze Selim |
Editeur(s) :
Université de Rennes 1, Université européenne de Bretagne |
Origine de la fiche :
Université de Rennes 1
Dans cette nouvelle ère du numérique, l'accès à l'information est entré désormais dans une autre dimension. Nous assistons à la dominance d'un modèle fondé sur les opportunités offertes par un accès mondialisé à l'Internet et à son application phare : le "World Wide Web". Les services se sont multipliés. Les terminaux se sont diversifiés. Les technologies de transport se sont améliorées. Les atten...
Référencé le :
09-10-2013
|
|
Simulation d'évènements rares par Monte Carlo dans les réseaux hautement fiables
Date de publication :
08-07-2013 |
Auteur(s) :
Saggadi Samira |
Editeur(s) :
Université de Rennes 1, Université européenne de Bretagne |
Origine de la fiche :
Université de Rennes 1
Le calcul de la fiabilité des réseaux est en général un problème NP-difficile. On peut par exemple s’intéresser à la fiabilité des systèmes de télécommunications où l'on veut évaluer la probabilité qu’un groupe sélectionné de nœuds peuvent communiquer. Dans ce cas, un ensemble de nœuds déconnectés peut avoir des conséquences critiques, que ce soit financières ou au niveau de la sécurité. Une estim...
Référencé le :
30-10-2013
|
|
Analyse numérique de méthodes performantes pour les EDP stochastiques modélisant l'écoulement et le transport en milieux poreux
Date de publication :
06-06-2013 |
Auteur(s) :
Oumouni Mestapha |
Editeur(s) :
Université de Rennes 1, Université européenne de Bretagne, Université Ibn Tofail. Faculté des sciences de Kénitra |
Origine de la fiche :
Université de Rennes 1
Ce travail présente un développement et une analyse des approches numériques déterministes et probabilistes efficaces pour les équations aux dérivées partielles avec des coefficients et données aléatoires. On s'intéresse au problème d'écoulement stationnaire avec des données aléatoires. Une méthode de projection dans le cas unidimensionnel est présentée, permettant de calculer efficacement la moye...
Référencé le :
31-10-2013
|
|
Static analysis of numerical properties in the presence of pointers
Date de publication :
22-07-2013 |
Auteur(s) :
Fu Zhoulai |
Editeur(s) :
Université de Rennes 1, Université européenne de Bretagne, Université Rennes 1 |
Origine de la fiche :
Université de Rennes 1
Si la production de logiciel fiable est depuis longtemps la préoccupation d'ingénieurs, elle devient à ce jour une branche de sujets de recherche riche en applications, dont l'analyse statique. Ce travail a porté sur l'analyse statique de programmes et, plus précisément, sur l'analyse des propriétés numériques. Ces analyses sont traditionnellement basées sur le concept de domaine abstrait. Le prob...
Référencé le :
23-11-2013
|
|