Zobrazeno 1 - 10
of 115
pro vyhledávání: '"Castaño, Rodrigo"'
Autor:
Castaño, Rodrigo1, Darío Puerta-Díaz, Juan2, Jaramillo, Ricardo3, José Palacio-Fuenmayor, Luis3, Rodríguez-Molina, Mauricio3, Patricia Molina-Meneses, Sandra4, Fernando Caycedo-Medina, Diego5, Isaza-Gómez, Esteban5, Vásquez-Maya, Camilo6, Salazar-Ochoa, Santiago7, Esteban Puerta-Botero, Juan8 jepuerta96@gmail.com, Cadavid, Isabella9, Álvarez, Óscar10
Publikováno v:
Revista Colombiana de Gastroenterología. ene-mar2024, Vol. 39 Issue 1, p3-13. 11p.
In this paper we propose a new parallel architecture based on Big Data technologies for real-time sentiment analysis on microblogging posts. Polypus is a modular framework that provides the following functionalities: (1) massive text extraction from
Externí odkaz:
http://arxiv.org/abs/1801.03710
Autor:
Castaño, Rodrigo1,2 rcastanoll@hotmail.com, Lopera, Jorge3, Jaramillo, Ricardo4, José Palacios, Luis4, Rodríguez, Mauricio4, Caycedo, Diego5, Isaza, Esteban5, Salazar, Santiago6, Vásquez, Camilo7, Esteban Puerta, Juan8, Cadavid, Isabella8, Álvarez, Óscar9
Publikováno v:
Revista Colombiana de Gastroenterología. oct-dic2023, Vol. 38 Issue 4, p448-459. 12p.
Software Model Checkers have shown outstanding performance improvements in recent times. Moreover, for specific use cases, formal verification techniques have shown to be highly effective, leading to a number of high-profile success stories. However,
Externí odkaz:
http://arxiv.org/abs/1706.03796
Software model checking constitutes an undecidable problem and, as such, even an ideal tool will in some cases fail to give a conclusive answer. In practice, software model checkers fail often and usually do not provide any information on what was ef
Externí odkaz:
http://arxiv.org/abs/1607.06857
Autor:
Castaño, Rodrigo, Galeotti, Juan Pablo, Garbervetsky, Diego, Tapicer, Jonathan, Zoppi, Edgardo
Publikováno v:
EPTCS 139, 2014, pp. 1-15
In this paper we present an approach to check resource consumption contracts using an off-the-shelf static analyzer. We propose a set of annotations to support resource usage specifications, in particular, dynamic memory consumption constraints. Sinc
Externí odkaz:
http://arxiv.org/abs/1401.0968
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Martín Castaño, Rodrigo1, Monar, Fernando2
Publikováno v:
Especial Directivos. Dec1stQuincena2021, Issue 1811, p74-80. 7p.
Autor:
Castaño, Rodrigo Martín1
Publikováno v:
Especial Directivos. sep1st Quincena2021, Issue 1805, p60-64. 5p.
Autor:
Castaño, José M., Castaño, Rodrigo
Publikováno v:
In Theoretical Computer Science 7 September 2012 450:92-108