IMPACCT: Methodology and Tools for Power-Aware Embedded Systems

Power-aware systems are those that must exploit a widerange of power/performance trade-offs in order to adapt to the power availabilityand application requirements. They require the integration of many novel powermanagement techniques, ranging from voltage scaling to subsystem shutdown.However, those techniques do not always compose synergistically with eachother; in fact, they can combine subtractively and often yield counterintuitive,and sometimes incorrect, results in the context of a complete system. Thiscan become a serious problem as more of these power aware systems are beingdeployed in mission critical applications.To address the problem of technique integration for power-aware embedded systems, we propose a new design tool framework called IMPACCT and the associated design methodology. The system modeling methodology includes application model for capturing timing/powerconstraints and mode dependencies at the system level. The tool performs power-awarescheduling and mode selection to ensure that all timing/power constraintsare satisfied and that all overhead is taken into account. IMPACCT then synthesizesthe implementation targeting a symmetric multiprocessor platform. Experimentalresults show that the increased dynamic range of power/performance settingsenabled a Mars rover to achieve significant acceleration while using lessenergy. More importantly, our tool correctly combines the state-of-the-arttechniques at the system level, thereby saving even experienced designersfrom many pitfalls of system-level power management.     

The effect of mischmetal addition on the structure and mechanical properties of a cast Al-7Si-0.3Mg alloy containing excess iron (up to 0.6 Pct)

The effect of Fe content (0.2 to 0.6 pct) on the microstructure and mechanical properties of a cast Al-7Si-0.3Mg (LM 25/356) alloy has been investigated. Further, 1 pct mischmetal (MM) additions (a mixture of rare-earth (RE) elements) were made to these alloys, and their mechanical properties at room and at elevated temperatures (up to 200 °C) were evaluated. A structure-property correlation on this alloy was attempted using optical microstructure analysis, fractographs, X-ray diffraction, energy-dispersive analysis of X-rays (EDX), and quantitative metallography by image analysis. An increase in Fe content increased the volume percentage of Fe-bearing intermetallic compounds (β and π phases), contributing to the loweryield strength (YS), ultimate tensile strength (UTS), percentage elongation, and higher hardness. An addition of 1 pct MM to the alloys containing 0.2 and 0.6 pct Fe was found to refine the microstructure; modify the eutectic silicon and La, Ce, and Nd present in the MM; form different intermetallic compounds with Al, Si, Fe, and Mg; and improve the mechanical properties of the alloys both at room and elevated temperatures.     

Pedestrian detection and tracking at crossroads

This paper presents a system that can perform pedestrian detection and tracking using vision-based techniques. A very important issue in the field of intelligent transportation system is to prevent pedestrians from being hit by vehicles. Recently, a great number of vision-based techniques have been proposed for this purpose. In this paper, we propose a vision-based method, which combines the use of a pedestrian model as well as the walking rhythm of pedestrians to detect and track walking pedestrians. Through integrating some spatial and temporal information grabbed by a vision system, we are able to develop a reliable system that can be used to prevent traffic accidents happened at crossroads. In addition, the proposed system can deal with the occlusion problem. Experimental results obtained by executing some real world cases have demonstrated that the proposed system is indeed superb.     

Enoxaparin in the prevention of deep venous thrombosis after major surgery: multicentric study. The Italian Study Group

Four hundred forty-six patients with Tourette Syndrome (TS) and/or their parents completed a 52-item self-report survey about vocal and motor tics, and the frequency of associated co-morbid conditions of aggression, obsessions and compulsions, attentional problems, sleep disturbance, mood disturbance, anxiety, and self-mutilative behaviours which have been frequently reported in the literature on TS. Respondents also responded to an open-ended question regarding the most disabling aspects of TS. Results were analyzed within two age groups; under 18 years of age (N = 245) and 18 years of age or older (N = 177). Tics and associated conditions were the most frequently reported disabling aspect by both age groups. Subjects under age 18, however, reported significantly more frequent problems with hyperactivity, temper control, aggressive behaviours and sleepwalking than adults with TS.     

Drug Release from Lipogels According to Gelling Conditions and Mechanical Treatment

The release rate of a drug dissolved in the liquid phase of lipogels may be greatly affected by the type and concentration of gelling agent and by processing conditions and mechanical treatment of the ointment. These differences in release rate are reduced after application of mechanical stress comparable with the strain exerted on the ointment during application to the skin. Therefore, changes in the concentration of gelling agents used to achieve suitable consistency and manufacturing and packing processes that meet industrial and marketing requirements do not appear to exert a practical influence on drug availability after application to the skin.     

Influence of impact-ionization-induced base current reversal onbipolar transistor parameters

In this paper we describe a set of measurements representing a complete characterization of impact-ionization effects in bipolar transistors. We demonstrate that impact-ionization significantly influences the dependence of base resistance on current and voltages applied to the device. A dc method for the simultaneous extraction of all parasitic resistances in bipolar transistors is presented. The method can separate the influence of current-crowding on the base resistance from that of base width and conductivity modulation; the collector parasitic resistance is measured in the active region. Starting from the parameters extracted by means of these techniques, a complete and accurate circuit-model of impact-ionization effects can be defined     

The investigation of 32P wire for catheter-based endovascular irradiation

The dose distribution from a 32P source has been measured and calculated in order to evaluate its application in endovascular irradiation. The source dimension was 27 mm in length and 0.3 mm in diameter and was embedded in the end of a Ni-Ti wire. Dose measurements were performed using radiochromic film in several specially designed tissue equivalent phantoms. Loevinger's point dose kernel was used for the calculation. The approximate dose rate at a radial distance of 1.5 mm from the center of the source was found to be 6.75 cGy/s per GBq (0.25 cGy/s per mCi), which allows the delivery of a therapeutic dose in a short time interval with a satisfactory homogeneity without stepping the source. However, the dose rate falls off almost exponentially along the radial distance. Therefore it may not be suitable for treating large diameter vessel from a centrally located source. The effect of a curved 32P wire source on the radial dose distribution was also investigated. The results showed that for a maximum bend of 180 degrees the dose rate was increased by as much as 20% along the inner radial distance but decreased by as much as 20% along the outer radial distance compared to the dose along a straight wire. However, for curvatures normally encountered in a clinical situation, the dose rate was changed less than 5%.     

Challenges in computer architecture evaluation

We focus on problems suited to the current evaluation infrastructure. The current limitation and trends in evaluation techniques are troublesome and could noticeably slow the rate of computer system innovation. New research has been recommended to help and make quantitative evaluations of computer systems manageable. We support research in the areas of simulation frameworks, benchmarking methodologies, analytic methods, and validation techniques.     

XML schema, tree logic and sheaves automata

XML documents may be roughly described as unranked, ordered trees and it is therefore natural to use tree automata to process or validate them. This idea has already been successfully applied in the context of Document Type Definition (DTD), the simplest standard for defining document validity, but additional work is needed to take into account XML Schema, a more advanced standard, for which regular tree automata are not satisfactory. In this paper, we introduce Sheaves Logic (SL), a new tree logic that extends the syntax of the – recursion-free fragment of – W3C XML Schema Definition Language (WXS). Then, we define a new class of automata for unranked trees that provides decision procedures for the basic questions about SL: model-checking; satisfiability; entailment. The same class of automata is also used to answer basic questions about WXS, including recursive schemas: decidability of type-checking documents; testing the emptiness of schemas; testing that a schema subsumes another one.This work was partially supported by the French government research grant ACI TRALALA and by IST Global Computing Profundis.