Contributions au calcul exact intensif
Le calcul scientifique est souvent associé au calcul numérique. Pourtant dans de nombreuses disciplines scientifiques il est nécessaire d'aller au-delà du calcul approché : nécessité de certification des résultats, calculs dans des structures mathématiques discrètes, instabilité des algorithmiq...
Main Author: | Dumas, Jean-Guillaume |
---|---|
Language: | fra |
Published: |
Université de Grenoble
2010
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00514925 http://tel.archives-ouvertes.fr/docs/00/51/49/25/PDF/jgdhdr.03092010.hyper.pdf |
Similar Items
-
Validation de métriques de testabilité logicielle pour les programmes objets
by: Shaheen, Muhammad Rabee
Published: (2009) -
Une méthode fondée sur les modèles pour gérer les propriétés temporelles des systèmes à composants logiciels
by: Nguyen, Viet Hoa
Published: (2013) -
Information du Contexte comme une Ressource : Une Approche Orientée Service pour la Sensibilité au Contexte
by: Romero, Daniel
Published: (2011) -
Contractualisation de l'évolution architecturale de logiciels à base de composants : Une approche pour la préservation de la qualité
by: Tibermacine, Chouki
Published: (2006) -
Cube : un framework décentralisé dirigé par l'architecture pour l'auto-gestion des logiciels
by: Debbabi, Bassem
Published: (2014)