1,030 research outputs found
Mitigating smart card fault injection with link-time code rewriting: a feasibility study
We present a feasibility study to protect smart card software against fault-injection attacks by means of binary code rewriting. We implemented a range of protection techniques in a link-time rewriter and evaluate and discuss the obtained coverage, the associated overhead and engineering effort, as well as its practical usability
Lateral spin-orbit interaction and spin polarization in quantum point contacts
We study ballistic transport through semiconductor quantum point contact
systems under different confinement geometries and applied fields. In
particular, we investigate how the {\em lateral} spin-orbit coupling,
introduced by asymmetric lateral confinement potentials, affects the spin
polarization of the current. We find that even in the absence of external
magnetic fields, a variable {\em non-zero spin polarization} can be obtained by
controlling the asymmetric shape of the confinement potential. These results
suggest a new approach to produce spin polarized electron sources and we study
the dependence of this phenomenon on structural parameters and applied magnetic
fields. This asymmetry-induced polarization provides also a plausible
explanation of our recent observations of a 0.5 conductance plateau (in units
of ) in quantum point contacts made on InAs quantum-well structures.
Although our estimates of the required spin-orbit interaction strength in these
systems do not support this explanation, they likely play a role in the effects
enhanced by electron-electron interactions.Comment: Summited to PRB (2009
Linux kernel compaction through cold code swapping
There is a growing trend to use general-purpose operating systems like Linux in embedded systems. Previous research focused on using compaction and specialization techniques to adapt a general-purpose OS to the memory-constrained environment, presented by most, embedded systems. However, there is still room for improvement: it has been shown that even after application of the aforementioned techniques more than 50% of the kernel code remains unexecuted under normal system operation. We introduce a new technique that reduces the Linux kernel code memory footprint, through on-demand code loading of infrequently executed code, for systems that support virtual memory. In this paper, we describe our general approach, and we study code placement algorithms to minimize the performance impact of the code loading. A code, size reduction of 68% is achieved, with a 2.2% execution speedup of the system-mode execution time, for a case study based on the MediaBench II benchmark suite
Verification of Java Bytecode using Analysis and Transformation of Logic Programs
State of the art analyzers in the Logic Programming (LP) paradigm are
nowadays mature and sophisticated. They allow inferring a wide variety of
global properties including termination, bounds on resource consumption, etc.
The aim of this work is to automatically transfer the power of such analysis
tools for LP to the analysis and verification of Java bytecode (JVML). In order
to achieve our goal, we rely on well-known techniques for meta-programming and
program specialization. More precisely, we propose to partially evaluate a JVML
interpreter implemented in LP together with (an LP representation of) a JVML
program and then analyze the residual program. Interestingly, at least for the
examples we have studied, our approach produces very simple LP representations
of the original JVML programs. This can be seen as a decompilation from JVML to
high-level LP source. By reasoning about such residual programs, we can
automatically prove in the CiaoPP system some non-trivial properties of JVML
programs such as termination, run-time error freeness and infer bounds on its
resource consumption. We are not aware of any other system which is able to
verify such advanced properties of Java bytecode
Closed form solution for a double quantum well using Gr\"obner basis
Analytical expressions for spectrum, eigenfunctions and dipole matrix
elements of a square double quantum well (DQW) are presented for a general case
when the potential in different regions of the DQW has different heights and
effective masses are different. This was achieved by Gr\"obner basis algorithm
which allows to disentangle the resulting coupled polynomials without
explicitly solving the transcendental eigenvalue equation.Comment: 4 figures, Mathematica full calculation noteboo
Ballistic electron transport in stubbed quantum waveguides: experiment and theory
We present results of experimental and theoretical investigations of electron
transport through stub-shaped waveguides or electron stub tuners (ESTs) in the
ballistic regime. Measurements of the conductance G as a function of voltages,
applied to different gates V_i (i=bottom, top, and side) of the device, show
oscillations in the region of the first quantized plateau which we attribute to
reflection resonances. The oscillations are rather regular and almost periodic
when the height h of the EST cavity is small compared to its width. When h is
increased, the oscillations become less regular and broad depressions in G
appear. A theoretical analysis, which accounts for the electrostatic potential
formed by the gates in the cavity region, and a numerical computation of the
transmission probabilities successfully explains the experimental observations.
An important finding for real devices, defined by surface Schottky gates, is
that the resonance nima result from size quantization along the transport
direction of the EST.Comment: Text 20 pages in Latex/Revtex format, 11 Postscript figures. Phys.
Rev. B,in pres
An overview of the ciao multiparadigm language and program development environment and its design philosophy
We describe some of the novel aspects and motivations behind
the design and implementation of the Ciao multiparadigm programming system. An important aspect of Ciao is that it provides the programmer with a large number of useful features from different programming paradigms and styles, and that the use of each of these features can be turned on and off at will for each program module. Thus, a given module may be using e.g. higher order functions and constraints, while another module may be using objects, predicates, and concurrency. Furthermore, the language is designed to be extensible in a simple and modular way. Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying that programs comply with specifications, and performing many types of program optimizations. Such optimizations produce code that is highly competitive with other dynamic languages or, when the highest levéis of optimization are used, even that of static languages, all while retaining the interactive development environment of a dynamic language. The environment also includes a powerful auto-documenter. The paper provides an informal overview of the language and program development environment. It aims at illustrating the design philosophy rather than at being exhaustive, which would be impossible in the format of a paper, pointing instead to the existing literature on the system
Influence of strong magnetic field on distribution of solid particles in BiZn immiscible alloys with a metastable miscibility gap
International audienceCompositions located in the metastable miscibility gap of BiZn immiscible alloy was investigated under a high static magnetic field (HSMF). BiZn immiscible alloys with uniformly distribution of solid particles in the matrix were obtained under HSMF with 29 T. The results show that the solid Bi particles were uniformly distributed in the matrix because of complete suppression of Stokes sedimentation under the HSMF with 29 T. Segregation in the alloys solidified under 0 T, 1 T and 6 T was mainly owning to Stokes sedimentation, but that solidified under 17.4T and 29 T was dominated by nucleation, growth and Marangoni migration processes of liquid Bi droplets. The segregation mechanism under the effects of HSMF was discussed
- âŠ