Annotations numériques en phase d’exécution

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Différentiation automatique et formes de Taylor en analyse statique de programmes numériques

Résumé Des travaux récents sur l’analyse statique de programmes numériques ont montré que les techniques d’interprétation abstraite étaient adaptées à la validation de la précision des calculs en arithmétique flottante. L’utilisation des intervalles comme domaine numérique, même avec des méthodes de subdivision, induit une sur-approximation des résultats en particulier par l’existence de l’effe...

متن کامل

Dossiers numériques confidentiels et répartis

Companies and organisations produce, use and up-date digital records. We address in this paper the problem of sharing confidential digital records in-between autonomous partners. We propose a solution based on a hierarchy of servers and on XML messages following the Dublin Core recommandation. A prototype system for medical records exchange is presented. MOTS-CLÉS : dossier numérique, partage, ...

متن کامل

La plasticité des documents numériques

This article presents the notion of plasticity for digital documents. We study the multiple manners to present an electronic document, in order to personalize it according to the form and to the content. This adaptation of the document can be made according to several criteria of personalization. We are interested more particularly in the methods of adaptation for the documents according to the...

متن کامل

Taking architecture and compiler into account in formal proofs of numerical programs. (Preuves formelles de programmes numériques en prenant en compte l'architecture et le compilateur)

On some recently developed architectures, a numerical program may give different answersdepending on the execution hardware and the compilation. These discrepancies of the resultscome from the fact that each floating-point computation is calculated with different precisions.The goal of this thesis is to formally prove properties about numerical programs while takingthe architect...

متن کامل

Critique du rapport signal à bruit en communications numériques -- Questioning the signal to noise ratio in digital communications

RÉSUMÉ. On démontre que le rapport signal à bruit, si important en théorie de l'information, devient sans objet pour des communications numériques où la démodulation s'effectue selon des techniques nouvelles d'estimation rapide. Calcul opérationnel, algèbre différentielle, algèbre non commutative et analyse non standard sont les principaux outils mathématiques. ABSTRACT. The signal to noise rat...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: SHS Web of Conferences

سال: 2020

ISSN: 2261-2424

DOI: 10.1051/shsconf/20208203003