Vera-Cruz, Rui, and Ana Cruz Lopes. "
O Turismo Cultural e o Património."
Anuário do Património 2 - Boas Práticas de Conservação e Restauro. Lisbon: Canto Redondo, 2014. 260-271.
Fiedor, Jan, Zdeněk Letko, João Lourenço, and Tomáš Vojnar. "
On Monitoring C/C++ Transactional Memory Programs."
Mathematical and Engineering Methods in Computer Science. Eds. Petr Hliněný, Zdeněk Dvořák, Jiří Jaroš, Jan Kofroň, Jan Kořenek, Petr Matula, and Karel Pala. Vol. 8934. Lecture Notes in Computer Science, 8934. Springer International Publishing, 2014. 73-87.
AbstractTransactional memory (TM) is an increasingly popular technique for synchronising threads in multi-threaded programs. To address both correctness and performance-related issues of TM programs, one needs to monitor and analyse their execution. However, monitoring concurrent programs (including TM programs) may have a non-negligible impact on their behaviour, which may hamper the objectives of the intended analysis. In this paper, we propose several approaches for monitoring TM programs and study their impact on the behaviour of the monitored programs. The considered approaches range from specialised lightweight monitoring to generic heavyweight monitoring. The implemented monitoring tools are publicly available to the scientific community, and the implementation techniques used for lightweight monitoring of TM programs may be used as an inspiration for developing other specialised lightweight monitors.
Alexandre, Fernando, Ricardo Marques, and Hervé Paulino On the Support of Task-Parallel Algorithmic Skeletons for Multi-GPU Computing. 28th Annual ACM Symposium on Applied Computing, SAC '14. Gyeongju, South Korea, March 24-28, 2014: ACM, 2014.
AbstractAn emerging trend in the field of Graphics Processing Unit (GPU) computing is the harnessing of multiple devices to cope with scalability and performance requirements. How- ever, multi-GPU execution adds new challenges to the al- ready complex world of General Purpose computing on GPUs (GPGPU), such as the efficient problem decomposition, and dealing with device heterogeneity. To this extent, we pro- pose the use of the Marrow algorithmic skeleton framework (ASkF) to abstract most of the details intrinsic to the pro- gramming of such platforms. To the best of our knowledge, Marrow is the first ASkF to support skeleton nesting on single and (now) multiple GPU systems. In this paper we present how it can transparently distribute the execution of skeleton compositions among a set of, possibly, hetero- geneous devices. An experimental evaluation assesses the proposal’s effectiveness, from a scalability and performance perspective, with good results.
Maiti, Biplab K., Luisa B. Maia, Kuntal Pal, Bholanath Pakhira, Teresa Aviles, Isabel Moura, Sofia R. Pauleta, Jose L. Nunez, Alberto C. Rizzi, Carlos D. Brondino, Sabyasachi Sarkar, and Jose J. G. Moura. "
One electron reduced square planar bis(benzene-1,2-dithiolato) copper dianionic complex and redox switch by O2/HO-."
Inorganic Chemistry. 53 (2014): 12799-12808.
Abstract