Experiments in context-sensitive analysis of modular programs

Several models for context-sensitive analysis of modular programs have been proposed, each with different characteristics and representing different trade-offs. The advantage of these context-sensitive analyses is that they provide information which is potentially more accurate than that provided by context-free analyses. Such information can then be applied to validating/debugging the program and/or to specializing the program in order to obtain important performance improvements. Some very preliminary experimental results have also been reported for some of these models which provided initial evidence on their potential. However, further experimentation, which is needed in order to understand the many issues left open and to show that the proposed modes scale and are usable in the context of large, real-life modular programs, was left as future work. The aim of this paper is two-fold. On one hand we provide an empirical comparison of the different models proposed in previous work, as well as experimental data on the different choices left open in those designs. On the other hand we explore the scalability of these models by using larger modular programs as benchmarks. The results have been obtained from a realistic implementation of the models, integrated in a production-quality compiler (CiaoPP/Ciao). Our experimental results shed light on the practical implications of the different design choices and of the models themselves. We also show that contextsensitive analysis of modular programs is indeed feasible in practice, and that in certain critical cases it provides better performance results than those achievable by analyzing the whole program at once, specially in terms of memory consumption and when reanalyzing after making changes to a program, as is often the case during program development.

Nonsteroidal moulting hormone agonists: effects on protein synthesis and cuticle formation in colorado potato beetle larvae.

Larvae of the Colorado potato beetle, Leptinotarsa decemlineata (Say), that were orally treated with RH-0345 at 0.1 mg l?1, RH-5849 at 10 and 50 mg l?1, tebufenozide at 2 g l?1, and 20-hydroxyecdysone at 2 g l?1, showed symptoms of prematuremoulting, followed by inhibition of ecdysis. In addition, fresh weight gain and total protein content were blocked. The effects on haemolymphal and cuticular polypeptides after PAGE were linked with premature, new epicuticle deposition as was observed under the electron microscope. These observations support the concept that the ecdysteroid-mimicking action of the three nonsteroidal molecules is specific

Kinetics of color center formation in silica irradiated with swift heavy ions: Thresholding and formation efficiency

We have determined the cross-section σ for color center generation under single Br ion impacts on amorphous SiO2. The evolution of the cross-sections, σ(E) and σ(Se), show an initial flat stage that we associate to atomic collision mechanisms. Above a certain threshold value (Se > 2 keV/nm), roughly coinciding with that reported for the onset of macroscopic disorder (compaction), σ shows a marked increase due to electronic processes. In this regime, a energetic cost of around 7.5 keV is necessary to create a non bridging oxygen hole center-E′ (NBOHC/E′) pair, whatever the input energy. The data appear consistent with a non-radiative decay of self-trapped excitons.

Interstitial Ti for intermediate band formation in Ti-supersaturated silicon

We have analyzed by means of Rutherford backscattering spectrometry (RBS) the Ti lattice location and the degree of crystalline lattice recovery in heavily Ti implanted silicon layers subsequently pulsed laser melted (PLM). Theoretical studies have predicted that Ti should occupy interstitial sites in silicon for a metallic-intermediate band (IB) formation. The analysis of Ti lattice location after PLM processes is a crucial point to evaluate the IB formation that can be clarifyied by means of RBS measurements. After PLM, time-of-flight secondary ion mass spectrometry measurements show that the Ti concentration in the layers is well above the theoretical limit for IB formation. RBS measurements have shown a significant improvement of the lattice quality at the highest PLM energy density studied. The RBS channeling spectra reveals clearly that after PLM processes Ti impurities are mostly occupying interstitial lattice sites.

Theoretical investigation on iodine oxides formation in the production of atmospheric aerosols

In this contribution, results of a theoretical study on different reactions that odine oxides, in the presence of water, can undergo to form iodine oxides particles in the atmosphere. Thermodynamic and kinetic properties of these reactions have been obtained at high level ab initio correlated calculations.

Stoichiometry in Context: Inquiry-Guided Problems of Chemistry for Encouraging Critical Thinking in Engineering Students

This paper focuses on examples of educational tools concerning the learning of chemistry for engineering students through different daily life cases. These tools were developed during the past few years for enhancing the active role of students. They refer to cases about mineral water, medicaments, dentifrices and informative panels about solar power, where an adequate quantitative treatment through stoichiometry calculations allows the interpretation of data and values announced by manufacturers. These cases were developed in the context of an inquiry-guided instruction model. By bringing tangible chemistry examples into the classroom we provide an opportunity for engineering students to apply this science to familiar products in hopes that they will appreciate chemistry more, will be motivated to study concepts in greater detail, and will connect the relevance of chemistry to everyday life.

Identification of Ultraviolet radiation induced Gallic acid and Caffeic acid formation in Palm juice (Borassus flabellifer) by HPLC & Mass Spectra Technique.

Palm juice, a common-cheap-antioxidants rich natural plant juice has been investigated for optimizing the effect of UV-radiation on the antioxidant activity using a DPPH free radical scavenging activity method. In this study separate set of samples of raw palm juice has been treated with 365 and 254 nm UV-lights (UVL) respectively for different exposure time. When exposed for 15 min with 365 nm UVL induces concentration factor of caffeic acid, whereas, 254 nm UVL induces gallic acid accumulation, but overall antioxidant activity was higher for 365 nm UVradiation. Caffeic acid and other polyphenol compounds are increased by 5.5 ± 0.5 % than normal palm juice, observed after irradiation with 365 nm UVL. Even after the exposure of UV irradiation for 15 min, did not affect on peptide bond modification of protein molecules present in palm juice, therefore a green effect of UVL is explored for the effective increase of antioxidant activity.

Distribution of indole-3-acetic acid in Petunia hybrida shoot tip cuttings and relationship between auxin transport, carbohydrate metabolism and adventitious root formation.

To determine the contribution of polar auxin transport (PAT) to auxin accumulation and to adventitious root (AR) formation in the stem base of Petunia hybrida shoot tip cuttings, the level of indole-3-acetic acid (IAA) was monitored in non-treated cuttings and cuttings treated with the auxin transport blocker naphthylphthalamic acid (NPA) and was complemented with precise anatomical studies. The temporal course of carbohydrates, amino acids and activities of controlling enzymes was also investigated. Analysis of initial spatial IAA distribution in the cuttings revealed that approximately 40 and 10% of the total IAA pool was present in the leaves and the stem base as rooting zone, respectively. A negative correlation existed between leaf size and IAA concentration. After excision of cuttings, IAA showed an early increase in the stem base with two peaks at 2 and 24h post excision and, thereafter, a decline to low levels. This was mirrored by the expression pattern of the auxin-responsive GH3 gene. NPA treatment completely suppressed the 24-h peak of IAA and severely inhibited root formation. It also reduced activities of cell wall and vacuolar invertases in the early phase of AR formation and inhibited the rise of activities of glucose-6-phosphate dehydrogenase and phosphofructokinase during later stages. We propose a model in which spontaneous AR formation in Petunia cuttings is dependent on PAT and on the resulting 24-h peak of IAA in the rooting zone, where it induces early cellular events and also stimulates sink establishment. Subsequent root development stimulates glycolysis and the pentosephosphate pathway