950 resultados para Symbolic Execution


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Throughout history, nuclear weapons have been considered to be the ultimate weapons. This understanding largely detached them from the portfolio of conventional military means and assigned them a symbolic meaning that influenced the identity and norms creation of nations. In most countries today, the development of nuclear weapons is considered morally prohibitive, incompatible with a country’s identity and international outlook. In some states, however, these negative norms are overridden by a positive set of norms, causing nuclear weapons to become either symbols of invulnerability to perceived threats or the regalia of major power status. Main purpose of this paper is to explore on the conditions that cause most states to develop a moral aversion to nuclear weapons, yet effectively lead to their glorification in others. Many studies on the normative understanding of nuclear weapons consider the existence of a negative normative predisposition, often referred to as ‘nuclear taboo’, as a major factor in preventing their acquisition and use. Other studies acknowledge the existence of a nuclear taboo inhibiting the use of nuclear weapons, but point to the existence of the opposing effect of norms, frequently referred to as the ‘nuclear myth’, when it comes to the acquisition of nuclear weapons. This myth emerges when certain symbolic meanings are attached to nuclear weapons, such as a state’s identity, self-image, and its desired position in the international system. With 180 odd countries in the world abstaining from the acquisition of nuclear weapons and 8 countries in possession of them (with two further countries assumed to have pursued their acquisition), one might consider the dominance of the nuclear taboo over the nuclear myth to be the rule. The core question is thus why and how this relationship reversed in the case of defectors.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Two claims pervade the literature on the political economy of market reforms: that economic crises cause reforms; and that crises matter because they bring into question the validity of the economic model held to be responsible for them. Economic crises are said to spur a process of learning that is conducive to the abandonment of failing models and to the adoption of successful models. But although these claims have become the conventional wisdom, they have been hardly tested empirically due to the lack of agreement on what constitutes a crisis and to difficulties in measuring learning from them. I propose a model of rational learning from experience and apply it to the decision to open the economy. Using data from 1964 through 1990, I show that learning from the 1982 debt crisis was relevant to the first wave of adoption of an export promotion strategy, but learning was conditional on the high variability of economic outcomes in countries that opened up to trade. Learning was also symbolic in that the sheer number of other countries that liberalized was a more important driver of others’ decisions to follow suit.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The objective of this work was to develop an easily applicable technique and a standardized protocol for high-quality post-mortem angiography. This protocol should (1) increase the radiological interpretation by decreasing artifacts due to the perfusion and by reaching a complete filling of the vascular system and (2) ease and standardize the execution of the examination. To this aim, 45 human corpses were investigated by post-mortem computed tomography (CT) angiography using different perfusion protocols, a modified heart-lung machine and a new contrast agent mixture, specifically developed for post-mortem investigations. The quality of the CT angiographies was evaluated radiologically by observing the filling of the vascular system and assessing the interpretability of the resulting images and by comparing radiological diagnoses to conventional autopsy conclusions. Post-mortem angiography yielded satisfactory results provided that the volumes of the injected contrast agent mixture were high enough to completely fill the vascular system. In order to avoid artifacts due to the post-mortem perfusion, a minimum of three angiographic phases and one native scan had to be performed. These findings were taken into account to develop a protocol for quality post-mortem CT angiography that minimizes the risk of radiological misinterpretation. The proposed protocol is easy applicable in a standardized way and yields high-quality radiologically interpretable visualization of the vascular system in post-mortem investigations.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Un reto al ejecutar las aplicaciones en un cluster es lograr mejorar las prestaciones utilizando los recursos de manera eficiente, y este reto es mayor al utilizar un ambiente distribuido. Teniendo en cuenta este reto, se proponen un conjunto de reglas para realizar el cómputo en cada uno de los nodos, basado en el análisis de cómputo y comunicaciones de las aplicaciones, se analiza un esquema de mapping de celdas y un método para planificar el orden de ejecución, tomando en consideración la ejecución por prioridad, donde las celdas de fronteras tienen una mayor prioridad con respecto a las celdas internas. En la experimentación se muestra el solapamiento del computo interno con las comunicaciones de las celdas fronteras, obteniendo resultados donde el Speedup aumenta y los niveles de eficiencia se mantienen por encima de un 85%, finalmente se obtiene ganancias de los tiempos de ejecución, concluyendo que si se puede diseñar un esquemas de solapamiento que permita que la ejecución de las aplicaciones SPMD en un cluster se hagan de forma eficiente.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

El principal objectiu d'aquest treball és proporcionar una metodologia per a reduir el temps de càlcul del mètode d'interpolació kriging sense pèrdua de la qualitat del model resultat. La solució adoptada ha estat la paral·lelització de l'algorisme mitjançant MPI sobre llenguatge C. Prèviament ha estat necessari automatitzar l'ajust del variograma que millor s'adapta a la distribució espacial de la variable d'estudi. Els resultats experimentals demostren la validesa de la solució implementada, en reduir de forma significativa els temps d'execució final de tot el procés.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A mesura que la complexitat de les tasques dels agents mòbils va creixent, és més important que aquestes no perdin el treball realitzat. Hem de saber en tot moment que la execució s’està desenvolupant favorablement. Aquest projecte tracta d’explicar el procés d’elaboració d’un component de tolerància a fallades des de la seva idea inicial fins a la seva implementació. Analitzarem la situació i dissenyarem una solució. Procurarem que el nostre component emmascari la fallada d’un agent, detectant-la i posteriorment recuperant l’execució des d’on s’ha interromput. Tot això procurant seguir la metodologia de disseny d’agents mòbils per a plataformes lleugeres.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

CISNE es un sistema de cómputo en paralelo del Departamento de Arquitectura de Computadores y Sistemas Operativos (DACSO). Para poder implementar políticas de ordenacción de colas y selección de trabajos, este sistema necesita predecir el tiempo de ejecución de las aplicaciones. Con este trabajo se pretende proveer al sistema CISNE de un método para predecir el tiempo de ejecución basado en un histórico donde se almacenarán todos los datos sobre las ejecuciones.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Purpose: Organ transplantation is a biological and psychological challenge and graft acceptance is an important achievement for patients. Patients' concerns toward the deceased donor and the organ may contribute to this process. Method: Forty-seven patients involved in heart (N=9), liver (N=8), lung (N=14) and kidney (N=16) transplantation participated in IRB-approved longitudinal semi-structured interviews: (T1) registered on the waiting-list, (T2) six months and (T3) twelve months after transplantation. Qualitative pattern analysis (QUAPA) was carried out on the verbatim transcripts and concerns about the donor and the organ were then analysed. Results: - Donor's representation: At T1, patients were reluctant to talk about the donor: 27% expressed culpability and 19% accepted the clause of anonymity. At T2, intense emotions were associated with the reminiscing about the donor and 45% highlighted the generosity of his/her act. In addition, heart, lung and kidney recipients were concerned about the donor's identity: 42% challenged the clause of anonymity. Liver recipients complained about anonymity, but could nevertheless cope with it. At T3, 47% of heart, lung and kidney recipients thought daily of the donor and 33% were still looking for information about him/her. Liver recipients rarely have thoughts about the donor. - Organ representation: At T1, organ descriptions were biomedical (49% of the interviewees) and more rarely, mainly heart candidates, referred to the symbolic meaning of the organ. After transplantation (T2-T3), function was underlined. Acceptance and organ integration were associated with post-operative outcomes (23%) and psychological well-being (45%). Some patients (32%) inferred the donor's personality from the organ quality and felt privileged having received an organ in such a good state. Conclusion: Donor's representations should be explored during the transplantation process as they play an important role in the psychological acceptance of the graft.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

As computer chips implementation technologies evolve to obtain more performance, those computer chips are using smaller components, with bigger density of transistors and working with lower power voltages. All these factors turn the computer chips less robust and increase the probability of a transient fault. Transient faults may occur once and never more happen the same way in a computer system lifetime. There are distinct consequences when a transient fault occurs: the operating system might abort the execution if the change produced by the fault is detected by bad behavior of the application, but the biggest risk is that the fault produces an undetected data corruption that modifies the application final result without warnings (for example a bit flip in some crucial data). With the objective of researching transient faults in computer system’s processor registers and memory we have developed an extension of HP’s and AMD joint full system simulation environment, named COTSon. This extension allows the injection of faults that change a single bit in processor registers and memory of the simulated computer. The developed fault injection system makes it possible to: evaluate the effects of single bit flip transient faults in an application, analyze an application robustness against single bit flip transient faults and validate fault detection mechanism and strategies.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Performance analysis is the task of monitor the behavior of a program execution. The main goal is to find out the possible adjustments that might be done in order improve the performance. To be able to get that improvement it is necessary to find the different causes of overhead. Nowadays we are already in the multicore era, but there is a gap between the level of development of the two main divisions of multicore technology (hardware and software). When we talk about multicore we are also speaking of shared memory systems, on this master thesis we talk about the issues involved on the performance analysis and tuning of applications running specifically in a shared Memory system. We move one step ahead to take the performance analysis to another level by analyzing the applications structure and patterns. We also present some tools specifically addressed to the performance analysis of OpenMP multithread application. At the end we present the results of some experiments performed with a set of OpenMP scientific application.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

En termes de temps d'execució i ús de dades, les aplicacions paral·leles/distribuïdes poden tenir execucions variables, fins i tot quan s'empra el mateix conjunt de dades d'entrada. Existeixen certs aspectes de rendiment relacionats amb l'entorn que poden afectar dinàmicament el comportament de l'aplicació, tals com: la capacitat de la memòria, latència de la xarxa, el nombre de nodes, l'heterogeneïtat dels nodes, entre d'altres. És important considerar que l'aplicació pot executar-se en diferents configuracions de maquinari i el desenvolupador d'aplicacions no port garantir que els ajustaments de rendiment per a un sistema en particular continuïn essent vàlids per a d'altres configuracions. L'anàlisi dinàmica de les aplicacions ha demostrat ser el millor enfocament per a l'anàlisi del rendiment per dues raons principals. En primer lloc, ofereix una solució molt còmoda des del punt de vista dels desenvolupadors mentre que aquests dissenyen i evaluen les seves aplicacions paral·leles. En segon lloc, perquè s'adapta millor a l'aplicació durant l'execució. Aquest enfocament no requereix la intervenció de desenvolupadors o fins i tot l'accés al codi font de l'aplicació. S'analitza l'aplicació en temps real d'execució i es considra i analitza la recerca dels possibles colls d'ampolla i optimitzacions. Per a optimitzar l'execució de l'aplicació bioinformàtica mpiBLAST, vam analitzar el seu comportament per a identificar els paràmetres que intervenen en el rendiment d'ella, com ara: l'ús de la memòria, l'ús de la xarxa, patrons d'E/S, el sistema de fitxers emprat, l'arquitectura del processador, la grandària de la base de dades biològica, la grandària de la seqüència de consulta, la distribució de les seqüències dintre d'elles, el nombre de fragments de la base de dades i/o la granularitat dels treballs assignats a cada procés. El nostre objectiu és determinar quins d'aquests paràmetres tenen major impacte en el rendiment de les aplicacions i com ajustar-los dinàmicament per a millorar el rendiment de l'aplicació. Analitzant el rendiment de l'aplicació mpiBLAST hem trobat un conjunt de dades que identifiquen cert nivell de serial·lització dintre l'execució. Reconeixent l'impacte de la caracterització de les seqüències dintre de les diferents bases de dades i una relació entre la capacitat dels workers i la granularitat de la càrrega de treball actual, aquestes podrien ser sintonitzades dinàmicament. Altres millores també inclouen optimitzacions relacionades amb el sistema de fitxers paral·lel i la possibilitat d'execució en múltiples multinucli. La grandària de gra de treball està influenciat per factors com el tipus de base de dades, la grandària de la base de dades, i la relació entre grandària de la càrrega de treball i la capacitat dels treballadors.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The Myc proto-oncoproteins are transcription factors that recognize numerous target genes through hexameric DNA sequences called E-boxes. The mechanism by which they then activate the expression of these targets is still under debate. Here, we use an RNAi screen in Drosophila S2 cells to identify Drosophila host cell factor (dHCF) as a novel co-factor for Myc that is functionally required for the activation of a Myc-dependent reporter construct. dHCF is also essential for the full activation of endogenous Myc target genes in S2 cells, and for the ability of Myc to promote growth in vivo. Myc and dHCF physically interact, and they colocalize on common target genes. Furthermore, down-regulation of dHCF-associated histone acetyltransferase and histone methyltransferase complexes in vivo interferes with the Myc biological activities. We therefore propose that dHCF recruits such chromatin-modifying complexes and thereby contributes to the expression of Myc targets and hence to the execution of Myc biological activities.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Approximate Quickselect, a simple modification of the well known Quickselect algorithm for selection, can be used to efficiently find an element with rank k in a given range [i..j], out of n given elements. We study basic cost measures of Approximate Quickselect by computing exact and asymptotic results for the expected number of passes, comparisons and data moves during the execution of this algorithm. The key element appearing in the analysis of Approximate Quickselect is a trivariate recurrence that we solve in full generality. The general solution of the recurrence proves to be very useful, as it allows us to tackle several related problems, besides the analysis that originally motivated us. In particular, we have been able to carry out a precise analysis of the expected number of moves of the ith element when selecting the jth smallest element with standard Quickselect, where we are able to give both exact and asymptotic results. Moreover, we can apply our general results to obtain exact and asymptotic results for several parameters in binary search trees, namely the expected number of common ancestors of the nodes with rank i and j, the expected size of the subtree rooted at the least common ancestor of the nodes with rank i and j, and the expected distance between the nodes of ranks i and j.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

En aquest projecte s’ha implementat un sistema de control per a les bombes microfluídiques LPVX de The Lee Company funcionant a mode de xeringa. El sistema consisteix en un circuit controlador basat en el microxip UDN 296 B de Allegro MicroSystems, que conté dos Ponts en H per a controlar motors pas a pas i dos mòduls de Modulació d’Amplada de Polsos (PWM), governat a partir d’un programa de control com a instrument virtual dissenyat sota l’entorn LabVIEW. El programa de control permet indicar la quantitat de volum a aspirar o dispensar per la bomba i escollir entre una execució simple o una de continuada, podent-ne controlar en aquest segona opció el temps entre execució i execució. El programa també permet visualitzar el procés mitjançant la obtenció de la imatge d’una webcam amb DirectShow. Finalment també permet el control remot de l’Instrument Virtual a través de la xarxa d’Internet.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Experiences with population-based chemotherapy and other methods for the control of schistosomiasis mansoni in two subsaharan foci are described. In the forest area of Maniema (Zaire), intense transmission of Schistosoma mansoni, high prevalences and intensities of infection, and important morbidity have been documental. Taking into account the limited financial means and the poor logistic conditions, the control strategy has been based mainly on targeted chemotherapy of heavily infected people (>600 epg). After ten years of intervention, prevalences and intensities have hardly been affected, but the initial severe hepatosplenic morbidity has almost disappeared. In Burundi, a national research and control programme has been initiated in 1982. Prevalences, intensities and morbidity were moderate, transmission was focal and erratic in time and space. A more structural control strategy was developed, based on screening and selective therapy, health education, sanitation and domestic water supply. Prevalences and intensities have been considerably reduced, though the results show focal and unpredicatable variations. Transmission and reinfection were not signifcantly affected by chemotherapy alone, and eventual outcome of repeated selective treatment appears to be limited by the sensitivity of the screening method. Intestinal morbidity was strongly reduced by community-based selective treatment, but hepatosplenic enlargement was hardly affected; this is possibly due to the confounding impact of increasing malaria morbidity. The experiences show the importance of local structures and conditions for the development of an adapted control strategy. It is further concluded that population-based chemotherapy is a highly valid tool for the rapid control of morbidity, but should in most operational conditions not be considered as a tool for transmission control. Integration of planning, execution and surveillance in regular health services...