E-LIB Suche - Ergebnisse für: Albuquerque, Higo

1

Verifying CUDA programs using SMT-based context-bounded mod..:

, In: Proceedings of the 31st Annual ACM Symposium on Applied Computing,

Pereira, Phillipe ; Albuquerque, Higo ; Marques, Hendrio... - p. 1648-1653 , 2016

2

SMT‐based context‐bounded model checking for CUDA programs:

Pereira, Phillipe ; Albuquerque, Higo ; da Silva, Isabela...
Concurrency and Computation: Practice and Experience. 29 (2016) 22 - p. , 2016

Link: https://doi.org/10.1002/..

3

Counterexample guided inductive optimization based on satis..:

Araújo, Rodrigo F. ; Albuquerque, Higo F. ; de Bessa, Iury V...
Science of Computer Programming. 165 (2018) - p. 3-23 , 2018

Link: https://doi.org/10.1016/..

4

Uma abordagem de otimiza????o guiada por contraexemplos usa..:

Albuquerque, Higo Ferreira ; http://lattes.cnpq.br/6928523088957060
ALBUQUERQUE, Higo Ferreira. Uma abordagem de otimiza????o guiada por contraexemplos usando solucionadores SAT e SMT. 2019. 100 f. Disserta????o (Mestrado em Engenharia El??trica) - Universidade Federal do Amazonas, Manaus, 2019.. , 2019

Link: https://tede.ufam.edu.br..

5

Counterexample guided inductive optimization based on satis..:

Araújo, Rodrigo F ; Albuquerque, Higo F ; De Bessa, Iury V..
Araújo , R F , Albuquerque , H F , De Bessa , I V , Cordeiro , L C & Chaves Filho , J E 2018 , ' Counterexample guided inductive optimization based on satisfiability modulo theories ' , Science of Computer Programming , vol. 165 , pp. 3-23 . https://doi.org/10.1016/j.scico.2017.10.004. , 2018

Link: https://research.manches..

6

Counterexample Guided Inductive Optimization:

Araujo, Rodrigo F ; Albuquerque, Higo F ; de Bessa, Iury V..
http://arxiv.org/abs/1704.03738. , 2017

Link: http://arxiv.org/abs/170..

7

OptCE: A Counterexample-Guided Inductive Optimization Solve:

Albuquerque, Higo F ; Araújo, Rodrigo F ; Bessa, Iury V..
Albuquerque , H F , Araújo , R F , Bessa , I V , Cordeiro , L C & De Lima Filho , E B 2017 , OptCE: A Counterexample-Guided Inductive Optimization Solver . in Brazilian Symposium on Formal Methods . Formal Methods: Foundations and Applications , vol. 10623 , pp. 125-141 . https://doi.org/10.1007/978-3-319-70848-5_9. , 2017

Link: https://research.manches..

8

Biossegurança nos atendimentos odontológicos frente à Covid..:

Monsores, Kathleen Dantas ; Norberto, Giovana Dantas ; Abreu Filho, Dimas Soares de...
Research, Society and Development. 11 (2022) 8 - p. e22111830624 , 2022

Link: https://doi.org/10.33448..

9

Possibilidades clínicas do infiltrante resinoso na odontolo..:

Lima, Marcia Maria Oliveira ; Pinheiro, Karyne Neyva Braga ; Pereira, Higo Hiago Alves...
Research, Society and Development. 11 (2022) 8 - p. e10111830615 , 2022

Link: https://doi.org/10.33448..