n/a

n/a

n/a

n/a

n/a

n/a

This paper presents a system to harvest electromagnetic energy from the environment. The proposed solution differs from others already existent in the literature because it makes possible to harvest energy from a large frequency spectrum. Typically the existing energy harvesting systems only gather energy from one specific source, thus not taking advantage of the several RF sources existing in one place. The full system and its componentsare simulated and implemented, and the results obtained are shown. The system harvest energy from UHF sources, and converts the harvested energy to a DC voltage, in order to feed electronic devices. This conversion is made through the utilization of a voltage multiplier, followed by a voltage regulator.

Concurrent programs may suffer from concurrency anomalies that may lead to erroneous and unpredictable program behaviors. To ensure program correctness, these anomalies must be diagnosed and corrected. This paper addresses the detection of both low- and high-level anomalies in the Transactional Memory setting. We propose a static analysis procedure and a framework to address Transactional Memory anomalies. We start by dealing with the classic case of low-level dataraces, identifying concurrent accesses to shared memory cells that are not protected within the scope of a memory transaction. Then, we address the case of high-level dataraces, bringing the programmer’s attention to pairs of memory transactions that were misspecified and should have been combined into a single transaction. Our framework was applied to a set of programs, collected form different sources, containing well known low- and high-level anomalies. The framework demonstrated to be accurate, confirming the effectiveness of using static analysis techniques to precisely identify concurrency anomalies in Transactional Memory programs.

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

n/a

The mechanism proposed by Evans to justify the selectivity obtained in Lewis acid catalyzed Diels-Alder reactions of cyclopentadiene with acyloxazolidinones has been generalized and used in the rationalization of selectivities obtained in many other systems. However, we recently proposed an alternative mechanism, on the basis of open-chain mono- and bicomplexes, that avoids the need for chelates and explains the selectivity obtained by Evans. In this manuscript we apply our proposal to the catalyzed conjugated addition of amines to acylimidazolidinones, reported by Cardillo, and we clearly show that aluminum chelates are not involved in the reaction, as they induce no selectivity, while Cardillo observed high experimental selectivities. Our data equally show that bicomplexes with carbonyl parallel orientation, proposed by Cardillo to justify the experimental selectivity with nonchelating Lewis acids, indeed induce the opposite selectivity and have also to be dismissed. On the other hand, our mechanistic proposal allows for the full rationalization of the data obtained by Cardillo with aluminum, boron, or zinc Lewis acids and supports our previous proposal on DA cycloadditions of dienes to Evans chiral auxiliary derivatives.