Minimal Unroll Factor for Code Generation of Software Pipelining

We address the problem of generating compact code from software pipelined loops. Although software pipelining is a powerful technique to extract fine-grain parallelism, it generates lifetime intervals spanning multiple loop iterations. These intervals require periodic register allocation (also called variable expansion), which in turn yields a code generation challenge. We are looking for the minimal unrolling factor enabling the periodic register allocation of software pipelined kernels. This challenge is generally addressed through one of: (1) hardware support in the form of rotating register files, which solve the unrolling problem but are expensive in hardware; (2) register renaming by inserting register moves, which increase the number of operations in the loop, and may damage the schedule of the software pipeline and reduce throughput; (3) post-pass loop unrolling that does not compromise throughput but often leads to impractical code growth. The latter approach relies on the proof that MAXLIVE registers (maximal number of values simultaneously alive) are sufficient for periodic register allocation (Eisenbeis et al. in PACT ’95: Proceedings of the IFIP WG10.3 working conference on Parallel Architectures and Compilation Techniques, pages 264–267, Manchester, UK, 1995; Hendren et al. in CC ’92: Proceedings of the 4th International Conference on Compiler Construction, pages 176–191, London, UK, 1992). However, the best existing heuristic for controlling this code growth—modulo variable expansion (Lam in SIGPLAN Not 23(7):318–328, 1988)—may not apply the correct amount of loop unrolling to guarantee that MAXLIVE registers are enough, which may result in register spills Eisenbeis et al. in PACT ’95: Proceedings of the IFIP WG10.3 working conference on Parallel Architectures and Compilation Techniques, pages 264–267, Manchester, UK, 1995. This paper presents our research results on the open problem of minimal loop unrolling, allowing a software-only code generation that does not trade the optimality of the initiation interval (II) for the compactness of the generated code. Our novel idea is to use the remaining free registers after periodic register allocation to relax the constraints on register reuse. The problem of minimal loop unrolling arises either before or after software pipelining, either with a single or with multiple register types (classes). We provide a formal problem definition for each scenario, and we propose and study a dedicated algorithm for each problem. Our solutions are implemented within an industrial-strength compiler for a VLIW embedded processor from STMicroelectronics, and validated on multiple benchmarks suites.     

Evaluation of the surface urban heat island effect in the city of Madrid by thermal remote sensing

The surface urban heat island (SUHI) effect is defined as the increased surface temperatures in urban areas in contrast to cooler surrounding rural areas. In this article, the evaluation of the SUHI effect in the city of Madrid (Spain) from thermal infrared (TIR) remote-sensing data is presented. The data were obtained from the framework of the Dual-use European Security IR Experiment (DESIREX) campaign that was carried out during June and July 2008 in Madrid. The campaign combined the collection of airborne hyperspectral and in situ measurements. Thirty spectral and spatial high-resolution images were acquired with the Airborne Hyperspectral Scanner (AHS) sensor in a 11, 21, and 4 h UTC scheme. The imagery was used to retrieve the SUHI effect by applying the temperature and emissivity separation (TES) algorithm. The results show a nocturnal SUHI effect with a highest value of 5 K. This maximum value agrees within 1 K with the highest value of the urban heat island (UHI) observed using air temperature data (AT). During the daytime, this situation is reversed and the city becomes a negative heat island.     

Structural relaxation in poly(ethylene oxide)-salt solutions

We present the results of molecular dynamics simulations of PEO_xNaI polymer electrolytes, performed to study the influence of NaI on the dynamics of PEO. By calculating the mean square displacement of the CH₂ groups we observe that the Rouse-like motion, typical for short polymer chains, is slowed down under the influence of NaI. This slowing down is also observed in the self part of the intermediate scattering function F^s(k,t), as an increase in the relaxation time. By using the Gaussian approximation it is shown that the stretched exponential relaxation in the small k-limit of F^s(k,t) is a result of the Rouse-like motion of the polymers. We find that our results are in good agreement with neutron spin-echo experiments.     

Theoretical study and practical application of the capillary film solar distiller

In the south of Algeria, to supply sufficient fresh water for the population, desalination is necessary because water resources (underground and geothermal) are brackish.This paper presents the theoretical study and the results of experiments carried out with a capillary film multi-effect distiller installed in the south of Algeria (in a village near Touggourt, where the temperature of the groundwater is about 65°C at the source). The name of this device is DIFICAP ( stiller with a lm in illary motion).The aim of our study is to improve the efficiency of this distiller. The research and development of this desalination process is carried out under the following aspects: modelisation of heat and mass transfer, experimentation under direct solar radiation in South Algeria and technical development to aim to optimize the efficiency of this distiller.The theoretical and experimental results show that the efficiency of this distiller increases when the temperature of the brackish water, the intensity of the solar radiation and the number of stages increase.     

Finite Element Analysis of a Copper Single Crystal Shape Memory Alloy-Based Endodontic Instruments

The aim of the present paper is the development of endodontic Cu-based single crystal Shape Memory Alloy (SMA) instruments in order to eliminate the antimicrobial and mechanical deficiencies observed with the conventional Nickel-Titane (NiTi) SMA files. A thermomechanical constitutive law, already developed and implemented in a finite element code by our research group, is adopted for the simulation of the single crystal SMA behavior. The corresponding material parameters were identified starting from experimental results for a tensile test at room temperature. A computer-aided design geometry has been achieved and considered for a finite element structural analysis of the endodontic Cu-based single crystal SMA files. They are meshed with tetrahedral continuum elements to improve the computation time and the accuracy of results. The geometric parameters tested in this study are the length of the active blade, the rod length, the pitch, the taper, the tip diameter, and the rod diameter. For each set of adopted parameters, a finite element model is built and tested in a combined bending-torsion loading in accordance with ISO 3630-1 norm. The numerical analysis based on finite element procedure allowed purposing an optimal geometry suitable for Cu-based single crystal SMA endodontic files. The same analysis was carried out for the classical NiTi SMA files and a comparison was made between the two kinds of files. It showed that Cu-based single crystal SMA files are less stiff than the NiTi files. The Cu-based endodontic files could be used to improve the root canal treatments. However, the finite element analysis brought out the need for further investigation based on experiments.     

CuII Pyrazolyl-Benzimidazole Dinuclear Complexes with Remarkable Antioxidant Activity

Three dinuclear coordination complexes generated from 1-n-butyl-2-((5-methyl-1H-pyrazole-3-yl)methyl)-1H-benzimidazole ( L ), have been synthesized and characterized spectroscopically and structurally by single crystal X-ray diffraction analysis. Reaction with iron(II) chloride and then copper(II) nitrate led to a co-crystal containing 78 % of [Cu(NO₃)(μ-Cl)( L’ )]₂ ( C₁ ) and 22 % of [Cu(NO₃)(μ-NO₃)( L’ )]₂ ( C₂ ), where L was oxidized to a new ligand L^’ . A mechanism is provided. Reaction with copper chloride led to the dinuclear complex [Cu(Cl)(μ-Cl)( L) ]₂ ( C₃ ). The presence of N−H⋅⋅⋅O and C−H⋅⋅⋅O intermolecular interactions in the crystal structure of C₁ and C₂ , and C−H⋅⋅⋅N and C−H⋅⋅⋅Cl hydrogen bonding in the crystal structure of C₃ led to supramolecular structures that were confirmed by Hirshfeld surface analysis. The ligands and their complexes were tested for free radical scavenging activity and ferric reducing antioxidant power. The complex C₁ / C₂ shows remarkable antioxidant activities as compared to the ligand L and reference compounds.     

Specific detection and quantification of Aspergillus flavus and Aspergillus parasiticus in wheat flour by SYBR® Green quantitative PCR

Aflatoxins are important mycotoxins that represent a serious risk for human and animal health. These mycotoxins are mainly produced by Aspergillus flavus and Aspergillus parasiticus, two closely related species with different array of aflatoxins. In this work, two specific quantitative PCR (qPCR) assays were developed to detect and quantify both species in wheat flour using primers based on the multicopy ITS2 rDNA target sequence. The species specificity of the assays was tested in a wide range of strains of these species and others colonizing the same commodities. The sensitivity of the assay was estimated in 2.5 pg/reaction in both species. Discrimination capacity for detection and relative quantification of A. flavus and A. parasiticus DNA were analyzed using samples with DNA mixtures containing also other fungal species at different ratios. Both qPCR assays could detect spore concentrations equal or higher than 10⁶ spores/g in flour samples without prior incubation. These assays are valuable tools to improve diagnosis at an early stage and in all critical control points of food chain integrated in HACCP strategies.     

Investigation of phase transformations in iron and cerium using a polyvinylidene fluoride pressure gauge

This paper presents results of studies of shock-induced phase transformations in iron (polymorphic α-ε transition) and cerium (isomorphic γ-α transition) using a polyvinylidene fluoride pressure gauge. __________ Translated from Fizika Goreniya i Vzryva, Vol. 43, No. 4, pp. 121–126, July–August, 2007.     

Micro-scale truss optimization using genetic algorithm

This paper describes the development of a genetic algorithm that is capable of optimizing the mass of micro-scale trusses. Belonging to the group of periodic cellular materials, micro-scale trusses are characterized by the creation of a base cell with a pattern that is repeated in space until a global structure is obtained. Investigation in this field has generally been focused on the design of base cells and their resistance once the final structure is obtained. In this project we have attempted to optimize each individual cell and in particular its elements according to the loads and boundary conditions applied to the global structure. With this objective, we defined a dichotomic search algorithm that establishes a set of cross-sectional areas suitable for the micro-scale truss, formulated the penalty coefficient for the over-sized elements, and studied the clones and rebirth process in order to avoid stagnation of the genetic algorithm. The cell elements used in this project were equal to or less than to 1 mm long, with a cross-sectional area in the order of 10^− 9 m².