Literatura académica sobre el tema "Verrous distribués"

The overwhelming majority of bladder cancers are transitional cell carcinomas. Albeit mostly monotonous, carcinomas in the bladder may occasionally display a broad spectrum of histological features that should be recognized by pathologists because some of them represent a diagnostic problem and/or lead prognostic implications. Sometimes these features are focal in the context of conventional transitional cell carcinomas, but some others are generalized across the tumor making its recognition a challenge. For practical purposes, the review distributes the morphologic spectrum of changes in architecture and cytology. Thus, nested and large nested, micropapillary, myxoid stroma, small tubules and adenoma nephrogenic-like, microcystic, verrucous, and diffuse lymphoepithelioma-like, on one hand, and plasmacytoid, signet ring, basaloid-squamous, yolk-sac, trophoblastic, rhabdoid, lipid/lipoblastic, giant, clear, eosinophilic (oncocytoid), and sarcomatoid, on the other, are revisited. Key histological and immunohistochemical features useful in the differential diagnosis are mentioned. In selected cases, molecular data associated with the diagnosis, prognosis, and/or treatment are also included.

La myopie est un problème mondial de santé publique et avec sa prévalence croissante, on s’intéresse de plus en plus à sa prévention précoce. Cependant il y a un manque d’informations sur les interventions adoptées par les professionnels de la santé visuelle à l’échelle Marocain pour la prise en charge de la myopie chez les enfants, cette étude vise à évaluer leurs connaissances et à les sensibiliser sur l’impact des facteurs environnementaux susceptibles d’influencer le risque de la progression de la myopie. Afin d’atteindre ces objectifs, une enquête en ligne a été distribuée aux spécialistes de la vue du pays, comprend un questionnaire évaluant leur maîtrise des différentes méthodes disponibles pour le traitement de la myopie, leur niveau de préoccupation face à son évolution chez les enfants ainsi que leur opinion sur l’impact des facteurs environnementaux sur son apparition et sa croissance. Les résultats indiquent que la plupart des professionnels consultés sont préoccupés par cette pandémie, cependant ils ne proposent actuellement que des verres simples foyer et des lentilles de contact souples ce qui indique la nécessité de formations professionnelles visant à éduquer les spécialistes aux approches cliniques de gestion de la myopie. Cela les encouragerait à adopter d’autres solutions pour prendre en charge les enfants myopes et à accorder une attention particulière aux facteurs environnementaux qui influent sur l’apparition et la progression de la myopie.

La conception d'applications distribuées implique fondamentalement un compromis entre la sûreté et les performances. Nous nous concentrons sur les cas où la sûreté est la principale exigence. Dans le cadre des systèmes distribués basés sur l'état, nous proposons une méthodologie de preuve pour établir qu'une application donnée maintient un invariant donné. Notre approche permet de raisonner sur les opérations individuelles séparément. Nous démontrons que nos règles sont correctes et, à l'aide d'un moteur de preuve, nous illustrons leur utilisation par quelques exemples représentatifs. Pour les opérations conflictuelles, le développeur peut choisir entre la résolution de conflit ou la coordination. Nous présentons une nouvelle structure de données en forme d'arbre répliqué qui prend en charge les déplacements atomiques concurrents sans coordination et qui maintient l'invariant de l'arbre. Notre analyse identifie les cas où les déplacements concurrents sont intrinsèquement sûrs. Pour les autres cas, nous concevons un algorithme de résolution des conflits. La contrepartie est que dans certains cas, une opération de déplacement est "perdante". Étant donné la coordination requise par certaines applications pour la sûreté, elle peut être implémentée de nombreuses façons différentes. Même en se limitant aux verrous, ceux-ci peuvent utiliser diverses configurations qui diffèrent par: la granularité, le type et le placement. La performance de chaque configuration dépend de la charge de travail. Nous étudions le "treillis de coordination", l'espace de conception des configurations de verrouillage, et définissons un ensemble de mesures pour y naviguer systématiquement
Designing distributed applications involves a fundamental trade-off between safety and performance as described by CAP theorem. We focus on the cases where safety is the top requirement.For the subclass of state-based distributed systems, we propose a proof methodology for establishing that a given application maintains a given invariant. Our approach allows reasoning about individual operations separately. We demonstrate that our rules are sound, and with a mechanized proof engine, we illustrate their use with some representative examples. For conflicting operations, the developer can choose between conflict resolution or coordination. We present a novel replicated tree data structure that supports coordination-free concurrent atomic moves, and arguably maintains the tree invariant. Our analysis identifies cases where concurrent moves are inherently safe. For the remaining cases we devise a conflict resolution algorithm. The trade-off is that in some cases a move operation "loses". Given the coordination required by some application for safety, it can be implemented in many different ways. Even restricting to locks, they can use various configurations, differing by lock granularity, type, and placement. The performance of each configuration depends on workload. We study the "coordination lattice", i.e., design space of lock configurations, and define a set of metrics to systematically navigate them

A l'heure actuelle, l'industrie représente environ le tiers de la consommation énergétique et des émissions de CO2. Des opportunités substantielles existent pour faire face aux enjeux environnementaux et économiques, passant par l'efficacité énergétique en général et l'utilisation de l'énergie, en particulier dans les parcs industriels. Les Systèmes à Energie Distribuée (SED) correspondent en ce sens à une solution courante et prometteuse. Nous avons donc entrepris une démarche d'approche globale de site, incluant l'agrégation de l'ensemble des variables énergétiques, économiques, environnementales et managériales influentes dans une installation de ce type. Une mise en application sur une installation pilote et sa validation ont permis d'identifier les verrous scientifiques et techniques et de mesurer pertinence et efficacité des éléments et modes opératoires des systèmes en mode stationnaire. Cette étude offre une méthode d'utilisation coopérative des indicateurs des domaines impactés et ouvre également des perspectives sur des développements en mode dynamique à des fins d'aide à la conduite optimale
Nowadays, industry accounts for about one third of energy consumption and CO2 emissions. Substantial opportunities exist to address environmental and economic challenges, including energy efficiency in general and the use of energy, especially in industrial parks. Distributed Energy Systems (DES) correspond in this sense to a common and promising solution. We have therefore undertaken a global site approach, including the aggregation of all influential energy, economic, environmental and managerial variables in an installation of this type. Implementation on a pilot plant and its validation have made it possible to identify the scientific and technical locks and to measure the relevance and efficiency of the elements and stationary operating modes of the systems. This study offers a method of cooperative use of the indicators of impacted domains and also opens perspectives on developments in dynamic mode for the purposes of optimum driving assistance

Nous proposons Dido, un langage dédié (DSL) implicitement parallèle qui capture les spécifications de haut niveau des stencils et génère automatiquement du code parallèle de haute performance pour les architectures à mémoire distribuée. Le code généré utilise ORWL en tant que interface de communication et runtime. Nous montrons que Dido réalise un grand progrès en termes de productivité sans sacrifier les performances. Dido prend en charge une large gamme de calculs stencils ainsi que des applications réelles à base de stencils. Nous montrons que le code généré par Dido est bien structuré et se prête à de différentes optimisations possibles. Nous combinons également la technique de génération de code de Dido avec Pluto l'optimiseur polyédrique de boucles pour améliorer la localité des données. Nous présentons des expériences qui prouvent l'efficacité et la scalabilité du code généré qui atteint de meilleures performances que les implémentations ORWL et MPI écrites à la main
In this work, we present Dido, an implicitly parallel domain-specific language (DSL) that captures high-level stencil abstractions and automatically generates high-performance parallel stencil code for distributed-memory architectures. The generated code uses ORWL as a communication and synchronization backend. We show that Dido achieves a huge progress in terms of programmer productivity without sacrificing the performance. Dido supports a wide range of stencil computations and real-world stencil-based applications. We show that the well-structured code generated by Dido lends itself to different possible optimizations and study the performance of two of them. We also combine Dido's code generation technique with the polyhedral loop optimizer Pluto to increase data locality and improve intra-node data reuse. We present experiments that prove the efficiency and scalability of the generated code that outperforms both ORWL and MPI hand-crafted implementations