Zobrazeno 1 - 10
of 51
pro vyhledávání: '"Mariño, Julio"'
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming June 2023 133
During its lifetime, a program suffers several changes that seek to improve or to augment some parts of its functionality. However, these modifications usually also introduce errors that affect the already-working code. There are several approaches a
Externí odkaz:
http://arxiv.org/abs/1808.07937
Publikováno v:
EPTCS 237, 2017, pp. 52-67
The current trends in next-generation exascale systems go towards integrating a wide range of specialized (co-)processors into traditional supercomputers. Due to the efficiency of heterogeneous systems in terms of Watts and FLOPS per surface unit, op
Externí odkaz:
http://arxiv.org/abs/1701.07123
Publikováno v:
EPTCS 237, 2017, pp. 34-51
Obtaining good performance when programming heterogeneous computing platforms poses significant challenges. We present a program transformation environment, implemented in Haskell, where architecture-agnostic scientific C code with semantic annotatio
Externí odkaz:
http://arxiv.org/abs/1701.03319
This volume contains the proceedings of PROHA 2016, the first workshop on Program Transformation for Programmability in Heterogeneous Architectures, held on March 12, 2016 in Barcelona, Spain, as an affiliated workshop of CGO 2016, the 14th Internati
Externí odkaz:
http://arxiv.org/abs/1603.03488
The current trend in next-generation exascale systems goes towards integrating a wide range of specialized (co-)processors into traditional supercomputers. However, the integration of different specialized devices increases the degree of heterogeneit
Externí odkaz:
http://arxiv.org/abs/1603.03022
Obtaining good performance when programming heterogeneous computing platforms poses significant challenges for the programmer. We present a program transformation environment, implemented in Haskell, where architecture-agnostic scientific C code with
Externí odkaz:
http://arxiv.org/abs/1603.03011
Autor:
Marpons-Ucero, Guillem, Mariño, Julio, Herranz, Ángel, Fredlund, Lars-Åke, Carro, Manuel, Moreno-Navarro, Juan José
Some approaches to increasing program reliability involve a disciplined use of programming languages so as to minimise the hazards introduced by error-prone features. This is realised by writing code that is constrained to a subset of the a priori ad
Externí odkaz:
http://arxiv.org/abs/0711.0344
In order to alleviate the inefficiencies caused by the interaction of the logic and functional sides, integrated languages may take advantage of \emph{demand} information -- i.e. knowing in advance which computations are needed and, to which extent,
Externí odkaz:
http://arxiv.org/abs/cs/0602008
Autor:
Ballesteros, Ignacio, Benac-Earle, Clara, de Barrio, Luis Eduardo Bueso, Fredlund, Lars-Åke, Herranz, Ángel, Mariño, Julio
Smart contracts on the Ethereum blockchain continue to suffer from well-published problems. A particular example is the well-known smart contract reentrancy vulnerability, which continues to be exploited. In this article, we present preliminary work
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::07da2d6695bec13e878ef693e232482b