Profiling the operational behavior of OS device drivers

As the complexity of modern Operating Systems (OS) increases, testing key OS components such as device drivers (DD) becomes increasingly complex given the multitude of possible DD interactions. Currently, DD testing entails a broad spectrum of techniques, where static (requiring source code) and dynamic (requiring the executable image) and static-dynamic testing combinations are employed. Despite the sustained and improving test efforts in the field of driver development, DDs still represent a significant cause of system outages as the coverage is invariably limited by test resources and release time considerations. The basic factor is the inability to exhaustively assess and then cover the operational states, leading to releases of inadequately tested DDs. Consequently, if representative operational activity profiles of DDs within an OS could be obtained, these could significantly improve the understanding of the actual operational DD state space and help focus the test efforts. Focusing on characterizing DD operational activities while assuming no access to source code, this paper proposes a quantitative technique for profiling the runtime behavior of DDs using a set of occurrence and temporal metrics obtained via I/O traffic characterization. Such profiles are used to improve test adequacy against real-world workloads by enabling similarity quantification across them. The profiles also reveal execution hotspots in terms of DD functionalities activated in the field, thus allowing for dedicated test campaigns. A case study on actual Windows XP and Vista drivers using various performance and stability benchmarks as workloads substantiates our proposed approach.     

Regional economic dynamics and convergence in the European Union

This paper uses an alternative approach to convergence analysis, which, in our opinion, is richer than those traditionally proposed. We believe that the evolution of the whole regional distribution is what matters, not that of an average or representative economy, implicit in the or convergence concepts. Moreover, when analyzing inequality among regional economies, geographic space acquires a preeminent role. We therefore apply spatial association tests recently developed in the spatial econometrics literature and relate them to convergence analysis. Specifically, we apply this methodology to the analysis of regional dynamics and convergence in the European Union (EU). In this context, the progress made in the integration process has highlighted the question of economic disparities at regional level. The process of convergence came to an end in the late seventies, coinciding with major changes in economic activity. This paper shows how these factors appear to have provoked a regionally differentiated response which, though significant, did not, in all likelihood, exacerbate the decrease in regional inequalities.     

NROM: A novel localized trapping, 2-bit nonvolatile memory cell

This paper presents a novel flash memory cell based on localized charge trapping in a dielectric layer and on a new read operation. It is based on the storage of a nominal ~400 electrons above a n⁺/p junction. Programming is performed by channel hot electron injection and erase by tunneling enhanced hot hole injection. The new read methodology is very sensitive to the location of trapped charge above the source. This single device cell has a two physical bit storage capability. The cell shows improved erase performances, no over erase and erratic bit issues, very good retention at 250°C, and endurance up to 1M cycles. Only four masks are added to a standard CMOS process to implement a virtual ground array. In a typical 0.35 μm process, the area of a bit is 0.315 μm² and 0.188 μm² in 0.25 μm technology. All these features and the small cell size compared to any other flash cell make this device a very attractive solution for all NVM applications     

Implication of unequal rivet load distribution in the failures and damage tolerant design of metal and composite civil aircraft riveted lap joints

Riveted lap joints are being used widely in civil aircraft structures. Conventional design procedures assume that the joint can be designed as if all rivets carry load equally. As found in literature associated with fatigue and fracture, forensic studies on structural failures, this assumption is not entirely valid. In this paper, the regulatory codes for civil aircraft as applicable to riveted joints in the form of FAR 25 regulations are briefly reviewed. The regulatory code discusses safety factors in an implied way, but has little specific recommendations for riveted joints. However, studies on the failures of specific aircraft illustrated in this paper add to the argument that both static strength and life are affected by the initial design procedures for the riveted joints. In this paper, finite element models for metal–metal, composite–metal, composite–composite lap joints are studied. A three row lap joint used in commercial aircraft and which was part of failure studies is also examined. Unequal rivet loads and in cases, nearly 50% more than conventional design has been seen in linear finite element analysis. Elasto-plastic analysis using rivet flexibility shows re-distribution of loads. Based on these observations, the effect of rivet loads on life estimation including the use of concepts such as by-pass stresses is discussed. These results have implications for static strength at ultimate load, damage tolerance and fail safety and are discussed in this paper. Next, in a composite–composite lap joint, the influence of ply-angle on the rivet loads is studied. Also, a composite–metal lap joint is studied for the rivet load distribution and life estimation. It is found that the load shared by the rivet rows in a composite–metal lap joint are not symmetric and therefore are more susceptible to cracking and subsequent failure as the unequal distribution can cause some of the rivet loads to be high. In conclusion, the issue of fail safe and damage tolerant design of civil aircraft structures with riveted joints are addressed, especially the implication of unequal load distribution on the failures of such joints and it is suggested that these unequal rivet load distributions be catered for at the early design stage itself via finite element analysis and the possibility of an over-arching safety factor could be considered that incorporates both ultimate load and damage tolerance conditions.     

Master Sintering Curve Formulated from Constitutive Models

The classical master sintering curve (MSC) is derived from empirical sintering model and is applicable over a range of heating rates and temperatures. For simplicity, the MSC approach was modified by assuming one dominant densification mechanism to evaluate and predict densification response. However, the concept of MSC can be extended well beyond the original formulation or the subsequent simplifications. To this effect, generalized formulations are proposed based on several constitutive equations including both grain growth and densification. These formulations can be used very effectively to obtain material properties that in turn can be used in finite-element method to improve the accuracy of the simulations.     

CONCENTRATION POLARIZATION ANALYSIS AT THE ENTRANCE REGION OF A FLAT SHEET PERVAPORATION MODULE FOR VOC REMOVAL

Concentration polarization is a phenomenon that is inherent in all membrane separation processes, which is difficult if not impossible to measure experimentally. Concentration polarization in a pervaporation module causes flux decline and is therefore an important issue in predicting the performance of the membrane unit for evaluation and optimization. Short-form (small L/D ratio) membrane configurations, commonly used for membrane evaluations or certain material separations, compound the complexity of process modeling that addresses concentration polarization since a substantial portion of the membrane flow channel would be considered as an “entrance region” based on the flow profile that is not fully developed. This article employed the classic boundary layer theory, combined with mass transfer phenomena in a pervaporation process that is used in volatile organic compound (VOC) removal from contaminated water sources, to theoretically analyze the concentration polarization severity in the entrance region of a flat sheet membrane module.     

A new compact DC model of floating gate memory cells withoutcapacitive coupling coefficients

This paper presents for the first time a new compact SPICE model of floating gate nonvolatile memory cells capable to reproduce effectively the complete DC electrical behavior in every bias conditions. This model features many advantages compared to previous ones: it is simple and easy to implement since it uses SPICE circuit elements, is scalable, and its computational time is not excessive. It is based on a new procedure that calculates the floating gate voltage without using fixed capacitive coupling coefficients, thus improving the floating gate voltage estimate that is fundamental for the correct modeling of cell operations. Moreover, this model requires only the usual parameters adopted for SPICE-like models of MOS transistors plus the floating gate-control gate capacitance, making it very attractive to industry as the same parameter extraction procedure used for MOS transistors can be directly applied. The model we propose has been validated on E²PROM and flash memory cells manufactured in existing technology (0.35 μm and 0.25 μm) by STMicroelectronics     

Design guidelines for processing bi-material components via powder-injection molding

Powder injection molding can be used to fabricate bi-material components that provide unique functionality such as a combination of toughness and wear resistance. Successful processing of these components requires minimization of internal stresses during sintering. In this article, the stresses generated during co-sintering of concentric rings are analyzed, compared to the materials’ strengths, and correlated with defects. The results provide guidelines for determining the compatibility of various materials and the effect of component geometry. For more information, contact John L. Johnson, AMTellect, 302 South Burrowes Street, State College, PA 16801; (814) 861-8090; fax (814) 861-8003; e-mail john@amtellect.com.     

Substantial narrowing of the Niemann-Pick C candidate interval by yeast artificial chromosome complementation

Niemann-Pick disease type C (NP-C) is an autosomal recessive lipidosis linked to chromosome 18q11-12, characterized by lysosomal accumulation of unesterified cholesterol and delayed induction of cholesterol-mediated homeostatic responses. This cellular phenotype is identifiable cytologically by filipin staining and biochemically by measurement of low-density lipoprotein-derived cholesterol esterification. The mutant Chinese hamster ovary cell line (CT60), which displays the NP-C cellular phenotype, was used as the recipient for a complementation assay after somatic cell fusions with normal and NP-C murine cells suggested that this Chinese hamster ovary cell line carries an alteration(s) in the hamster homolog(s) of NP-C. To narrow rapidly the candidate interval for NP-C, three overlapping yeast artificial chromosomes (YACs) spanning the 1 centimorgan human NP-C interval were introduced stably into CT60 cells and analyzed for correction of the cellular phenotype. Only YAC 911D5 complemented the NP-C phenotype, as evidenced by cytological and biochemical analyses, whereas no complementation was obtained from the other two YACs within the interval or from a YAC derived from chromosome 7. Fluorescent in situ hybridization indicated that YAC 911D5 was integrated at a single site per CT60 genome. These data substantially narrow the NP-C critical interval and should greatly simplify the identification of the gene responsible in mouse and man. This is the first demonstration of YAC complementation as a valuable adjunct strategy for positional cloning of a human gene.     

Modeling the Interaction between Dendrimers and Nucleic Acids: a Molecular Perspective through Hierarchical Scales

Cationic dendrimers are promising nanocarriers for gene delivery thanks to their ability to establish strong interactions with oppositely charged strands of DNA and siRNA and to promote their aggregation. The binding between dendrimers and nucleic acids is typically a complex process that involves various types of interactions at different scales. To design efficient dendrimer candidates for DNA and siRNA binding it is necessary to have a detailed understanding of their interactions with oligonucleotides in the solvent. Molecular simulation can support experimental work, providing a privileged point of view on the aggregation process. This Minireview discusses recent computational efforts to unravel dendrimer–oligonucleotide binding, and proposes a perspective of the multiscale aggregation process based on hierarchy and on the transformations of the interacting “molecular units” following intermolecular interactions.