Zobrazeno 1 - 10
of 65
pro vyhledávání: '"Jorge A. Navas"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 169, Iss Proc. HCVS 2014, Pp 3-18 (2014)
We present a verification technique for program safety that combines Iterated Specialization and Interpolating Horn Clause Solving. Our new method composes together these two techniques in a modular way by exploiting the common Horn Clause representa
Externí odkaz:
https://doaj.org/article/7a4882e50836431dac19f408993eb0ae
Autor:
Juan Antonio González Gómez, Estefanía Márquez Martos, Jorge Juan Navas Morales, Santiago Domínguez Rosales, Irene Jado Gómez
Publikováno v:
Revista Española de Sanidad Penitenciaria, Vol 25, Iss 1, Pp 40-42 (2023)
Externí odkaz:
https://doaj.org/article/e5be381ea8664499a474e763276cb4be
Autor:
Daysi Mireya Llerena Montenegro, Verónica Sofía Miranda Benalcázar, Jorge Chalco Navas, Carlos Erazo Cheza
Publikováno v:
Revista Ecuatoriana de Pediatría, Vol 23, Iss 3 (2022)
Introducción: La Neumonía Adquirida en la Comunidad (NAC) es considerada un problema de salud pública, afecta especialmente a niños menores de 5 años. Los episodios que requieren hospitalización generan importantes gastos económicos institucio
Externí odkaz:
https://doaj.org/article/51adca1f0296421e85b2410a23a6e2a2
Autor:
Jorge A. Navas, Ashish Gehani
Publikováno v:
Communications of the ACM. 66:40-47
Leveraging scalable pointer analysis, value analysis, and dynamic analysis.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::63564779d1f2dec3df0e776392ffe932
https://doi.org/10.1145/3583112
https://doi.org/10.1145/3583112
Autor:
Jorge A. Navas, Ashish Gehani
Publikováno v:
Queue. 20:58-85
OCCAM-v2 leverages scalable pointer analysis, value analysis, and dynamic analysis to create an effective and efficient tool for specializing LLVM bitcode. The extent of the code-size reduction achieved depends on the specific deployment configuratio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::60287642f3296641f865fd400916e193
https://doi.org/10.1145/3570922
https://doi.org/10.1145/3570922
Publikováno v:
The Ecuador Journal of Medicine. 2:68-76
Resumen La pandemia por COVID-19 provocó el aislamiento domiciliario como medida preventiva inicial. Los pacientes en edades pediátricas han sido los más afectados por estas medidas, provocando en ellos efectos psicológicos, tales como estados de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e97a197afe54164c56541f5eebc461b6
https://doi.org/10.46721/tejom-vol2issesp-2022-68-76
https://doi.org/10.46721/tejom-vol2issesp-2022-68-76
Autor:
Kamy Sepehrnoori, Mojdeh Delshad, Bruno Ramon Batista Fernandes, Jose Francisco Zapata, Jorge Andres Navas Guzman
Publikováno v:
WSEAS TRANSACTIONS ON ENVIRONMENT AND DEVELOPMENT. 16:23-33
Oil and gas companies are looking for proven hydrocarbon reserves from their mature drained reservoirs to extend the production and economic life of these fields. The chemical enhanced oil recovery (CEOR) is an attractive water-based EOR method for t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::691f9b407857d8e42ea54746288b25b1
https://doi.org/10.37394/232015.2020.16.3
https://doi.org/10.37394/232015.2020.16.3
Publikováno v:
Static Analysis ISBN: 9783031223075
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3a6bb8e4502c9d59c0c4e547433186b5
https://doi.org/10.1007/978-3-031-22308-2_11
https://doi.org/10.1007/978-3-031-22308-2_11
Autor:
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard Trefler, Valentin Wüstholz, Arie Gurfinkel
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030945824
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4572a81747029148f4b51f975e49cc4a
https://doi.org/10.1007/978-3-030-94583-1_21
https://doi.org/10.1007/978-3-030-94583-1_21
Autor:
Arie Gurfinkel, Jorge A. Navas
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030955601
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eb6f80a85b4b5249ae7c43452925e485
https://doi.org/10.1007/978-3-030-95561-8_8
https://doi.org/10.1007/978-3-030-95561-8_8