A Sensitivity-Based Design Space Exploration Methodology for Embedded Systems

In this paper, we propose a system-level design methodology for the efficient exploration of the architectural parameters of the memory sub-systems, from the energy-delay joint perspective. The aim is to find the best configuration of the memory hierarchy without performing the exhaustive analysis of the parameters space. The target system architecture includes the processor, separated instruction and data caches, the main memory, and the system buses. To achieve a fast convergence toward the near-optimal configuration, the proposed methodology adopts an iterative local-search algorithm based on the sensitivity analysis of the cost function with respect to the tuning parameters of the memory sub-system architecture. The exploration strategy is based on the Energy-Delay Product (EDP) metric taking into consideration both performance and energy constraints. The effectiveness of the proposed methodology has been demonstrated through the design space exploration of a real-world case study: the optimization of the memory hierarchy of a MicroSPARC2-based system executing the set of Mediabench benchmarks for multimedia applications. Experimental results have shown an optimization speedup of 2 orders of magnitude with respect to the full search approach, while the near-optimal system-level configuration is characterized by a distance from the optimal full search configuration in the range of 2%.     

Techno-economic study of different alternatives for biodiesel production

Biodiesel has become an attractive diesel fuel substitute due to its environmental benefits since it can be made from renewable resource. However, the high costs surrounding biodiesel production remains the main problem in making it competitive in the fuel market either as a blend or as a neat fuel. More than 80% of the production cost is associated with the feedstock itself and consequently, efforts are focused on developing technologies capable of using lower-cost feedstocks, such as recycled cooking oils and wastes from animal or vegetable oil processing operations.     

Multiresidue method for pesticides in drinking water using a graphitized carbon black cartridge extraction and liquid chromatographic analysis

A general liquid-solid extraction procedure for the isolation of pesticides from groundwater and drinking water for high-performance liquid chromatography (HPLC) is presented. This simple and rapid procedure involved passing a 2-L sample through a 250-mg graphitized carbon black (Carbopack B) cartridge at a flow rate of 150-160 mL/min. By taking advantage of the presence of positively charged active centers on the Carbopack B surface, a stepwise elution system allowed the complete separation of base-neutral pesticides from acidic ones. After partial solvent removal, the components in the two fractions were separated and quantified by gradient elution, reversed-phase HPLC with ultraviolet (UV) detection. The performance of the Carbopack cartridge was compared with that of a 500-mg C-18 bonded silica cartridge. With the Carbopack cartridge, the grand mean measurement accuracy of the 35 pesticides considered was 95%. With the C-18 cartridge, the grand mean measurement accuracy of the analytes was 76%. Compared to the C-18 cartridge, additional advantages of using a Carbopack cartridge are that the extraction procedure is about 7 times shorter, no pH adjustment of the environmental sample is necessary for trapping acidic compounds, and one cartridge instead of two suffices to extract base-neutral and acidic pesticides, making the Carbopack cartridge more adaptable than the C-18 one for field use. The detection limits by this method of all the pesticides considered were between 0.003 and 0.07 micrograms/L.     

On the impact of physical layer awareness on scheduling and resource allocation in broadband multicellular IEEE 802.16 systems [Radio Resource Management and Protocol Engineering for IEEE 802.16]

Multicellular networks based on the IEEE 802.16 standard appear to be very promising candidates to provide end users with broadband wireless access. However, they also pose interesting challenges in terms of radio resource management, where several design choices are not specified in the standard, intentionally left open to implementors. For this reason, we focus in this article on scheduling and resource allocation, and investigate how they could operate in a cross-layer fashion. In particular, we describe the principles of joint scheduling and resource allocation for IEEE 802.16 operating in AMC mode, and discuss the critical role played by physical layer considerations, especially intercell interference estimation and channel state awareness, in the obtained performance. This leads to identifying key open issues and possible general solutions     

Modelling of RF CO2 Laser Pulses

The usual laser rate equations have been applied to fit energy and shape of pulsed emissions of RF CO₂ single mode lasers starting from the discharge and cavity parameters. The model well reproduce the laser behaviour, if to fit the turn-off normally observed in these lasers we introduce a phase laser gain correction related to the frequency chirp.     

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.