ListarGI-GAC - Artigos por tema "Computational modeling"

Mostrando ítems 1-3 de 3

    • A Fast Solver for Large Tridiagonal Systems on Multi-Core Processors (Lass Library) 

      Valero-Lara, Pedro; Andrade, Diego; Sirvent, Raül; Labarta, Jesús; Fraguela, Basilio B.; Doallo, Ramón (Institute of Electrical and Electronics Engineers, 2019)
      [Abstract]: Many problems of industrial and scientific interest require the solving of tridiagonal linear systems. This paper presents several implementations for the parallel solving of large tridiagonal systems on ...

    • Affine Modeling of Program Traces 

      Rodríguez, Gabriel; Kandemir, Mahmut T.; Touriño, Juan (Institute of Electrical and Electronics Engineers, 2019-02-01)
      [Abstract] A formal, high-level representation of programs is typically needed for static and dynamic analyses performed by compilers. However, the source code of target applications is not always available in an analyzable ...

    • Parallel Pairwise Epistasis Detection on Heterogeneous Computing Architectures 

      González-Domínguez, Jorge; Ramos Garea, Sabela; Touriño, Juan; Schmidt, Bertil (Institute of Electrical and Electronics Engineers, 2016-08)
      [Abstract] Development of new methods to detect pairwise epistasis, such as SNP-SNP interactions, in Genome-Wide Association Studies is an important task in bioinformatics as they can help to explain genetic influences on ...