Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis

When designing hard real-time embedded systems, it is required to estimate the worst-case execution time (WCET) of each task for schedulability analysis. Precise cache persistence analysis can significantly tighten the WCET estimation, especially when the program has many loops. Methods for persistence analysis should safely and precisely classify memory references as persistent. Ex-isting safe approaches suffer from multiple sources of pessimism and may not provide precise results. In this paper, we first identify some sources of pessimism that two recent approaches based on younger set and may analysis may encounter. Then, we propose two methods to eliminate these sources of pessimism. The first method improves the update function of the may analysis-based approach; and the second method integrates the younger set-based and may analysis-based approaches together to further reduce pes-simism. We also prove the two proposed methods are still safe. We evaluate the approaches on a set of benchmarks and observe the number of memory references classified as persistent is increased by the proposed methods. Moreover, we empirically compare the storage space and analysis time used by different methods

Anisotropic magnetoresistance and anisotropic tunneling magnetoresistance due to quantum interference in ferromagnetic metal break junctions

We measure the low-temperature resistance of permalloy break junctions as a function of contact size and the magnetic field angle, in applied fields large enough to saturate the magnetization. For both nanometer-scale metallic contacts and tunneling devices we observe large changes in resistance with angle, as large as 25% in the tunneling regime. The pattern of magnetoresistance is sensitive to changes in bias on a scale of a few mV. We interpret the effect as a consequence of conductance fluctuations due to quantum interference.Comment: 4 pages, 4 figures. Changes in response to reviewer comments. New data provide information about the mechanism causing the AMR and TAM

The FOIA and Public Procurement: Enhancing Accountability and Public Participation in Nigeria

This paper focuses on the impact of the Freedom of information Act (FOIA) enacted in 2011 on public procurement in Nigeria in terms of accountability and participation. As such, it employs the principal-agent methodology and concludes that the agency problems inherent in public procurement and some of the attendant consequences such as government failures and market failures can be addressed with the enforcement of the FOIA 2011. These corrective measures include (but not limited to) providing access to information, choice, fair market price, and the ability to enforce contracts; as well as electronic reporting, protection of whistle blowers, oversight functions, private public partnership, citizens report card, and efficient participation of the media and civil society organizations. Keywords: Adverse selection, Agency problem, Asymmetric information, FOIA, Market failure, Moral hazard, Principal-Agent methodology, Procurement

IDENTIFICATION OF NATURAL RESOURCES IN THE DISTRICT MERAUKE

The availability of natural resources owned Merauke district has the potential but has not been used optimally. Merauke District is a district that has a variety of potential natural resources such as: agriculture, fisheries, animal husbandry, tourism and forestry. Management of natural resources in Merauke is still not able to provide welfare for the people of Merauke and have not been able to contribute original income. With the identification of the natural resources that exist in Merauke so that it can provide information about the natural resources that exist to the general public, especially for investors who wish to cooperate with the Regional Government of Merauke for the progress of development in order to create welfare for people in Merauke. Keywords: Potential, Natural Resources, Merauk

Actions of female sex workers who experience male condom failure during penetrative sexual encounters with clients in Cape Town: Implications for HIV prevention strategies

BACKGROUND: Condom failure has always been found to coexist with condom usage, especially among sex workers. OBJECTIVE: To describe the actions of female sex workers when they are faced with situations of condom failure. METHODS: Using the survey design, the participants were selected through the snowball sampling method. Their responses were obtained using a structured questionnaire. A total of 100 questionnaires were analysed. RESULTS: With respect to the immediate actions of sex workers after condom failure, 36% of the respondents continued with the sexual encounter after noticing that the condom was broken. Another 36% stopped immediately when they noticed that the condom had failed, but replaced the condom; 13% of the participants stopped the sexual encounter completely; 3% applied vaginal spermicidal foam; and 5% of the respondents stopped immediately and took a douche when they had the chance. For the actions within the next 24 hours of experiencing condom failure with a client, 53% of the participants did nothing; 4% sought counsel from a professional; 3% of the respondents took alcohol or drugs to forget the incident, 25% went to the clinic for assistance and 8% offered other responses. CONCLUSION: While continuing the sexual encounter without replacing the condom, taking alcohol and drugs or doing nothing could increase the risk of contracting HIV; however, actions like stopping the sexual encounter completely and visiting a clinic or a professional could make a difference between staying HIV negative or seroconverting. There is a need for targeted intervention to address issues of inappropriate behaviours after experiencing condom failure.ISIScieloScopu

Examining the Behavior of Exchange rate in Nigeria: An Application of the Pinto Model

A non-traditional model of exchange rate behavior, namely, the Pinto model is examined within the confines of a reduced-form linear stochastic model with respect to the Nigerian naira and the U.S. dollar from 1980-2012. This Pinto model hypothesizes a parallel rate that is assumed to reflect market fundamentals and influenced by the following exogenous variables: an inflation rate, broad money supply, terms of trade, the official naira dollar exchange rate as a policy variable, and the level of fiscal deficits. Applying the unit root tests on the determinants suggest that the time series data might be spurious and thus necessitate co-integration application. The results indicate a long run co-integrating vector between the naira-dollar parallel exchange rate and its aforementioned determinants. Keywords: Parallel Exchange Rate, Dutch-disease Syndrome, Non-traditional, Co-integratio

Socioeconomic Effects of Nigeria’s 2011 Freedom of Information Act

This paper examines the socioeconomic effects or implications of the Freedom of Information Act (FOIA) 2011 in Nigeria. It applies a simple supply-demand driven approach to examine the externality effects on the social and economic issues prevalent in Nigeria prior to (ex ante) and subsequent to (ex post) the enactment of the FOIA 2011. It concludes that the potential positive externalities of the FOIA 2011 exceed the negative externalities with respect to Nigeria. Keywords: Agency problem, Asymmetric information, Externalities, FOIA, Socioeconomic effects, Supply-demand

Developing a contextual theology of postcolonial Filipino American diasporic identity

https://place.asburyseminary.edu/ecommonsatsdissertations/1691/thumbnail.jp