This paper presents StarTM , an automatic verification tool for transactional memory Java programs executing under relaxed isolation levels. We certify which transactions in a program are safe to execute under Snapshot Isolation without triggering the write-skew anomaly, opening the way to run-time optimizations that may lead to considerable performance enhancements.
Our tool builds on a novel shape analysis technique based on Separation Logic to statically approximate the read- and write-sets of a transactional memory Java program. This technique is particularly challenging due to the presence of dynamically allocated memory.
We implement our technique and apply our tool to a set of intricate examples. We corroborate known results, certifying some of the examples for safe execution under Snapshot Isolation by proving the absence of write-skew anomalies. In other cases we identify transactions that potentially trigger the write-skew anomaly.

n/a

Software transactional memory is a promising programming model that adapts many concepts borrowed from the databases world to control concurrent accesses to main memory (RAM). This paper discusses how to support revertible operations, such as memory allocation and release, within software libraries that will be used in software memory transactional contexts. The proposal is based in the extension of the transaction life cycle state diagram with new states associated to the execution of user-defined handlers. The proposed approach is evaluated in terms of functionality and performance by way of a use case study and performance tests. Results demonstrate that the proposal and its current implementation are flexible, generic and efficient

The final thermally stimulated discharge current method allows a better selection of the experimental conditions for sample polarization. By decreasing the ratio between the charging time and the discharging time, the apparent peak is of the same order of magnitude as the genuine peaks and there is only a partial overlap between then. Two peaks have been identified for polyamide 11, one associated with the glass transition around 60 degrees C and the second associated with the Curie transition around 96 degrees C.

The final thermally stimulated discharge current method allows a better selection of the experimental conditions for sample polarization. By decreasing the ratio between the charging time and the discharging time, the apparent peak is of the same order of magnitude as the genuine peaks and there is only a partial overlap between then. Two peaks have been identified for polyamide 11, one associated with the glass transition around 60 °C and the second associated with the Curie transition around 96 °C.

The final thermally stimulated discharge current method allows a better selection of the experimental conditions for sample polarization. By decreasing the ratio between the charging time and the discharging time, the apparent peak is of the same order of magnitude as the genuine peaks and there is only a partial overlap between then. Two peaks have been identified for polyamide 11, one associated with the glass transition around 60 degrees C and the second associated with the Curie transition around 96 degrees C.

n/a

n/a

n/a

n/a

Interdigital electrodes (IE) are one of the most used transducers in different technical and analytical applications with the particular importance in the field of chemical and biological sensors. With the recent demand for lab-on-a-chip devices and the need for sensors miniaturization it becomes common the use of such transducers in structures with several dielectric layers (either substrates or superstrates). In a previous a work we proposed a model for the computation of the capacitance of these multi-layered structures using the techniques of conformal mapping and partial capacitance. Until now, that model has been used in applications where the permittivity of consecutive layers monotonically decreases from layer to layer (as we move away from the electrodes plane) giving excellent results. New applications, such as the use of Si/SiO2 substrates (to promote very smooth surfaces for electrodes deposition) or the use of passivation layers for the protection of electrodes (e.g. from liquids), among others, represent a new challenge for the computation of the overall capacitance since in these devices the permittivity can decrease from layer to layer. Under these conditions the original partial capacitance technique needs to be modified to include these new configurations. In this work we will discuss a new approach, splitting the concept of partial capacitance in parallel partial capacitance and serial partial capacitance where new conformal mapping transformations are proposed for the latter case. Hence this novel approach will extend our previous analytical model in order to account for the cases where there is a decrease in the permittivity from layer to layer. The results are compared with finite element simulation and experimental results. (C) 2011 Elsevier B.V. All rights reserved.

n/a

n/a

n/a

n/a

n/a

The early (2-4 d) effects of slowly imposed soil water deficit on Lupinus albus photosynthetic performance, carbon metabolism, and hormonal balance in different organs (leaf blade, stem stele, stem cortex, and root) were evaluated on 23-d-old plants (growth chamber assay). Our work shows that several metabolic adjustments occurred prior to alteration of the plant water status, implying that water deficit is perceived before the change in plant water status. The slow, progressive decline in soil water content started to be visible 3 d after withholding water (3 DAW). The earliest plant changes were associated with organ-specific metabolic responses (particularly in the leaves) and with leaf conductance and only later with plant water status and photosynthetic rate (4 DAW) or photosynthetic capacity (according to the Farquhar model; 6 DAW). Principal component analysis (PCA) of the physiological parameters, the carbohydrate and the hormone levels and their relative values, as well as leaf water-soluble metabolites full scan data (LC-MS/MS), showed separation of the different sampling dates. At 6 DAW classically described stress responses are observed, with plant water status, ABA level, and root hormonal balance contributing to the separation of these samples. Discrimination of earlier stress stages (3 and 4 DAW) is only achieved when the relative levels of indole-3-acetic acid (IAA), cytokinins (Cks), and carbon metabolism (glucose, sucrose, raffinose, and starch levels) are taken into account. Our working hypothesis is that, in addition to single responses (e.g. ABA increase), the combined alterations in hormone and carbohydrate levels play an important role in the stress response mechanism. Response to more advanced stress appears to be associated with a combination of cumulative changes, occurring in several plant organs. The carbohydrate and hormonal balance in the leaf (IAA to bioactive-Cks; soluble sugars to IAA and starch to IAA; relative abundances of the different soluble sugars) flag the initial responses to the slight decrease in soil water availability (10-15% decrease). Further alterations in sucrose to ABA and in raffinose to ABA relative values (in all organs) indicate that soil water availability continues to decrease. Such alterations when associated with changes in the root hormone balance indicate that the stress response is initiated. It is concluded that metabolic balance (e.g. IAA/bioactive Cks, carbohydrates/IAA, sucrose/ABA, raffinose/ABA, ABA/IAA) is relevant in triggering adjustment mechanisms.

n/a

n/a

n/a