91 resultados para Program Compilation
Resumo:
Heat Alert and Response Systems (HARS) are currently undergoing testing and implementation in Canada. These programs seek to reduce the adverse health effects of heat waves on human health by issuing weather forecasts and warnings, informing individuals about possible protections from excessive heat, and providing such protections to vulnerable subpopulations and individuals at risk. For these programs to be designed effectively, it is important to know how individuals perceive the heat, what their experience with heat-related illness is, how they protect themselves from excessive heat, and how they acquire information about such protections. In September 2010, we conducted a survey of households in 5 cities in Canada to study these issues. At the time of the survey, these cities had not implemented heat outreach and response systems. The study results indicate that individuals' recollections of recent heat wave events were generally accurate. About 21% of the sample reported feeling unwell during the most recent heat spell, but these illnesses were generally minor. Only in 25 cases out of 243, these illnesses were confirmed or diagnosed by a health care professional. The rate at which our respondents reported heat-related illnesses was higher among those with cardiovascular and respiratory illnesses, was higher among younger respondents and bore no relationship with the availability of air conditioning at home. Most of the respondents indicated that they would not dismiss themselves as
Resumo:
Speeding up sequential programs on multicores is a challenging problem that is in urgent need of a solution. Automatic parallelization of irregular pointer-intensive codes, exempli?ed by the SPECint codes, is a very hard problem. This paper shows that, with a helping hand, such auto-parallelization is possible and fruitful. This paper makes the following contributions: (i) A compiler framework for extracting pipeline-like parallelism from outer program loops is presented. (ii) Using a light-weight programming model based on annotations, the programmer helps the compiler to ?nd thread-level parallelism. Each of the annotations speci?es only a small piece of semantic information that compiler analysis misses, e.g. stating that a variable is dead at a certain program point. The annotations are designed such that correctness is easily veri?ed. Furthermore, we present a tool for suggesting annotations to the programmer. (iii) The methodology is applied to autoparallelize several SPECint benchmarks. For the benchmark with most parallelism (hmmer), we obtain a scalable 7-fold speedup on an AMD quad-core dual processor. The annotations constitute a parallel programming model that relies extensively on a sequential program representation. Hereby, the complexity of debugging is not increased and it does not obscure the source code. These properties could prove valuable to increase the ef?ciency of parallel programming.
Resumo:
Tutoring is commonly employed to prevent early reading failure, and evidence suggests that it can have a positive effect. This article presents findings from a large-scale (n = 734) randomized controlled trial evaluation of the effect of Time to Read—a volunteer tutoring program aimed at children aged 8 to 9 years—on reading comprehension, self-esteem, locus of control, enjoyment of learning, and future aspirations. The study found that the program had only a relatively small effect on children’s aspirations (effect size +0.17, 95% confidence interval [0.015, 0.328]) and no other outcomes. It is suggested that this lack of evidence found may be due to misspecification of the program logic model and outcomes identified and program-related factors, particularly the low dosage of the program.
Resumo:
Marine radiocarbon bomb-pulse time histories of annually resolved archives from temperate regions have been underexploited. We present here series of Delta C-14 excess from known-age annual increments of the long-lived bivalve mollusk Arctica islandica from 4 sites across the coastal North Atlantic (German Bight, North Sea; Tromso, north Norway; Siglufjordur, north Icelandic shelf; Grimsey, north Icelandic shelf) combined with published series from Georges Bank and Sable Bank (NW Atlantic) and the Oyster Ground (North Sea). The atmospheric bomb pulse is shown to be a step-function whose response in the marine environment is immediate but of smaller amplitude and which has a longer decay time as a result of the much larger marine carbon reservoir. Attenuation is determined by the regional hydrographic setting of the sites, vertical mixing, processes controlling the isotopic exchange of C-14 at the air-sea boundary, C-14 content of the freshwater flux, primary productivity, and the residence time of organic matter in the sediment mixed layer. The inventories form a sequence from high magnitude-early peak (German Bight) to low magnitude-late peak (Grimsey). All series show a rapid response to the increase in atmospheric Delta C-14 excess but a slow response to the subsequent decline resulting from the succession of rapid isotopic air-sea exchange followed by the more gradual isotopic equilibration in the mixed layer due to the variable marine carbon reservoir and incorporation of organic carbon from the sediment mixed layer. The data constitute calibration series for the use of the bomb pulse as a high-resolution dating tool in the marine environment and as a tracer of coastal ocean water masses.
Resumo:
We develop a theoretical model of enforcement and compliance under HACCP regulation and use the FDA's seafood inspection records to examine: (1) if the FDA has targeted its inspections under HACCP regulation; (2) the effects of inspections on compliance with HACCP and plant sanitation standards; and (3) the relationship between compliance with HACCP and preexisting sanitation standards. There is some evidence of targeting based on product risk, but not on past compliance performance. The threat of an inspection increases the likelihood of compliance, but only for sanitation inspections, not for HACCP. HACCP compliance does not improve compliance with sanitation standards. © 2008 American Agricultural Economics Association.
Resumo:
We propose a dynamic verification approach for large-scale message passing programs to locate correctness bugs caused by unforeseen nondeterministic interactions. This approach hinges on an efficient protocol to track the causality between nondeterministic message receive operations and potentially matching send operations. We show that causality tracking protocols that rely solely on logical clocks fail to capture all nuances of MPI program behavior, including the variety of ways in which nonblocking calls can complete. Our approach is hinged on formally defining the matches-before relation underlying the MPI standard, and devising lazy update logical clock based algorithms that can correctly discover all potential outcomes of nondeterministic receives in practice. can achieve the same coverage as a vector clock based algorithm while maintaining good scalability. LLCP allows us to analyze realistic MPI programs involving a thousand MPI processes, incurring only modest overheads in terms of communication bandwidth, latency, and memory consumption. © 2011 IEEE.
Resumo:
For many years, orientation in migratory birds has primarily been studied in the laboratory. Although a laboratory-based setting enables greater control over environmental cues, the laboratory-based findings must be confirmed in the wild in free-flying birds to be able to fully understand how birds orient during migration. Despite the difficulties associated with following free-flying birds over long distances, a number of possibilities currently exist for tracking the long distance, sometimes even globe-spanning, journeys undertaken by migrating birds. Birds fitted with radio transmitters can either be located from the ground or from aircraft (conventional tracking), or from space. Alternatively, positional information obtained by onboard equipment (e.g., GPS units) can be transmitted to receivers in space. Use of these tracking methods has provided a wealth of information on migratory behaviors that are otherwise very difficult to study. Here, we focus on the progress in understanding certain components of the migration-orientation system. Comparably exciting results can be expected in the future from tracking free-flying migrants in the wild. Use of orientation cues has been studied in migrating raptors (satellite telemetry) and thrushes (conventional telemetry), highlighting that findings in the natural setting may not always be as expected on the basis of cage-experiments. Furthermore, field tracking methods combined with experimental approaches have finally allowed for an extension of the paradigmatic displacement experiments performed by Perdeck in 1958 on the short-distance, social migrant, the starling, to long-distance migrating storks and long-distance, non-socially migrating passerines. Results from these studies provide fundamental insights into the nature of the migratory orientation system that enables experienced birds to navigate and guide inexperienced, young birds to their species-specific winter grounds.