In this paper, we describe an automatic synthesis procedure that distributes synchronous programs on a set of desynchronized processing elements. Our distribution procedure consists of three steps: First, we translate the given synchronous program to synchronous guarded actions. Second, we analyze their data dependencies and represent them in a so-called action dependency graph (ADG). Third, th...

Abatrect A kernel specification language called ASL is presented. ASL comprises five fundamental but powerful specificationbuilding operations and has a simple semantics. Behavioural abstraction with respect to a set of observable sorts san be expressed, and (recurstve) parameterisad specifications can be defined using a more powerful and more expressive parameterisation mechanism than usual. A...

Variations in aggregate poverty indices ca be due to differences in average poverty intensity, to changes in the welfare distances between those poor of initially unequal welfare status, and/or to emerging disparities in welfare among those poor of initially similar welfare status. This note uses a general cost-of-inequality approach that decomposes the total change in poverty into a sum of ind...

Regulators face a choice of where in a vertical chain to set environmental regulation.1 Regulation that targets upstream sources of greenhouse gases focuses on firms producing (or importing) coal, natural gas, oil, and refined petroleum products. Downstream regulation may directly regulate pollution sources (e.g., motor vehicles, farms, and power plants) or perhaps focus further downstream by r...

field observations of the incurred damages to the buildings and bridges due to earthquakes in near field show there are various failure modes which are in relation to the forces caused by vertical component. while vertical component of earthquake for ordinary buildings in most seismic regulations and standards is not considered. therefore, in the current study the effects of vertical and horizo...

The track-structure interaction effects are usually analysed with conventional FEM programs, where it is difficult to implement the complex track-structure connection behaviour, which is nonlinear, elastic-plastic and depends on the vertical load. The authors developed an alternative analysis method, which they call the relative displacement method. It is based on the calculation of deformation...

SUMMARY MASIA is a software tool for pattern recognition in multiple aligned protein sequences. MASIA converts a sequence to a properties matrix that can be scanned in both vertical and horizontal steps. Consistent patterns are recognized based on the statistical significance of their occurrence. Preset macros can be altered on-line to seek any combination of amino acid properties or sequence c...

Disks and drums are not really random-access devices.. A new device is -proposed, combining each disk or drum track with integrated circuit or core memory buffers, which yields a sector-wide random-access 'LWindowU into the track contents. The sequential nature of the device is acknowledged in providing for a forced swapping algorithm. Three potential applications are described. In a small mult...

Infection from human immunodeficiency virus (HIV) is still an important problem in Southeast Asia. The incidence of HIV-infected patients has been increasing over the last two decades. The problem also affects infants born to HIVinfected mothers. Preventive programs and health education seem to be the most important measures, although the zidovudine (AZT) protocol has been able to reduce the ri...

Introduction This study was conducted in Brazil and Colombia,where dengue is endemic and vector control programs use chemical insecticides. Methods We identified knowledge, attitudes, and practices about dengue and determined the infestation levels of Aedes aegypti in one Brazilian and four Colombian communities. Results The surveys show knowledge of the vector, but little knowledge about diagn...