In this paper we present MoTh, a tool that uses static analysis to enable the automatic verification of concurrency anomalies in Transactional Memory Java programs. Currently MoTh detects high-level dataraces and stale-value errors, but it is extendable by plugging-in sensors, each sensor implementing an anomaly detecting algorithm. We validate and benchmark MoTh by applying it to a set of well known concurrent buggy programs and by close comparison of the results with other similar tools. The results achieved so far are very promising, yielding good accuracy while triggering only a very limited number of false warnings.

An equivalent model and electromechanical characteristics for the disk motor was obtained based on the Steinmetz parameters. This paper describes a series of tests conducted on an axial flux motor, equipped with an aluminum rotor disc and an YBCO high temperature superconducting rotor disc, at liquid nitrogen temperature (77 K). The rotating magnetic field was produced by a four-pole, three-phase stator winding, at 50 Hz. At asynchronous permanent regime, Steinmetz-type models are able to describe both motors' behavior. From the performed tests, the parameters of both motors' models were deduced. A variable load was used to obtain both motor's characteristics (conventional and superconducting). Experimental obtained characteristics of both motors are compared with the ones predicted from parameters' calculation. The HTS motor provides high efficiency then the conventional ones.

n/a

n/a

n/a

The effect of different mild post-annealing treatments in air, at 270 degrees C, for 4-6 min, on the optical, electrical, structural and chemical properties of copper sulphide (CuxS) thin films deposited at room temperature are investigated. CuxS films, 70nm thick, are deposited on glass substrates by vacuum thermal evaporation from a Cu2S:S (50:50 wt.%) sulphur rich powder mixture. The as-deposited highly conductive crystalline CuS (covellite) films show high carrier concentration (similar to 10(22) cm(-3)), low electrical resistivity (similar to 10(-4) Omega cm) and inconclusive p-type conduction. After the mild post-annealing, these films display increasing values of resistivity (similar to 10(-3) to similar to 10(-2) Omega cm) with annealing time and exhibit conclusive p-type conduction. An increase of copper content in CuxS phases towards the semiconductive Cu2S (chalcocite) compound with annealing time is reported, due to re-evaporation of sulphur from the films. However, the latter stoichiometry was not obtained, which indicates the presence of vacancies in the Cu lattice. In the most resistive films a Cu2O phase is also observed, diminishing the amount of available copper to combine with sulphur, and therefore the highest values of optical transmittance are reached (65%). The appearance on the surface of amorphous sulphates with annealing time increase is also detected as a consequence of sulphur oxidation and replacement of sulphur with oxygen. All annealed films are copper deficient in regards to the stoichiometric Cu2S and exhibit stable p-type conductivity. (C) 2011 Elsevier B.V. All rights reserved.

The effect of different mild post-annealing treatments in air, at 270 degrees C, for 4-6 min, on the optical, electrical, structural and chemical properties of copper sulphide (CuxS) thin films deposited at room temperature are investigated. CuxS films, 70nm thick, are deposited on glass substrates by vacuum thermal evaporation from a Cu2S:S (50:50 wt.%) sulphur rich powder mixture. The as-deposited highly conductive crystalline CuS (covellite) films show high carrier concentration (similar to 10(22) cm(-3)), low electrical resistivity (similar to 10(-4) Omega cm) and inconclusive p-type conduction. After the mild post-annealing, these films display increasing values of resistivity (similar to 10(-3) to similar to 10(-2) Omega cm) with annealing time and exhibit conclusive p-type conduction. An increase of copper content in CuxS phases towards the semiconductive Cu2S (chalcocite) compound with annealing time is reported, due to re-evaporation of sulphur from the films. However, the latter stoichiometry was not obtained, which indicates the presence of vacancies in the Cu lattice. In the most resistive films a Cu2O phase is also observed, diminishing the amount of available copper to combine with sulphur, and therefore the highest values of optical transmittance are reached (65%). The appearance on the surface of amorphous sulphates with annealing time increase is also detected as a consequence of sulphur oxidation and replacement of sulphur with oxygen. All annealed films are copper deficient in regards to the stoichiometric Cu2S and exhibit stable p-type conductivity. (C) 2011 Elsevier B.V. All rights reserved.

n/a

n/a

n/a

n/a

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.

Actualmente o mercado residencial de computadores inclui não só multiprocessadores com diversos núcleos (CPUs) como também placas gráficas (GPUs) cuja capacidade de processamento tem evoluído a um ritmo exponencial. Este poder computacional pode ser utilizado para outros fins para além do processamento gráfico, tal como o processamento de algoritmos comuns em computação científica. Neste artigo é apresentada, discutida e avaliada a framework Cheetah, uma framework que distribui programas computacionalmente exigentes sobre uma rede de CPUs e GPUs. Um programador que utilize a Cheetah apenas necessita de especificar o seu programa como um conjunto de kernels OpenCL, relegando para a framework a distribuição destes pelas unidades de processamento disponíveis. O programa pode assim escalar à medida que são adicionados novos recursos computacionais, sem quaisquer esforços adicionais de adaptação ou recompilação. Os testes realizados demonstraram a capacidade de a framework providenciar aceleracçõs até duas ordens de grandeza com um esforço de desenvolvimento reduzido, mesmo quando na presença de recursos computacionais limitados.

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

Under the framework of the European project named COPOWER, the possibility to partially substitute coal used in a 243 MWth Power Plant by biomass and non-hazardous wastes for the production of electricity and steam was assessed. Three combustion scenarios were studied, based on the combustion tests performed in a Power Plant located in Duisburg (Germany): Scenario 0 (Sc0) – combustion of coal; Scenario 1 (Sc1) – combustion of coal + sewage sludge (SS) + meat and bone meal (MBM); Scenario 2 (Sc2) – coal + SS + wood pellets (WP). An environmental and socio-economic assessment of these three scenarios was performed. In the environmental point of view, Sc0 was the worst scenario, mainly due to the emission of greenhouse gases (GHG). Sc1 was the best scenario, mainly due to the reduction of GHG emission, eutrophication chemical species and ozone depletion gases. In the socio-economic point of view, Sc0 was the worst scenario, mainly due to the absence of GHG abatement, and Sc1 was the best scenario due to the best cost of electricity production and negative cost of avoided emissions.

n/a