User-definable resource usage bounds analysis for java bytecode

Automatic cost analysis of programs has been traditionally concentrated on a reduced number of resources such as execution steps, time, or memory. However, the increasing relevance of analysis applications such as static debugging and/or certiflcation of user-level properties (including for mobile code) makes it interesting to develop analyses for resource notions that are actually application-dependent. This may include, for example, bytes sent or received by an application, number of files left open, number of SMSs sent or received, number of accesses to a datábase, money spent, energy consumption, etc. We present a fully automated analysis for inferring upper bounds on the usage that a Java bytecode program makes of a set of application programmer-deflnable resources. In our context, a resource is defined by programmer-provided annotations which state the basic consumption that certain program elements make of that resource. From these deflnitions our analysis derives functions which return an upper bound on the usage that the whole program (and individual blocks) make of that resource for any given set of input data sizes. The analysis proposed is independent of the particular resource. We also present some experimental results from a prototype implementation of the approach covering a signiflcant set of interesting resources.

Electronic, structural, and optical properties of the host and Cr-doped cadmium thioindate

The cadmium thioindate spinel CdIn2S4 semiconductor has potential applications for optoelectronic devices. We present a theoretical study of the structural and optoelectronic properties of the host and of the Cr-doped ternary spinel. For the host spinel, we analyze the direct or indirect character of the energy bandgap, the change of the energy bandgap with the anion displacement parameter and with the site cation distribution, and the optical properties. The main effect of the Cr doping is the creation of an intermediate band within the energy bandgap. The character and the occupation of this band are analyzed for two substitutions: Cr by In and Cr by Cd. This band permits more channels for the photon absorption. The optical properties are obtained and analyzed. The absorption coefficients are decomposed into contributions from the different absorption channels and from the inter-and intra-atomic components.