Julio Mariño | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Manuel Carro
9 publications
Salvador Tamarit
6 publications
Sergio Pérez
5 publications
Guillermo Vigueras
2 publications
Lars-Åke Fredlund
1 publication

research

∙ 08/23/2018

Runtime verification in Erlang by using contracts

During its lifetime, a program suffers several changes that seek to impr...

0 Lars-Åke Fredlund, et al. ∙

research

∙ 01/25/2017

Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code

The current trends in next-generation exascale systems go towards integr...

0 Guillermo Vigueras, et al. ∙