Zobrazeno 1 - 10
of 34
pro vyhledávání: '"applications distribuées"'
Autor:
Mosli Bouksiaa, Mohamed Said
Comprendre les performances d'une application multi-thread est difficile. Les threads interfèrent quand ils accèdent à la même ressource, ce qui ralentit leur exécution. Malheureusement, les outils de profiling existants se focalisent sur l'iden
Externí odkaz:
http://www.theses.fr/2018SACLL001/document
Publikováno v:
Actes des 15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels
15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), en collaboration avec les journées du GDR GPL
15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), en collaboration avec les journées du GDR GPL, Jun 2016, Besançon, France. pp. 94-100
15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), en collaboration avec les journées du GDR GPL
15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), en collaboration avec les journées du GDR GPL, Jun 2016, Besançon, France. pp. 94-100
International audience; Nous présentons une méthodologie basée sur le raffinement manuel et automatique pour le développement d’applications distribuées correctes par construction. À partir d’un modèle Event-B, le processus étudié défin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7fb33852ef37e67c8729959a6fa65b0e
https://oatao.univ-toulouse.fr/17057/
https://oatao.univ-toulouse.fr/17057/
Autor:
Guthmuller, Marion
Alors que l'informatique est devenue omniprésente dans notre société actuelle, assurer la qualité d'un logiciel revêt une importance grandissante. Pour accroître cette qualité, l'une des conditions à respecter est la correction du système. D
Externí odkaz:
http://www.theses.fr/2015LORR0090/document
Autor:
Fouquet, François
La complexité croissante des systèmes d'information modernes a motivé l'apparition de nouveaux paradigmes (objets, composants, services, etc), permettant de mieux appréhender et maîtriser la masse critique de leurs fonctionnalités. Ces système
Externí odkaz:
http://www.theses.fr/2013REN1S076/document
Autor:
Fouquet, François
Publikováno v:
Autre [cs.OH]. Université de Rennes, 2013. Français. ⟨NNT : 2013REN1S076⟩
Autre [cs.OH]. Université Rennes 1, 2013. Français. ⟨NNT : 2013REN1S076⟩
Autre [cs.OH]. Université Rennes 1, 2013. Français. ⟨NNT : 2013REN1S076⟩
The growing complexity of modern IT systems has motivated the development of new paradigms (objects, components, services,...) to better cope with the critical size of their functionalities. Such systems are then built as a modular and dynamically ad
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2e84cb59502a150e5d6b44e441158d54
https://theses.hal.science/tel-00831018v2/file/FOUQUET_Francois.pdf
https://theses.hal.science/tel-00831018v2/file/FOUQUET_Francois.pdf
Autor:
Rosa, Cristian
Les systèmes distribués sont au coeur des technologies de l'information.Il est devenu classique de s'appuyer sur multiples unités distribuées pour améliorer la performance d'une application, la tolérance aux pannes, ou pour traiter problèmes d
Externí odkaz:
http://www.theses.fr/2011NAN10113/document
Autor:
Madelaine, Eric
Depuis 2001 j'ai développé au sein de l'équipe Oasis des travaux de recherche sur la sémantique des applications à base d'objets distribués, appliquant dans le contexte d'un vrai langage, et d'applications de taille réelle, mes recherches pré
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00625248
http://tel.archives-ouvertes.fr/docs/00/62/52/48/PDF/hdr_Eric_Madelaine.pdf
http://tel.archives-ouvertes.fr/docs/00/62/52/48/PDF/hdr_Eric_Madelaine.pdf
Autor:
Said, Romeo
Les réseaux mobiles ad hoc (MANETs) se forment spontanément à partir de terminaux mobiles qui communiquent en utilisant des interfaces sans fil à faible portée (e.g. Wi-Fi, Bluetooth). Dans la plupart des réseaux ad hoc déployés dans des cond
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00596996
http://tel.archives-ouvertes.fr/docs/00/59/69/96/PDF/these.pdf
http://tel.archives-ouvertes.fr/docs/00/59/69/96/PDF/these.pdf
Autor:
Said, Romeo
Mobile ad hoc networks (MANETs) are spontaneously formed out of mobile devices that communicate thanks to short-range wireless communication capabilities (e.g. Wi-Fi, Bluetooth). In many ad hoc networks deployed in real conditions, mobile devices can
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::b65e891fb53da3f48856e91b3bed89dc
https://theses.hal.science/tel-00596996
https://theses.hal.science/tel-00596996
Autor:
Rosa, Cristian
Publikováno v:
Other [cs.OH]. Université Henri Poincaré-Nancy 1, 2011. English. ⟨NNT : 2011NAN10113⟩
Distributed systems are in the mainstream of information technology. It has become standard to rely on multiple distributed units to improve the performance of the application, help tolerate component failures, or handle problems too large to fit in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::bec7befc3683b067ac8a153eb0866e8a
https://hal.univ-lorraine.fr/tel-01746271
https://hal.univ-lorraine.fr/tel-01746271