Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

Publicações por HumanISE

2017

The ANTAREX tool flow for monitoring and autotuning energy efficient HPC systems

Autores
Silvano, C; Agosta, G; Barbosa, JG; Bartolini, A; Beccari, AR; Benini, L; Bispo, J; Cardoso, JMP; Cavazzoni, C; Cherubin, S; Cmar, R; Gadioli, D; Manelfi, C; Martinovic, J; Nobre, R; Palermo, G; Palkovic, M; Pinto, P; Rohou, E; Sanna, N; Slaninová, K;

Publicação
2017 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2017, Pythagorion, Greece, July 17-20, 2017

Abstract
Designing and optimizing HPC applications are difficult and complex tasks, which require mastering specialized languages and tools for performance tuning. As this is incompatible with the current trend to open HPC infrastructures to a wider range of users, the availability of more sophisticated programming languages and tools to assist and automate the design stages is crucial to provide smoothly migration paths towards novel heterogeneous HPC platforms. The ANTAREX project intends to address these issues by providing a tool flow, a Domain Specific Launguage and APIs to provide application's adaptivity and to runtime manage and autotune applications for heterogeneous HPC systems. Our DSL provides a separation of concerns, where analysis, runtime adaptivity, performance tuning and energy strategies are specified separately from the application functionalities with the goal to increase productivity, significantly reduce time to solution, while making possible the deployment of substantially improved implementations. This paper presents the ANTAREX tool flow and shows the impact of optimization strategies in the context of one of the ANTAREX use cases related to personalized drug design. We show how simple strategies, not devised by typical compilers, can substantially speedup the execution and reduce energy consumption. © 2017 IEEE.

2017

Embedded Computing for High Performance: Efficient Mapping of Computations Using Customization, Code Transformations and Compilation

Autores
Cardoso, JMP; Coutinho, JGF; Diniz, PC;

Publicação
Embedded Computing for High Performance: Efficient Mapping of Computations Using Customization, Code Transformations and Compilation

Abstract
Embedded Computing for High Performance: Design Exploration and Customization Using High-level Compilation and Synthesis Tools provides a set of real-life example implementations that migrate traditional desktop systems to embedded systems. Working with popular hardware, including Xilinx and ARM, the book offers a comprehensive description of techniques for mapping computations expressed in programming languages such as C or MATLAB to high-performance embedded architectures consisting of multiple CPUs, GPUs, and reconfigurable hardware (FPGAs). The authors demonstrate a domain-specific language (LARA) that facilitates retargeting to multiple computing systems using the same source code. In this way, users can decouple original application code from transformed code and enhance productivity and program portability. After reading this book, engineers will understand the processes, methodologies, and best practices needed for the development of applications for high-performance embedded computing systems. Focuses on maximizing performance while managing energy consumption in embedded systems Explains how to retarget code for heterogeneous systems with GPUs and FPGAs Demonstrates a domain-specific language that facilitates migrating and retargeting existing applications to modern systems Includes downloadable slides, tools, and tutorials.

2017

Message from ANDARE'17 general and program chairs

Autores
Bartolini, A; Cardoso, JMP; Silvano, C; Palermo, G; Barbosa, J; Marongiu, A; Mustafa, D; Rohou, E; Mantovani, F; Agosta, G; Martinovic, J; Pingali, K; Slaninová, K; Benini, L; Cytowski, M; Palkovic, M; Gerndt, M; Sanna, N; Diniz, P; Rusitoru, R; Eigenmann, R; Patki, T; Fahringer, T; Rosendard, T;

Publicação
ACM International Conference Proceeding Series

Abstract

2017

Cargo dynamic stability in the container loading problem - a physics simulation tool approach

Autores
Ramos, AG; Neto Jacob, JTP; Justo, JF; Oliveira, JF; Rodrigues, R; Gomes, AM;

Publicação
Int. J. Simul. Process. Model.

Abstract
The container loading problem (CLP) is a real-world driven, combinatorial optimisation problem that addresses the maximisation of space usage in cargo transport units. The research conducted on this problem failed to fulfill the real needs of the transportation industry, owing to the inadequate representation of practical-relevant constraints. The dynamic stability of cargo is one of the most important practical constraints. It has been addressed in the literature in an over-simplified way which does not translate to real-world stability. This paper proposes a physics simulation tool based on a physics engine, which can be used to translate real-world stability into the CLP. To validate the tool, a set of benchmark tests is proposed and the results obtained with the physics simulation tool are compared to the state-of-the-art simulation engineering software Abaqus Unified FEA. Analytical calculations have been also conducted, and it was also possible to conclude that the tool proposed is a valid alternative. Copyright © 2017 Inderscience Enterprises Ltd.

2017

Assessment of Microsoft Kinect in the Monitoring and Rehabilitation of Stroke Patients

Autores
Abreu, J; Rebelo, S; Paredes, H; Barroso, J; Martins, P; Reis, A; Amorim, EV; Filipe, V;

Publicação
RECENT ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2

Abstract
Telerehabilitation is an alternative way for physical therapy of stroke patients. The monitoring and correction of exercises can be done through the analysis of body movements recorded by an optical motion capture system. This paper presents a first study to assess the use of Microsoft Kinect in the monitoring and rehabilitation of patients who have suffered a stroke. A comparative study was carried out to assess the accuracy of joint angle measurement with the Microsoft Kinect (for Windows and for Xbox One) and Optitrack (TM). The results obtained in the first experiment showed a good agreement in the measurements between the three systems, in almost all movements. These results suggest that Microsoft Kinect, a low cost and markerless motion capture system, can be considered as an alternative to complex and high cost motion capture devices for the monitoring and rehabilitation of stroke patients.

2017

Assistive Platforms for the Visual Impaired: Bridging the Gap with the General Public

Autores
Rocha, T; Fernandes, H; Reis, A; Paredes, H; Barroso, J;

Publicação
RECENT ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2

Abstract
The visual impaired are a specific minority group that can benefit from specific assistive systems in order to mitigate their mobility and accessibility constrains. In the last decade, our research group has been integrating and developing assistive technologies, focused in human-computer interaction, artificial vision, assisted navigation, pervasive computing, among others. Several projects and prototypes have been developed with the main objective of improving the blind's autonomy, mobility, and quality of life. Currently the technology has reached a maturation point that allows the development of systems based on video capturing, image recognition and location referencing, which are key for providing features of artificial vision, assisted navigation and spatial perception. The miniaturization of electronics can be used to create devices such as electronic canes that equipped with sensors can provide so much more contextual information to a blind user. The adoption of these systems is dependent of an information catalogue regarding points of interest and their physical location reference. In this paper we describe the current work on assistive systems for the blind and propose a new perspective on using the base information of those systems to provide new services to the general public. By bridging the gap between the two groups, we expect to further advance the development of the current systems and contribute to their economic sustainability.

  • 280
  • 589