Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language

We previously developed a polymorphic type system and a type checker for a multithreaded lock-based polymorphic typed assembly language (MIL) that ensures that well-typed programs do not encounter race conditions. This paper extends such work by taking into consideration deadlocks. The extended type system verifies that locks are acquired in the proper order. Towards this end we require a language with annotations that specify the locking order. Rather than asking the programmer (or the compiler's backend) to specifically annotate each newly introduced lock, we present an algorithm to infer the annotations. The result is a type checker whose input language is non-decorated as before, but that further checks that programs are exempt from deadlocks

Skiroc: A Front-end Chip to Read Out the Imaging Silicon-Tungsten Calorimeter for ILC

Integration and low-power consumption of the read-out ASIC for the International Linear Collider (ILC) 82-millionchannel W-Si calorimeter must reach an unprecedented level as it will be embedded inside the detector. Uniformity and dynamic range performance has to reach the accuracy to achieve calorimetric measurement. A first step towards this goal has been a 10,000-channel physics prototype of 18*18 cm which is currently in test beam in CERN. A new version of a full integrated read out chip (SKIROC) has been designed to equip the technologic prototype to be built for 2009. Based on the running physics prototype ASIC (FLC_PHY3), it embeds most of the required features expected for the final detector. The dynamic range has been improved from 500 to 2000 MIP. An auto-trigger capability has been added allowing built-in zero suppress. The number of channel has been doubled reaching 36 to fit smaller silicon pads and the lownoise charge preamplifier now accepts both AC and DC coupled detectors. After an exhaustive description, the measurement results of that new front-end chip will be presented. The results on the technological R&D concurrently conducted on the ultra-thin PCB hosting both the front-end electronic and the silicon detectors will also be described

Syndrome herpétique mortel chez des singes atèle nés en captivité

Un syndrome herpétique mortel a été mis en évidence chez des singes atèle dans un zoo du centre-ouest de la France. Le virus isolé, du groupe 1 de Melnick, semble proche des Herpesvirus Ateles ou Saimirí. Il n'a vrai semblablement pas été contracté par les animaux en France et est présent à l’état latent dans la colonie.A fatal herpetic syndrome had been identified on spieder-monkeys in a french zoological garden. The isolated virus belongs to Melnick group 1, and seems to be related Ateles or Saimirí Herpesvirus. Probably, the ani mals did not get it in France but were already carrying it in a silent state

Régime sans gluten

Tuberculosis, despite its prevention, remains an endemic affection in Morocco. Although rare, pseudo surgical forms and especially peritonitis are mainly due to delayed diagnosis. We report the case of a 30-year-old woman, admitted for peritonitis. The diagnosis of tuberculous peritonitis was established during surgery with macroscopic observation of granulations, and confirmed after biopsy specimens by identification of a giant lymph node cell granuloma with caseous necrosis. Outcome was favorable after appropriate antibiotic therapy. This observation emphasizes the fact that peritonitis, although a rare complication of peritoneal tuberculosis, poses problems of positive and differential diagnosis. Even if treatment is based on antituberculous quadritherapy, surgery is sometimes necessary and should be decided in due time

Influence of socioeconomic factors on pregnancy outcome in women with structural heart disease

OBJECTIVE: Cardiac disease is the leading cause of indirect maternal mortality. The aim of this study was to analyse to what extent socioeconomic factors influence the outcome of pregnancy in women with heart disease.  METHODS: The Registry of Pregnancy and Cardiac disease is a global prospective registry. For this analysis, countries that enrolled ≥10 patients were included. A combined cardiac endpoint included maternal cardiac death, arrhythmia requiring treatment, heart failure, thromboembolic event, aortic dissection, endocarditis, acute coronary syndrome, hospitalisation for cardiac reason or intervention. Associations between patient characteristics, country characteristics (income inequality expressed as Gini coefficient, health expenditure, schooling, gross domestic product, birth rate and hospital beds) and cardiac endpoints were checked in a three-level model (patient-centre-country).  RESULTS: A total of 30 countries enrolled 2924 patients from 89 centres. At least one endpoint occurred in 645 women (22.1%). Maternal age, New York Heart Association classification and modified WHO risk classification were associated with the combined endpoint and explained 37% of variance in outcome. Gini coefficient and country-specific birth rate explained an additional 4%. There were large differences between the individual countries, but the need for multilevel modelling to account for these differences disappeared after adjustment for patient characteristics, Gini and country-specific birth rate.  CONCLUSION: While there are definite interregional differences in pregnancy outcome in women with cardiac disease, these differences seem to be mainly driven by individual patient characteristics. Adjustment for country characteristics refined the results to a limited extent, but maternal condition seems to be the main determinant of outcome