319 research outputs found

    Modeling Concurrency in Parallel Debugging

    Get PDF
    We propose a description language, Data Path Expressions (DPEs), for modeling the behavior of parallel programs. We have designed DPEs as a high-level debugging language, where the debugging paradigm is for the programmer to describe the expected program behavior and for the debugger to compare the actual program behavior during execution to detect program errors. We classify DPEs into five subclasses according to syntactic criteria, and characterize their semantics in terms of a hierarchy of extended Petri Net models. The characterization demonstrates the power of DPEs for modeling (true) concurrency. We also present predecessor automata as a mechanism for implementing the third subclass of DPEs, which expresses bounded parallelism. Predecessor automata extend finite state automata to recognize or generate partial ordering graphs as well as strings, and provide efficient event recognizers for parallel debugging. We briefly describe the application of DPEs race conditions, deadlock and starvation

    A global database of sea surface dimethylsulfide (DMS) measurements and a procedure to predict sea surface DMS as a function of latitude, longitude, and month

    Get PDF
    47 pages, 13 figures, 7 tablesA database of 15,617 point measurements of dimethylsulfide (DMS) in surface waters along with lesser amounts of data for aqueous and particulate dimethylsulfoniopropionate concentration, chlorophyll concentration, sea surface salinity and temperature, and wind speed has been assembled. The database was processed to create a series of climatological annual and monthly 1°x1°latitude-longitude squares of data. The results were compared to published fields of geophysical and biological parameters. No significant correlation was found between DMS and these parameters, and no simple algorithm could be found to create monthly fields of sea surface DMS concentration based on these parameters. Instead, an annual map of sea surface DMS was produced using an algorithm similar to that employed by Conkright et al. [1994]. In this approach, a first-guess field of DMS sea surface concentration measurements is created and then a correction to this field is generated based on actual measurements. Monthly sea surface grids of DMS were obtained using a similar scheme, but the sparsity of DMS measurements made the method difficult to implement. A scheme was used which projected actual data into months of the year where no data were otherwise presen

    Updated precision measurement of the average lifetime of B hadrons

    Get PDF
    The measurement of the average lifetime of B hadrons using inclusively reconstructed secondary vertices has been updated using both an improved processing of previous data and additional statistics from new data. This has reduced the statistical and systematic uncertainties and gives \tau_{\mathrm{B}} = 1.582 \pm 0.011\ \mathrm{(stat.)} \pm 0.027\ \mathrm{(syst.)}\ \mathrm{ps.} Combining this result with the previous result based on charged particle impact parameter distributions yields \tau_{\mathrm{B}} = 1.575 \pm 0.010\ \mathrm{(stat.)} \pm 0.026\ \mathrm{(syst.)}\ \mathrm{ps.

    Global surveillance of cancer survival 1995-2009: analysis of individual data for 25,676,887 patients from 279 population-based registries in 67 countries (CONCORD-2)

    Get PDF
    BACKGROUND: Worldwide data for cancer survival are scarce. We aimed to initiate worldwide surveillance of cancer survival by central analysis of population-based registry data, as a metric of the effectiveness of health systems, and to inform global policy on cancer control. METHODS: Individual tumour records were submitted by 279 population-based cancer registries in 67 countries for 25·7 million adults (age 15-99 years) and 75,000 children (age 0-14 years) diagnosed with cancer during 1995-2009 and followed up to Dec 31, 2009, or later. We looked at cancers of the stomach, colon, rectum, liver, lung, breast (women), cervix, ovary, and prostate in adults, and adult and childhood leukaemia. Standardised quality control procedures were applied; errors were corrected by the registry concerned. We estimated 5-year net survival, adjusted for background mortality in every country or region by age (single year), sex, and calendar year, and by race or ethnic origin in some countries. Estimates were age-standardised with the International Cancer Survival Standard weights. FINDINGS: 5-year survival from colon, rectal, and breast cancers has increased steadily in most developed countries. For patients diagnosed during 2005-09, survival for colon and rectal cancer reached 60% or more in 22 countries around the world; for breast cancer, 5-year survival rose to 85% or higher in 17 countries worldwide. Liver and lung cancer remain lethal in all nations: for both cancers, 5-year survival is below 20% everywhere in Europe, in the range 15-19% in North America, and as low as 7-9% in Mongolia and Thailand. Striking rises in 5-year survival from prostate cancer have occurred in many countries: survival rose by 10-20% between 1995-99 and 2005-09 in 22 countries in South America, Asia, and Europe, but survival still varies widely around the world, from less than 60% in Bulgaria and Thailand to 95% or more in Brazil, Puerto Rico, and the USA. For cervical cancer, national estimates of 5-year survival range from less than 50% to more than 70%; regional variations are much wider, and improvements between 1995-99 and 2005-09 have generally been slight. For women diagnosed with ovarian cancer in 2005-09, 5-year survival was 40% or higher only in Ecuador, the USA, and 17 countries in Asia and Europe. 5-year survival for stomach cancer in 2005-09 was high (54-58%) in Japan and South Korea, compared with less than 40% in other countries. By contrast, 5-year survival from adult leukaemia in Japan and South Korea (18-23%) is lower than in most other countries. 5-year survival from childhood acute lymphoblastic leukaemia is less than 60% in several countries, but as high as 90% in Canada and four European countries, which suggests major deficiencies in the management of a largely curable disease. INTERPRETATION: International comparison of survival trends reveals very wide differences that are likely to be attributable to differences in access to early diagnosis and optimum treatment. Continuous worldwide surveillance of cancer survival should become an indispensable source of information for cancer patients and researchers and a stimulus for politicians to improve health policy and health-care systems

    Limits on the production of scalar leptoquarks from Z (0) decays at LEP

    Get PDF
    A search has been made for pairs and for single production of scalar leptoquarks of the first and second generations using a data sample of 392000 Z0 decays from the DELPHI detector at LEP 1. No signal was found and limits on the leptoquark mass, production cross section and branching ratio were set. A mass limit at 95% confidence level of 45.5 GeV/c2 was obtained for leptoquark pair production. The search for the production of a single leptoquark probed the mass region above this limit and its results exclude first and second generation leptoquarks D0 with masses below 65 GeV/c2 and 73 GeV/c2 respectively, at 95% confidence level, assuming that the D0lq Yukawa coupling alpha(lambda) is equal to the electromagnetic one. An upper limit is also given on the coupling alpha(lambda) as a function of the leptoquark mass m(D0)
    corecore