We present a framework for the incremental construction of deadlock-free systems meeting given safety properties. The framework borrows concepts and basic results from the controller synthesis paradigm by considering a step in the construction process as a controller synthesis problem. We show that priorities are expressive enough to represent restrictions induced by deadlock-free controllers p...

This paper presents two concurrency control protocols for real-time object-oriented systems. One of the protocols (A ected Set Priority Ceiling Protocol) is designed for single-node systems, and the other (Distributed A ected Set Priorityt Ceiling Protocol) is designed for distributed systems. Both protocols combine features of semantic concurrency control for added concurrency, with priority c...

The Stack Resource Policy (SRP) is a resource allocation policy which permits processes with different priorities to share a single runtime stack. It is a refinement of the Priority Ceiling Protocol (PCP) of Sha, Rajkumar and Lehoczky, which strictly bounds priority inversion and permits simple schedulability tests. With or without stack sharing, the SRP offers improvements over the PCP, by: (1...

research is considered axis of each progressing and scientific development. scattered studies without any logical plan won’t lead to the desired results. research prioritization in traditional persian medicine (tpm) is more necessary because of limited resources and manpower. this study was conducted in four phases with delphi’s pattern of study. at the first stage, it was consulted from tim de...

background: hiv and aids have many different epidemiological, social and political aspects. the aim of this study was to determine the research priorities according to the necessary aspects of hiv and aids in iran. methods: the national and international databases were searched to obtain the published articles regarding hiv and aids in iran. all epidemiologic studies were included in this revie...

An educational programme would teach these groups how to screen for skin cancers by identifying risky features such as irregular edged moles, dark pigmentation etc. Each group could be assessed by using either pictures of skin cancers versus non-malignant skin conditions to determine whether non-medical personnel and non-health professionals could accurately screen for skin cancers. People who ...

The Health Problem: There is often a lack of capacity to see follow-up patients within a specified time frame due to pressures of clinical resources. As a result, many patients waiting for routine follow-up have their appointments delayed. In some cases a formal face-to-face follow-up appointment may not be necessary. In addition, telephone consultation may be considered preferable by patients ...