Transaction scheduling using dynamic conflict avoidance

Software transaction memory (STM) systems have been used as an approach to improve performance, by allowing the concurrent execution of atomic blocks. However, under high-contention workloads, STM-based systems can considerably degrade performance, as transaction conflict rate increases. Contention management policies have been used as a way to select which transaction to abort when a conflict occurs. In general, contention managers are not capable of avoiding conflicts, as they can only select which transaction to abort and the moment it should restart. Since contention managers act only after a conflict is detected, it becomes harder to effectively increase transaction throughput. More proactive approaches have emerged, aiming at predicting when a transaction is likely to abort, postponing its execution. Nevertheless, most of the proposed proactive techniques are limited, as they do not replace the doomed transaction by another or, when they do, they rely on the operating system for that, having little or no control on which transaction to run. This article proposes LUTS, a lightweight user-level transaction scheduler. Unlike other techniques, LUTS provides the means for selecting another transaction to run in parallel, thus improving system throughput. We discuss LUTS design and propose a dynamic conflict-avoidance heuristic built around its scheduling capabilities. Experimental results, conducted with the STAMP and STMBench7 benchmark suites, running on TinySTM and SwissTM, show how our conflict-avoidance heuristic can effectively improve STM performance on high contention applications. © 2012 Springer Science+Business Media, LLC.

Concurrent nociceptive stimulation impairs the anxiolytic effect of midazolam injected into the periaqueductal gray in mice

This study investigated whether the opportunity to avoid or escape the open arms of an elevated plus-maze (EPM) affects the antinociceptive response observed when mice are subjected to open arm confinement. Furthermore, in order to better characterize the relationship between emotion and antinociception in the EPM, we examined the behavioral effects of midazolam injection into the midbrain periaqueductal gray matter (PAG). As our main aim was to evaluate the relevance of different levels of approach-avoid conflict (i.e. The presence of open and closed arms) to maze-induced antinociception, mice were exposed to one of three types of EPM-a standard EPM (sEPM), an open EPM (oEPM: four open arms) or, as a control condition, an enclosed EPM (eEPM: four enclosed arms). Nociception was assessed using the formalin test. Twenty minutes after formalin injection (50 mu l, 2.5% formalin) into the dorsal right hind paw, mice received an intra-PAG injection of saline or midazolam (10-20 nmol). Five minutes later, they were individually exposed to one of the mazes for 10 min (25-35 min after formalin injection). Videotapes of the test sessions were scored for a variety of behavioral measures including time spent licking the formalin-injected paw. To examine whether the effects of midazolam on anxiety-like behavior may have been influenced by concurrent nociceptive stimulation (i.e. formalin pretreatment), naive mice were submitted to a similar procedure to that described above for the sEPM test but without formalin pretreatment. Results showed that mice exposed to the oEPM spent significantly less time licking the injected paw compared to groups exposed to either the sEPM or eEPM. Although exposure to the sEPM induced anxiety-like behaviors (i.e. open arm avoidance), it did not result in antinociception. Intra-PAG infusions of midazolam failed to block oEPM-induced antinociception or to alter sEPM-induced anxiety in mice that had received formalin injection. However, under normal test conditions (i.e. in the absence of formalin-induced nociceptive stimulation), intra-PAG midazolam produced clear anti-anxiety effects in mice exposed to the sEPM. Findings are discussed in terms of different emotional states induced by the oEPM and sEPM and the influence of concurrent nociceptive stimulation on the anti-anxiety effect of intra-PAG midazolam. (c) 2005 Elsevier B.V. All rights reserved.

Concurrent dengue and malaria in the Amazon region

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Brain and lung cryptococcoma and concurrent corynebacterium pseudotuberculosis infection in a goat: a case report

A four-year-old male goat with a history of neurological disorder was euthanized. It presented uncommon nodules in the brain and lungs associated with multiple abscesses, predominantly in the spleen and liver. Histological examination of brain and lung sections revealed yeast forms confirmed to be Cryptococcus gattii after a combination of isolation and polymerase chain reaction (PCR) procedures. Moreover, Corynebacterium pseudotuberculosis infection was diagnosed by PCR of samples from the lung, spleen and liver. The present report highlights the rare concurrent infection of C. gatti and C. pseudotuberculosis in an adult goat from São Paulo state, Brazil, and indicates the necessity of surveillance in the treatment of goats with atypical pulmonary infections associated with neurological disorders.

Anxiolytic-like effects produced by bilateral lesion of the periaqueductal gray in mice: Influence of concurrent nociceptive stimulation

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Absence motivated by illness: A non-concurrent prospective study of physical education teachers in the municipal education system of the city of Campinas, São Paulo, Brazil

The object of this investigation was to identify and analize aspects of the health status related to absenteism in physical education teachers in the municipal education system of the city of Campinas, Brazil, as related to the medical leave program. The non-concurrent prospective study was accomplished by means of a comparison with teachers who work only in the classroom, refering to a three year period. In the variables of greatest interest, the Pearson non-parametric chi-square (X2) statistical test was adopted. Calculations of relative risk and level of confidence were made using the Epi-info computer program. Significant differences were observed in the following diagnostic groups favoring the not exposed group: i) Supplementary Classification of factors that exercise influence over the health status and access to health services and ii) Digestive system illness; while the physical education teachers showed a significant difference in: i) diseases of the musculoskeletal and connective tissue system and ii) Injuries and poisoing. Possible explications for some of the adverse effects as well as the protective ones that were observed include physical activity as a way of life along with being a physical education teacher and on the other side, peculiar behavior of epidemiological descriptive characteristics, like sex and age, within the socio-economic context of the country. © Copyright Moreira Jr. Editora.

A case study of concurrent engineering application on the development of parts for the white goods industry in Brazil

This classical way to manage product development processes for massive production seems to be changing: high pressure for cost reduction, higher quality standards, markets reaching for innovation lead to the necessity of new tools for development control. Into this, and learning from the automotive and aerospace industries factories from other segments are starting to understand and apply manufacturing and assembly oriented projects to ease the task of generate goods and from this obtain at least a part of the expected results. This paper is intended to demonstrate the applicability of the concepts of Concurrent Engineering and DFM/DFA (Design for Manufacturing and Assembly) in the development of products and parts for the White Goods industry in Brazil (major appliances as refrigerators, cookers and washing machines), showing one case concerning the development and releasing of a component. Finally is demonstrated in a short term how was reached a solution that could provide cost savings and reduction on the time to delivery using those techniques.

The influence of the flexibility of the chair seat on pressure peak and distribution of the contact area in individuals with cerebral palsy during the execution of a task

This study aimed to determine the influence of flexibility of the chair seat surface on the pressure peak and on the contact area during the execution of a task of handling an object on the seated position by individuals with spastic cerebral palsy. Ten individuals of both genders with diagnosis of spastic cerebral palsy, who had some control to voluntarily move the body and the upper limbs, participated in this study. Quantification of data was carried out in two experimental situations: (1) execution of a task of fitting with upper limbs, and with the individual placed on an adapted canvas seat; (2) execution of a task of fitting with the participant positioned on an adapted wooden seat. Data obtained were submitted to a non-parametric and descriptive statistical analysis using the Wilcoxon test. Results indicated that the use of canvas seat increased the contact area and decreased the pressure peak and the medio-lateral displacement of centre pressure on the seated posture. © 2011 Informa UK, Ltd.

An application of CHA to concurrent short-term transmission expansion & reactive power planning

In this paper a heuristic technique for solving simultaneous short-term transmission network expansion and reactive power planning problem (TEPRPP) via an AC model is presented. A constructive heuristic algorithm (CHA) aimed to obtaining a significant quality solution for such problem is employed. An interior point method (IPM) is applied to solve TEPRPP as a nonlinear programming (NLP) during the solution steps of the algorithm. For each proposed network topology, an indicator is deployed to identify the weak buses for reactive power sources placement. The objective function of NLP includes the costs of new transmission lines, real power losses as well as reactive power sources. By allocating reactive power sources at load buses, the circuit capacity may increase while the cost of new lines can be decreased. The proposed methodology is tested on Garver's system and the obtained results shows its capability and the viability of using AC model for solving such non-convex optimization problem. © 2011 IEEE.

O Tratamento de questões ambientais através da modelagem matemática: um trabalho com alunos do ensino fundamental e médio

Pós-graduação em Educação Matemática - IGCE

Contribuições da implantação da tecnologia de informação MES - Manufacturing Execution System - para a melhoria das dimensões competitivas da manufatura: estudo de caso Novelis Brasil Ltda

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)