Louren{\c c}o, João, Diogo Sousa, Bruno C. Teixeira, and Ricardo Dias. "
Detecting concurrency anomalies in transactional memory programs."
Comput. Sci. Inf. Syst.. 8 (2011).
AbstractSoftware 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
R., Neagu E., C. Dias, Lança M. Carmo, Igreja R., Inacio P., and Marat-Mendes J. N. "
Discrimination between Space Charge and Dipolar Contributions in Ferroelectric Polymers."
14th International Symposium on Electrets. International Symposium on Electrets. 2011.
AbstractThe 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.