Race Detection for Android Applications

Programming environments for smartphones expose a concurrency model that combines multi-threading and asynchronous event-based dispatch. While this enables the development of efficient and feature-rich applications, unforeseen thread interleavings coupled with non-deterministic reorderings of asynchronous tasks can lead to subtle concurrency errors in the applications. In this paper, we formalize the concurrency semantics of the Android programming model. We further define the happens-before relation for Android applications, and develop a dynamic race detection technique based on this relation. Our relation generalizes the so far independently studied happens-before relations for multi-threaded programs and single-threaded event-driven programs. Additionally, our race detection technique uses a model of the Android runtime environment to reduce false positives. We have implemented a tool called DROIDRACER. It generates execution traces by systematically testing Android applications and detects data races by computing the happens-before relation on the traces. We analyzed 1 5 Android applications including popular applications such as Facebook, Twitter and K-9 Mail. Our results indicate that data races are prevalent in Android applications, and that DROIDRACER is an effective tool to identify data races.

Phase relations and dielectric properties of BaTi03 ceramics heavily substituted with neodymium

Investigations on the phase relations and dielectric properties of (1 -x)BaTiO3 + xNd2/3TiO 3 (BNT) ceramics sintered in air below 1650 K have been carried out. X-ray powder diffraction studies indicate apparent phase singularity for compositions with x < 0.3. Nd2Ti207 is detected at higher neodymium concentrations. The unit cell parameter changes continuously with neodymium content, and BaTiO3 is completely cubic at room temperature with x -- 0.0525, whereas electron diffraction studies indicate that the air-sintered BNT ceramics with x > 0.08 contain additional phases that are partly amorphous even to an electron beam. SEM observations reveal that BaTiO3 grains are mostly covered by a molten intergranular phase, and show the presence of randomly distributed Nd2Ti207 grains. Energy dispersive X-ray analysis shows the Ba-Nd-Ti ternary composition of the intergranular phase. Differential thermal analysis studies support the formation of a partial melt involving dissolution-precipitation of boundary layers of BaTiO3 grains. These complex phase relations are accounted for in terms of the phase instability of BaTiO3 with large cation-vacancy concentration as a result of heavy Nd 3+ substitution. The absence of structural intergrowth in (1 - x)BaTiO3 + xNd2/3TiO3 under oxidative conditions leads to a separation of phases wherein the new phases undergo melting and remain X-ray amorphous. BNT ceramics with 0.1 < x < 0.3 have ~eff >~ 104 with tan 6 < 0.1 and nearly flat temperature capacitance characteristics. The grain-size dependence of ee,, variations of ~eff and tan 6 with the measuring frequency, the non-ohmic resistivities, and the non-linear leakage currents at higher field-strengths which are accompanied by the decrease in eeff and rise in tan 3, are explained on the basis of an intergranular (internal boundary layer) dielectric characteristic of these ceramics.

Phase relations in the system Ta-Rh-O and thermodynamic properties of TaRhO4

Phase relations in the system Ta-Rh-O were determined by analysis of quenched samples corresponding to thirteen compositions inside the ternary triangle after equilibration at 1273 K. All the Ta-Rh alloys were found to be in equilibrium with Ta2O5. Only one ternary oxide TaRhO4 was detected. Based on phase relations in the ternary system, a solid-state electrochemical cell, incorporating calcia-stabilized zirconia as the electrolyte, was designed to measure the standard Gibbs energy of formation (Delta G degrees, J mol(-1)) of TaRhO4 in the temperature range from 900 to 1300 K. For the reaction, 1/2 beta-Ta2O5 + 1/2 Rh2O3(ortho) -> TaRhO4 Delta G degrees = -42993 + 5.676T (+/- 85) The calculated decomposition temperatures of TaRhO4 are 1644 +/- 5K in pure O-2 and 1543 +/- 5K in air at a total pressure p(o) = 0.1 MPa. Thermodynamic properties of TaRhO4 at 298.15K have been evaluated from the results. The limited experimental thermodynamic data for Rh-rich alloys available in the literature are in fair accord with Miedema's model. The Gibbs energies of formation of the different phases in the binary system Ta-Rh were estimated based on these inputs, consistent with the binary phase diagram. Based on the thermodynamic information on the stability of various phases, an oxygen potential diagram for the system Ta-Rh-O at 1273K was constructed. Also presented are temperature-composition diagrams for the ternary system at constant oxygen partial pressures (po(2)/p(o) = 0.212 and 10(-6)) calculated form the basic data.

Phase relations between Al2O3---Cr2O3 and FeAl2O4---FeCr2O4 solid solutions at 1823 K

Tie-lines between the corundum and spinel solid solutions have been determined experimentally at 1823 K. Next, activities of FeCr2O4 and FeAl2O4 in the spinel solid solution were determined by combining the tie-line data with literature values for the activities of Cr2O3 and Al2O3 in the corundum phase. Activities and the Gibbs energy of mixing for the spinel solid solution were also obtained from a model based on cation distribution between nonequivalent crystallographic sites in the oxide lattice. The difference between the Gibbs energy of mixing obtained experimentally and from the model has been attributed to a strain enthalpy term which is relatively unchanged in magnitude from the reported at 1373 K. The integral enthalpy of mixing obtained from experimental data at 1373 and 1823 K using the second law is compared with the model result.

A reconsideration of phase relations in the Ti-Al-Mo and Ti-Al systems

A microstructural and X-ray investigation of Ti-AI-Mo alloys Ti-31 Al-15 Mo, Ti-31 Al-13 Mo, Ti-31Al-9Mo and Ti-35Al-9Mo (containing the Ti3Al, TiAl and β phases) indicates that the existing phase diagram of the ternary system for this composition range published by Ge Dhzhi-Min and Pylaeva is in error above 1473 K. An analysis of phase relations reveals that the error has arisen from their use of the Ti-AI diagram due to Bumps, Kessler and Hansen as a basis for generating the ternary. It is shown that a phase diagram of the ternary, consistent with the experimental results, can be generated using a version of the Ti-AI system due to Margolin. Simple geometric arguments are used to build up a new semi-quantitative description of the Ti-AI-Mo system which can be used as a basis for a detailed investigation of phase equilibria in this system.

Derivation of the decoupling relations for composite models from anomaly constraints and n-independence

It is shown, in the composite fermion models studied by 't Hooft and others, that the requirements of Adler-Bell-Jackiw anomaly matching and n-independence are sufficient to fix the indices of composite representations. The third requirement, namely that of decoupling relations, follows from these two constraints in such models and hence is inessential.

Embedding Of Non-Simple Lie-Groups, Coupling-Constant Relations And Non-Uniqueness Of Models Of Unification

A general derivation of the coupling constant relations which result on embedding a non-simple group like SU L (2) @ U(1) in a larger simple group (or graded Lie group) is given. It is shown that such relations depend only on the requirement (i) that the multiplet of vector fields form an irreducible representation of the unifying algebra and (ii) the transformation properties of the fermions under SU L (2). This point is illustrated in two ways, one by constructing two different unification groups containing the same fermions and therefore have same Weinberg angle; the other by putting different SU L (2) structures on the same fermions and consequently have different Weinberg angles. In particular the value sin~0=3/8 is characteristic of the sequential doublet models or models which invoke a large number of additional leptons like E 6, while addition of extra charged fermion singlets can reduce the value of sin ~ 0 to 1/4. We point out that at the present time the models of grand unification are far from unique.

PLA folding algorithm from compatibility relations

The letter reports an algorithm for the folding of programmable logic arrays. The algorithm is valid for both column and row folding, although it has been presented considering only the simple column folding. The pairwise compatibility relations among all the pairs of the columns of the PLA are plotted in a matrix called the compatibility matrix of the PLA. A foldable compatibility matrix (FCM), a new concept defined in the letter, is then derived from the compatibility matrix. Once an FCM is obtained, the ordered pairs of fold-able columns and the reordering of the rows are readily determined

On Using Projective Relations for Calibration and Estimation in a Structured-Light Scanner

For structured-light scanners, the projective geometry between a projector-camera pair is identical to that of a camera-camera pair. Consequently, in conjunction with calibration, a variety of geometric relations are available for three-dimensional Euclidean reconstruction. In this paper, we use projector-camera epipolar properties and the projective invariance of the cross-ratio to solve for 3D geometry. A key contribution of our approach is the use of homographies induced by reference planes, along with a calibrated camera, resulting in a simple parametric representation for projector and system calibration. Compared to existing solutions that require an elaborate calibration process, our method is simple while ensuring geometric consistency. Our formulation using the invariance of the cross-ratio is also extensible to multiple estimates of 3D geometry that can be analysed in a statistical sense. The performance of our system is demonstrated on some cultural artifacts and geometric surfaces.

Phase relations and thermodynamic properties of compounds in the pseudobinary system BaO-Y2O3

The coexisting phases in the pseudobinary system BaO-Y2O3 have been identified by equilibrating samples containing different amounts of component oxides at 1173, 1273 and 1373 K. Only two ternary oxides, BaY2O4 and Ba3Y4O9, have been found to be stable in the temperature range of investigation. Solid state galvanic cells: Pt, O2+BaO+BaF2double vertical barBaF2+2mol%Al2O3double vertical barBaF2+BaY2O4+Y2O3+O2, Pt and Pt, O2+BaO+BaF2double vertical barBaF2+2mol% Al2O3double vertical barBaF2+BaY2O4+Ba3Y4O9+O2, Pt have been employed for determining the Gibbs' energies of formation of BaY2O4 and Ba3Y4O9 from the component oxides in the range 850 to 1250 K. A composite solid electrolyte incorporating Al2O3-dispersed BaF2 was used in the cells. To prevent interaction between the Al2O3 powder and electrode materials, the solid electrolyte was coated with pure BaF2. The Gibbs' energies of formation of BaY2O4 and Ba3Y4O9 from component oxides are given by: Δf0 (BaY2O4, s)=−128,310+5.211T (±580) J mol−1, (850less-than-or-equals, slantTless-than-or-equals, slant1250 K) and ΔGfo(Ba3Y4O9, s)= −317,490 −24.704T (±1100) J mol−1, (850less-than-or-equals, slantTless-than-or-equals, slant1250 K).

Activity–Composition Relations in the Nickel Oxide–Magnesium Oxide System at 1300 K by the Solid-State Galvanic Cell Technique

The activity of NiO in NiO-MgO rock salt solid solution has been measured at 1300 K by employing a solid-state galvanic cell: Pt,Ni+ NiO||(CaO)ZrO2||Ni + (Nix,Mgl-x)O, Pt. A high-density tube of Zr02-15 mol% CaO has been used as the solid electrolyte for the emf measurements. The activities of the component oxides in the rock salt solid solution exhibit negative deviation from ideality at the temperature of investigation. The solid solution obeys regular solution behavior at 1300 K. The value of the regular solution parameter is found to be -12000 ((l000) J mol-1. The composition dependence of ΔGEx obtained in this study agrees reasonably well with the calorimetric data reported in the literature for NiO-MgO solid solution.