منابع مشابه
Politiques de gestion de protections pour l'implémentation de sections critiques
L’exploitation des architectures multicœurs repose sur une bonne gestion du parallélisme à l’intérieur des applications. Une telle gestion nécessite notamment d’éviter les conflits d’accès (ou race conditions) aux variables partagées entre plusieurs processus. Ceci peut se faire par l’introduction de sections critiques destinées à protéger les accès à ces variables. L’exécution atomique de ces ...
متن کاملAnalyse de dépendances ML pour les évaluateurs de logiciels critiques
Critical software needs to obtain an assessment before commissioning in order to ensure compliance with standards. This assessment is given after a long task of software analysis performed by assessors. They may be helped by tools, used interactively, to build models using information-flow analyses. Tools like SPARK-Ada exist for Ada subsets used for critical software. But some emergent languag...
متن کاملGérer les premières impressions de compétence et de chaleur à travers des indices non verbaux
In the context of IMPRESSIONS project, we analyzed a corpus of human-human interactions with both discrete and continuous annotations, in order to investigate nonverbal cues associated to warmth and competence impressions. Preliminary results show an association between perceived competence variations (increase or decrease) and smile, type of gestures and some arms rest poses.
متن کاملThèse De Doctorat De L ’ Université Pierre Et Marie Curie
This thesis proposes a mathematical framework for studying feedback effects and endogenous risk in financial markets. We propose a multi-period model of a financial market with multiple assets, which takes into account the price impact generated by large shifts in supply and demand from financial institutions. Chapter 1 reviews the existing empirical and theoretical literature on feedback effec...
متن کاملberman et les instruments critiques de traduction
pour la première fois un philosophe traductologue, antoine berman, offre ses expériences basées sur l‟école de la traduction des romantiques allemands. ses cours sont publiés plus tard dans un livre intitulé la traduction et la lettre ou l’auberge du lointain (1999). au contraire des théoriciens traditionnels qui voulaient la restitution embellissant du sens et les analystes de certaines traduc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Critique d’art
سال: 2011
ISSN: 1246-8258,2265-9404
DOI: 10.4000/critiquedart.1305