Compiling Scientific Code Using Partial Evaluation

Scientists are faced with a dilemma: either they can write abstract programs that express their understanding of a problem, but which do not execute efficiently; or they can write programs that computers can execute efficiently, but which are difficult to write and difficult to understand. We have developed a compiler that uses partial evaluation and scheduling techniques to provide a solution to this dilemma.

Exploiting the Parallelism Exposed by Partial Evaluation

We describe an approach to parallel compilation that seeks to harness the vast amount of fine-grain parallelism that is exposed through partial evaluation of numerically-intensive scientific programs. We have constructed a compiler for the Supercomputer Toolkit parallel processor that uses partial evaluation to break down data abstractions and program structure, producing huge basic blocks that contain large amounts of fine-grain parallelism. We show that this fine-grain prarllelism can be effectively utilized even on coarse-grain parallel architectures by selectively grouping operations together so as to adjust the parallelism grain-size to match the inter-processor communication capabilities of the target architecture.

Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience

We describe the key role played by partial evaluation in the Supercomputer Toolkit, a parallel computing system for scientific applications that effectively exploits the vast amount of parallelism exposed by partial evaluation. The Supercomputer Toolkit parallel processor and its associated partial evaluation-based compiler have been used extensively by scientists at M.I.T., and have made possible recent results in astrophysics showing that the motion of the planets in our solar system is chaotically unstable.

A Parallelizing Compiler Based on Partial Evaluation

We constructed a parallelizing compiler that utilizes partial evaluation to achieve efficient parallel object code from very high-level data independent source programs. On several important scientific applications, the compiler attains parallel performance equivalent to or better than the best observed results from the manual restructuring of code. This is the first attempt to capitalize on partial evaluation's ability to expose low-level parallelism. New static scheduling techniques are used to utilize the fine-grained parallelism of the computations. The compiler maps the computation graph resulting from partial evaluation onto the Supercomputer Toolkit, an eight VLIW processor parallel computer.

Syntax-Based Analytic Reading of Musical Scores

As part of a larger research project in musical structure, a program has been written which "reads" scores encoded in an input language isomorphic to music notation. The program is believed to be the first of its kind. From a small number of parsing rules the program derives complex configurations, each of which is associated with a set of reference points in a numerical representation of a time-continuum. The logical structure of the program is such that all and only the defined classes of events are represented in the output. Because the basis of the program is syntactic (in the sense that parsing operations are performed on formal structures in the input string), many extensions and refinements can be made without excessive difficulty. The program can be applied to any music which can be represented in the input language. At present, however, it constitutes the first stage in the development of a set of analytic tools for the study of so-called atonal music, the revolutionary and little understood music which has exerted a decisive influence upon contemporary practice of the art. The program and the approach to automatic data-structuring may be of interest to linguists and scholars in other fields concerned with basic studies of complex structures produced by human beings.

Partial oxidation of methane over the perovskite oxides

Ba0.5Sr0.5Co0.8Fe0.2O3-delta and Ba0.5Sr0.5Co0.8Ti0.2O3-delta oxides were synthesized by a combined EDTA-citrate complexing method. The catalytic behavior of these two oxides with the perovskite structure was studied during the reaction of methane oxidation. The pre-treatment with methane has different effect on the catalytic activities of both the oxides. The methane pre-treatment has not resulted in the change of the catalytic activity of BSCFO owing to its excellent reversibility of the perovskite structure resulting from the excellent synergistic interaction between Co and Fe in the oxide. However, the substitution with Ti on Fe-site in the lattice makes the methane pre-treatment have an obvious influence on the activity of the formed BSCTO oxide.

Gas phase catalytic partial oxidation of toluene in a microchannel reactor

Gas phase partial oxidation of toluene over V/Ti oxide catalysts has been successfully performed in a microchannel reactor, which provides very good mass and heat transfer conditions. With the elimination of hot spots, which are known as the most negative factors for partial oxidation of hydrocarbons, steady and uniform reaction conditions can be achieved in the catalyst bed by using, the microreactor. Since the best performance of the catalysts might be exploited, the selectivity of partial oxidation products of toluene has remarkably increased compared to the traditional packed fixed-bed reactor, even without the bother of modifying the catalysts, diluting the reactants or catalysts with inert contents to avoid hot spots or improve the diffusion and mixing. Furthermore, in virtue of its inherent safety features, when using pure oxygen as oxidant, the reactions were handled safety within the explosion limits in the microreactor. With TiO2 carried V2O5 as catalysts, the total selectivity of benzaldehyde and benzoic acid reaches around 60%, and the toluene conversion is about 10%. The conversion can go up without violent decline of selectivity, unlike most fixed bed reactors. Space time yield of 3.12 kg h(-1) L-1 calculated on the basis of the channel volume has been achieved. The influence of operating conditions has been investigated in detail in the microreactor. (c) 2005 Elsevier B.V. All rights reserved.

Mast Cell Curve-Response in Partial Achilles Tendon Rupture After 830 nm Phototherapy

Objective: the aim of this study was to quantify mast cells at different time intervals after partial Achilles tendon rupture in rats treated with low-level laser therapy (LLLT). Background data: There is a high incidence of lesions and ruptures in the Achilles tendon that can take weeks and even months to heal completely. As the mast cells help in the healing repair phase, and LLLT has favorable effects on this tissue repair process, study of this modality on the quantity of mastocytes in the ruptured tendon is relevant. Methods: Sixty Wistar rats were subjected to partial Achilles' tendon rupture by direct trauma, randomized into 10 groups, and then divided into the group treated with 80mW aluminum gallium arsenide infrared laser diode, continuous wave, 2.8W/cm(2) power density, 40J/cm(2) energy density, and 1.12J total energy, and the simulation group. Both the groups were subdivided according to the histological assessment period of the sample, either 6h, 12h, 24h, 2 days, or 3 days after the rupture, to quantify the mastocytes in the Achilles' tendon. Results: the group subjected to LLLT presented a greater quantity of mastocytes in the periods of 6h, 12h, 24h, 2 days, and 3 days after rupture, compared with the simulation groups, but differences were detected between the sample assessment periods only in the simulation group. Conclusions: LLLT was shown to increase the quantity of mastocytes in the assessment periods compared with the simulation groups.

Accelerated partial irradiation for breast cancer: Systematic review and meta-analysis of 8653 women in eight randomized trials

Background and purpose: Accelerated partial breast irradiation (APBI) is the strategy that allows adjuvant treatment delivery in a shorter period of time in smaller volumes. This study was undertaken to assess the effectiveness and outcomes of APBI in breast cancer compared with whole-breast irradiation (WBI). Material and methods: Systematic review and meta-analysis of randomized controlled trials of WBI versus APBI. Two authors independently selected and assessed the studies regarding eligibility criteria. Results: Eight studies were selected. A total of 8653 patients were randomly assigned for WBI versus APBI. Six studies reported local recurrence outcomes. Two studies were matched in 5 years and only one study for different time of follow-up. Meta-analysis of two trials assessing 1407 participants showed significant difference in the WBI versus APBI group regarding the 5-year local recurrence rate (HR = 4.54, 95% CI: 1.78-11.61, p = 0.002). Significant difference in favor of WBI for different follow-up times was also found. No differences in nodal recurrence, systemic recurrence, overall survival and mortality rates were observed. Conclusions: APBI is associated with higher local recurrence compared to WBI without compromising other clinical outcomes. (C) 2014 Elsevier Ireland Ltd. All rights reserved.

Information sets and partial permutation decoding for codes from finite geometries

Mavron, Vassili; McDonough, T.P.; Key, J.D., (2006) 'Information sets and partial permutation decoding for codes from finite geometries', Finite Fields and their applications 12(2) pp.232-247 RAE2008

Using Warp to Control Network Contention in Mermera

Parallel computing on a network of workstations can saturate the communication network, leading to excessive message delays and consequently poor application performance. We examine empirically the consequences of integrating a flow control protocol, called Warp control [Par93], into Mermera, a software shared memory system that supports parallel computing on distributed systems [HS93]. For an asynchronous iterative program that solves a system of linear equations, our measurements show that Warp succeeds in stabilizing the network's behavior even under high levels of contention. As a result, the application achieves a higher effective communication throughput, and a reduced completion time. In some cases, however, Warp control does not achieve the performance attainable by fixed size buffering when using a statically optimal buffer size. Our use of Warp to regulate the allocation of network bandwidth emphasizes the possibility for integrating it with the allocation of other resources, such as CPU cycles and disk bandwidth, so as to optimize overall system throughput, and enable fully-shared execution of parallel programs.

Accelerating Internet Streaming Media Delivery Using Network-Aware Partial Caching

Internet streaming applications are adversely affected by network conditions such as high packet loss rates and long delays. This paper aims at mitigating such effects by leveraging the availability of client-side caching proxies. We present a novel caching architecture (and associated cache management algorithms) that turn edge caches into accelerators of streaming media delivery. A salient feature of our caching algorithms is that they allow partial caching of streaming media objects and joint delivery of content from caches and origin servers. The caching algorithms we propose are both network-aware and stream-aware; they take into account the popularity of streaming media objects, their bit-rate requirements, and the available bandwidth between clients and servers. Using realistic models of Internet bandwidth (derived from proxy cache logs and measured over real Internet paths), we have conducted extensive simulations to evaluate the performance of various cache management alternatives. Our experiments demonstrate that network-aware caching algorithms can significantly reduce service delay and improve overall stream quality. Also, our experiments show that partial caching is particularly effective when bandwidth variability is not very high.

Uniformly convergent finite element methods for singularly perturbed parabolic partial differential equations

This thesis is concerned with uniformly convergent finite element methods for numerically solving singularly perturbed parabolic partial differential equations in one space variable. First, we use Petrov-Galerkin finite element methods to generate three schemes for such problems, each of these schemes uses exponentially fitted elements in space. Two of them are lumped and the other is non-lumped. On meshes which are either arbitrary or slightly restricted, we derive global energy norm and L2 norm error bounds, uniformly in the diffusion parameter. Under some reasonable global assumptions together with realistic local assumptions on the solution and its derivatives, we prove that these exponentially fitted schemes are locally uniformly convergent, with order one, in a discrete L∞norm both outside and inside the boundary layer. We next analyse a streamline diffusion scheme on a Shishkin mesh for a model singularly perturbed parabolic partial differential equation. The method with piecewise linear space-time elements is shown, under reasonable assumptions on the solution, to be convergent, independently of the diffusion parameter, with a pointwise accuracy of almost order 5/4 outside layers and almost order 3/4 inside the boundary layer. Numerical results for the above schemes are presented. Finally, we examine a cell vertex finite volume method which is applied to a model time-dependent convection-diffusion problem. Local errors away from all layers are obtained in the l2 seminorm by using techniques from finite element analysis.