A new distributed mutual exclusion algorithm, using a token and based upon an original rooted tree structure, is presented. The rooted tree introduced. named “open-cube“ , has noteworthy stability and locality properties, allowing the proposed algorithm to achieve good perfotmances and high tolerance to node failures: the worst case message complexity per request is, in the absence of node fail...

To avoid signal interference in mobile communication it is necessary that the frequen cies used for communication within each cells are allocated so that no signal interference occurs with neighbouring cells We model this channel allocation problem as a generalised list colouring problem and we show how to analytically measure and provide worst case guarantees regarding request satis ability To...

Among its performance assessment capabilities, Medulator uniquely evaluates users’ Analogical Reasoning skills. We studied the effectiveness of Medulator’s Analogy Transfer Evaluation (ATE) and Case Summary components using various combinations of analogical case structures, distinguishing between cases’ surface characteristics (immediately apparent information such as patient age, gender, occu...

Over the past years, the need for high-confidence coordinationmechanisms has intensified as new technologies have appeared for the development of service-oriented applications, making formalization of coordination mechanisms critical. Unifying Theories of Programming (UTP) provide a formal semantic foundation not only for programming languages but also for various expressive specification langu...

We present a new load balancing algorithm inspired by Molecular Dynamics Simulations. Our main motivation is to anticipate the rising costs of tasks-scheduling caused by the growth of the number of available cores on chips. This algorithm is based on a virtual decomposition of workload in Voronoï cells centered around computing units. The method used in this paper allows cores to virtually move...

Public power system test cases that are of high quality benefit the power systems research community with expanded resources for testing, demonstrating, and cross-validating new innovations. Building synthetic grid models for this purpose is a relatively new problem, for which a challenge is to show that created cases are sufficiently realistic. This paper puts forth a validation process based ...

Locality and storage management considerations for fork-join parallelism lead to the loss of the important List Scheduling property. The worst case performance of the constrained scheduling policies, called PaH and ToS, is very bad: (nearly) all parallelism is lost. “Practical” performance, however, differs radically from worst case performance. The PaH and ToS policies perform on average withi...

In wireless communications, 3GPP LTE is one of the solutions to meet the greater transmission data rate demand. One issue inherent to this technology is the PAPR (Peak-to-Average Power Ratio) of OFDM (Orthogonal Frequency Division Multiplexing) modulation. This high PAPR affects of the efficiency of power amplifiers. One approach to mitigate this effect is the Crest Factor Reduction (CFR) techn...

BACKGROUND The purpose of this study was to validate the accuracy of an alternative cervical cancer test - visual inspection with acetic acid (VIA) - by addressing possible imperfections in the gold standard through latent class analysis (LCA). The data were originally collected at peri-urban health clinics in Zimbabwe. METHODS Conventional accuracy (sensitivity/specificity) estimates for VIA...

The paper uses data from the Turin Longitudinal Study (Studio longitudinale torinese, henceforth SLT) of linked census data from the 1971, 1981, 1991 and 2001 censuses to show the existence of educational inequalities among the children of regional migrants to Turin. As we will show, using the relatively sparse data on international migrants in the current SLT database and references to the lit...