Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for +publisher:"Universidade Federal do Amazonas" +contributor:("Cordeiro, Lucas Carvalho"). Showing records 1 – 18 of 18 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Gadelha, Mikhail Yasha Ramalho. Verificação baseada em indução matemática para programas C++.

Degree: 2013, Universidade Federal do Amazonas

A utilização de sistemas embarcados, sistemas computacionais especializados para realizar uma função em sistemas maiores, eletrônicos ou mecânicos, vem crescendo no dia a dia das… (more)

Subjects/Keywords: Verificação formal; Prova por indução; Linguagem de programação C++; Formal verification; Proof by induction; C++ programming language; ENGENHARIAS: ENGENHARIA ELÉTRICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gadelha, M. Y. R. (2013). Verificação baseada em indução matemática para programas C++. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/4497

Chicago Manual of Style (16th Edition):

Gadelha, Mikhail Yasha Ramalho. “Verificação baseada em indução matemática para programas C++.” 2013. Masters Thesis, Universidade Federal do Amazonas. Accessed October 25, 2020. http://tede.ufam.edu.br/handle/tede/4497.

MLA Handbook (7th Edition):

Gadelha, Mikhail Yasha Ramalho. “Verificação baseada em indução matemática para programas C++.” 2013. Web. 25 Oct 2020.

Vancouver:

Gadelha MYR. Verificação baseada em indução matemática para programas C++. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2013. [cited 2020 Oct 25]. Available from: http://tede.ufam.edu.br/handle/tede/4497.

Council of Science Editors:

Gadelha MYR. Verificação baseada em indução matemática para programas C++. [Masters Thesis]. Universidade Federal do Amazonas; 2013. Available from: http://tede.ufam.edu.br/handle/tede/4497

2. Abreu, Renato Barbosa. Avaliação de projetos de filtros digitais de ponto-fixo usando teorias do módulo da satisfatibilidade.

Degree: 2014, Universidade Federal do Amazonas

Atualmente, os filtros digitais são empregados em uma ampla variedade de aplicações para processamento de sinais, utilizando tanto processadores de ponto flutuante quanto de ponto… (more)

Subjects/Keywords: Implementação de filtros digitais; Processamento de sinais - Estouro aritmético; Processamento de sinais - Ruídos indesejados; ESBMC; Teoria do módulo da satisfatibilidade; Model checking; ENGENHARIAS: ENGENHARIA ELÉTRICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Abreu, R. B. (2014). Avaliação de projetos de filtros digitais de ponto-fixo usando teorias do módulo da satisfatibilidade. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/4495

Chicago Manual of Style (16th Edition):

Abreu, Renato Barbosa. “Avaliação de projetos de filtros digitais de ponto-fixo usando teorias do módulo da satisfatibilidade.” 2014. Masters Thesis, Universidade Federal do Amazonas. Accessed October 25, 2020. http://tede.ufam.edu.br/handle/tede/4495.

MLA Handbook (7th Edition):

Abreu, Renato Barbosa. “Avaliação de projetos de filtros digitais de ponto-fixo usando teorias do módulo da satisfatibilidade.” 2014. Web. 25 Oct 2020.

Vancouver:

Abreu RB. Avaliação de projetos de filtros digitais de ponto-fixo usando teorias do módulo da satisfatibilidade. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2014. [cited 2020 Oct 25]. Available from: http://tede.ufam.edu.br/handle/tede/4495.

Council of Science Editors:

Abreu RB. Avaliação de projetos de filtros digitais de ponto-fixo usando teorias do módulo da satisfatibilidade. [Masters Thesis]. Universidade Federal do Amazonas; 2014. Available from: http://tede.ufam.edu.br/handle/tede/4495

3. Trindade, Alessandro Bezerra. Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados.

Degree: 2015, Universidade Federal do Amazonas

Quando se realiza um coprojeto de hardware/software para sistemas embarcados, emerge o problema de se decidir qual função do sistema deve ser implementada em hardware… (more)

Subjects/Keywords: Coprojeto hardware/software; Sistemas embarcados; Particionamento; Programação linear inteira; Algoritmo genético; Verificação de modelos; Hardware/software co-design; Embedded systems; Partitioning; Integer linear programming; Genetic algorithm; Model checking; ENGENHARIAS: ENGENHARIA ELÉTRICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Trindade, A. B. (2015). Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/4091

Chicago Manual of Style (16th Edition):

Trindade, Alessandro Bezerra. “Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados.” 2015. Masters Thesis, Universidade Federal do Amazonas. Accessed October 25, 2020. http://tede.ufam.edu.br/handle/tede/4091.

MLA Handbook (7th Edition):

Trindade, Alessandro Bezerra. “Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados.” 2015. Web. 25 Oct 2020.

Vancouver:

Trindade AB. Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2015. [cited 2020 Oct 25]. Available from: http://tede.ufam.edu.br/handle/tede/4091.

Council of Science Editors:

Trindade AB. Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados. [Masters Thesis]. Universidade Federal do Amazonas; 2015. Available from: http://tede.ufam.edu.br/handle/tede/4091

4. Januário, Francisco de Assis Pereira. BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking.

Degree: 2015, Universidade Federal do Amazonas

O desenvolvimento de programas escritos na linguagem de programação Lua, que é muito utilizada em aplicações para TV digital e jogos, pode gerar erros, deadlocks,… (more)

Subjects/Keywords: Linguagem Lua; TV digital; Verificação de modelos - BMCLua; Efficient SMT-Based Context-Bounded Model Checker (ESBMC); ENGENHARIAS: ENGENHARIA ELÉTRICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Januário, F. d. A. P. (2015). BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/4539

Chicago Manual of Style (16th Edition):

Januário, Francisco de Assis Pereira. “BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking.” 2015. Masters Thesis, Universidade Federal do Amazonas. Accessed October 25, 2020. http://tede.ufam.edu.br/handle/tede/4539.

MLA Handbook (7th Edition):

Januário, Francisco de Assis Pereira. “BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking.” 2015. Web. 25 Oct 2020.

Vancouver:

Januário FdAP. BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2015. [cited 2020 Oct 25]. Available from: http://tede.ufam.edu.br/handle/tede/4539.

Council of Science Editors:

Januário FdAP. BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking. [Masters Thesis]. Universidade Federal do Amazonas; 2015. Available from: http://tede.ufam.edu.br/handle/tede/4539

5. Ismail, Hussama Ibrahim. Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo.

Degree: 2015, Universidade Federal do Amazonas

O uso extensivo de controladores digitais implementados em ponto-fixo demandam um maior esforço para prevenir erros de projeto que aparecem no domínio discreto. Este trabalho… (more)

Subjects/Keywords: Controladores digitais; Verificação de modelos; Sistemas de controle; Controladores programáveis - Software; ENGENHARIAS: ENGENHARIA ELÉTRICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ismail, H. I. (2015). Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/4984

Chicago Manual of Style (16th Edition):

Ismail, Hussama Ibrahim. “Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo.” 2015. Masters Thesis, Universidade Federal do Amazonas. Accessed October 25, 2020. http://tede.ufam.edu.br/handle/tede/4984.

MLA Handbook (7th Edition):

Ismail, Hussama Ibrahim. “Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo.” 2015. Web. 25 Oct 2020.

Vancouver:

Ismail HI. Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2015. [cited 2020 Oct 25]. Available from: http://tede.ufam.edu.br/handle/tede/4984.

Council of Science Editors:

Ismail HI. Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo. [Masters Thesis]. Universidade Federal do Amazonas; 2015. Available from: http://tede.ufam.edu.br/handle/tede/4984

6. Gonçalves, Rawlinson da Silva. Integração de características preemptivas à técnica de escalonamento dinâmico de tensões e frequências intra-tarefa.

Degree: 2015, Universidade Federal do Amazonas

Os sistemas embarcados têm evoluído significativamente nos últimos anos, principalmente devido aos avanços da tecnologia, a redução dos custos dos equipamentos eletrônicos e a popularização… (more)

Subjects/Keywords: Sistemas Embarcados; Sistemas de Tempo Real; DVFS Intra-Tarefa; Tratamento de Preempções; Embedded Systems; Real Time Systems; DVFS Intra-Task; Low Power Consumption; Preemptions Treatment; CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gonçalves, R. d. S. (2015). Integração de características preemptivas à técnica de escalonamento dinâmico de tensões e frequências intra-tarefa. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/4778

Chicago Manual of Style (16th Edition):

Gonçalves, Rawlinson da Silva. “Integração de características preemptivas à técnica de escalonamento dinâmico de tensões e frequências intra-tarefa.” 2015. Masters Thesis, Universidade Federal do Amazonas. Accessed October 25, 2020. http://tede.ufam.edu.br/handle/tede/4778.

MLA Handbook (7th Edition):

Gonçalves, Rawlinson da Silva. “Integração de características preemptivas à técnica de escalonamento dinâmico de tensões e frequências intra-tarefa.” 2015. Web. 25 Oct 2020.

Vancouver:

Gonçalves RdS. Integração de características preemptivas à técnica de escalonamento dinâmico de tensões e frequências intra-tarefa. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2015. [cited 2020 Oct 25]. Available from: http://tede.ufam.edu.br/handle/tede/4778.

Council of Science Editors:

Gonçalves RdS. Integração de características preemptivas à técnica de escalonamento dinâmico de tensões e frequências intra-tarefa. [Masters Thesis]. Universidade Federal do Amazonas; 2015. Available from: http://tede.ufam.edu.br/handle/tede/4778

7. Garcia, Mário Angel Praia. Verificação de programas C++ baseados no framework crossplataforma Qt.

Degree: 2016, Universidade Federal do Amazonas

O desenvolvimento de software para sistemas embarcados tem crescido rapidamente, o que na maioria das vezes acarreta em um aumento da complexidade associada a esse… (more)

Subjects/Keywords: Framework Qt; Bounded Model Checking; Satisfiability Modulo Theories (SMT); ENGENHARIAS: ENGENHARIA ELÉTRICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Garcia, M. A. P. (2016). Verificação de programas C++ baseados no framework crossplataforma Qt. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/5492

Chicago Manual of Style (16th Edition):

Garcia, Mário Angel Praia. “Verificação de programas C++ baseados no framework crossplataforma Qt.” 2016. Masters Thesis, Universidade Federal do Amazonas. Accessed October 25, 2020. http://tede.ufam.edu.br/handle/tede/5492.

MLA Handbook (7th Edition):

Garcia, Mário Angel Praia. “Verificação de programas C++ baseados no framework crossplataforma Qt.” 2016. Web. 25 Oct 2020.

Vancouver:

Garcia MAP. Verificação de programas C++ baseados no framework crossplataforma Qt. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2016. [cited 2020 Oct 25]. Available from: http://tede.ufam.edu.br/handle/tede/5492.

Council of Science Editors:

Garcia MAP. Verificação de programas C++ baseados no framework crossplataforma Qt. [Masters Thesis]. Universidade Federal do Amazonas; 2016. Available from: http://tede.ufam.edu.br/handle/tede/5492

8. Chaves, Lennon Corrêa. Formal verification applied to attitude control software of unmanned aerial vehicles.

Degree: 2018, Universidade Federal do Amazonas

Durante as últimas décadas, técnicas de verificação de modelos tem sido utilizadas para melhorar a confiabilidade de sistemas, no que diz respeito a veículos aéreos… (more)

Subjects/Keywords: Veículos Aéreos não tripulados; Verificação simbólica de modelos; Controladores de ponto-fixo; Sistemas Embarcados; ENGENHARIAS: ENGENHARIA ELÉTRICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chaves, L. C. (2018). Formal verification applied to attitude control software of unmanned aerial vehicles. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/6368

Chicago Manual of Style (16th Edition):

Chaves, Lennon Corrêa. “Formal verification applied to attitude control software of unmanned aerial vehicles.” 2018. Masters Thesis, Universidade Federal do Amazonas. Accessed October 25, 2020. https://tede.ufam.edu.br/handle/tede/6368.

MLA Handbook (7th Edition):

Chaves, Lennon Corrêa. “Formal verification applied to attitude control software of unmanned aerial vehicles.” 2018. Web. 25 Oct 2020.

Vancouver:

Chaves LC. Formal verification applied to attitude control software of unmanned aerial vehicles. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2018. [cited 2020 Oct 25]. Available from: https://tede.ufam.edu.br/handle/tede/6368.

Council of Science Editors:

Chaves LC. Formal verification applied to attitude control software of unmanned aerial vehicles. [Masters Thesis]. Universidade Federal do Amazonas; 2018. Available from: https://tede.ufam.edu.br/handle/tede/6368

9. Alves, Erickson Higor da Silva. Localização de falhas em programas concorrentes em C.

Degree: 2018, Universidade Federal do Amazonas

Este trabalho descreve uma nova abordagem para localizar falhas em programas concorrentes, a qual é baseada em técnicas de verificação de modelos limitada e sequencialização.… (more)

Subjects/Keywords: Verificação de Modelos; Localização de Falhas; Sequencialização; Depuração; CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Alves, E. H. d. S. (2018). Localização de falhas em programas concorrentes em C. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/6788

Chicago Manual of Style (16th Edition):

Alves, Erickson Higor da Silva. “Localização de falhas em programas concorrentes em C.” 2018. Masters Thesis, Universidade Federal do Amazonas. Accessed October 25, 2020. https://tede.ufam.edu.br/handle/tede/6788.

MLA Handbook (7th Edition):

Alves, Erickson Higor da Silva. “Localização de falhas em programas concorrentes em C.” 2018. Web. 25 Oct 2020.

Vancouver:

Alves EHdS. Localização de falhas em programas concorrentes em C. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2018. [cited 2020 Oct 25]. Available from: https://tede.ufam.edu.br/handle/tede/6788.

Council of Science Editors:

Alves EHdS. Localização de falhas em programas concorrentes em C. [Masters Thesis]. Universidade Federal do Amazonas; 2018. Available from: https://tede.ufam.edu.br/handle/tede/6788

10. Souza, Adriana Silva de. Verificação de programas multi-tarefas baseado no framework multiplataforma QT.

Degree: 2019, Universidade Federal do Amazonas

Com o avanço da tecnologia, progressos têm acontecido no que diz respeito ao desenvolvimento de hardware e software. O resultado de tais avanços é decorrente… (more)

Subjects/Keywords: Software; Framework (Arquivo de computador); ENGENHARIAS: ENGENHARIA ELÉTRICA; Modelo operacional; Framework Qt; Verificação formal; Bounded model checking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Souza, A. S. d. (2019). Verificação de programas multi-tarefas baseado no framework multiplataforma QT. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7541

Chicago Manual of Style (16th Edition):

Souza, Adriana Silva de. “Verificação de programas multi-tarefas baseado no framework multiplataforma QT.” 2019. Masters Thesis, Universidade Federal do Amazonas. Accessed October 25, 2020. https://tede.ufam.edu.br/handle/tede/7541.

MLA Handbook (7th Edition):

Souza, Adriana Silva de. “Verificação de programas multi-tarefas baseado no framework multiplataforma QT.” 2019. Web. 25 Oct 2020.

Vancouver:

Souza ASd. Verificação de programas multi-tarefas baseado no framework multiplataforma QT. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2019. [cited 2020 Oct 25]. Available from: https://tede.ufam.edu.br/handle/tede/7541.

Council of Science Editors:

Souza ASd. Verificação de programas multi-tarefas baseado no framework multiplataforma QT. [Masters Thesis]. Universidade Federal do Amazonas; 2019. Available from: https://tede.ufam.edu.br/handle/tede/7541

11. Sousa, Felipe Rodrigues Monteiro; http://lattes.cnpq.br/4475065926209027. Formal verification to ensuring the memory safety of C++ Programs.

Degree: 2020, Universidade Federal do Amazonas

In the last three decades, memory safety issues in low-level programming languages such as C or C++ have been one of the significant sources of… (more)

Subjects/Keywords: Engenharia de Software; Software Verification; Model Checking; Memory Safety; Seguran?a de Mem?ria; CI?NCIAS EXATAS E DA TERRA: CI?NCIA DA COMPUTA??O: METODOLOGIA E T?CNICAS DA COMPUTA??O: ENGENHARIA DE SOFTWARE; Software Verification; Model Checking; C++; Memory Safety; Engenharia de Software; Verifica??o Formal; Seguran?a de Mem?ria

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Sousa, F. R. M. h. c. b. (2020). Formal verification to ensuring the memory safety of C++ Programs. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7762

Chicago Manual of Style (16th Edition):

Sousa, Felipe Rodrigues Monteiro; http://lattes cnpq br/4475065926209027. “Formal verification to ensuring the memory safety of C++ Programs.” 2020. Masters Thesis, Universidade Federal do Amazonas. Accessed October 25, 2020. https://tede.ufam.edu.br/handle/tede/7762.

MLA Handbook (7th Edition):

Sousa, Felipe Rodrigues Monteiro; http://lattes cnpq br/4475065926209027. “Formal verification to ensuring the memory safety of C++ Programs.” 2020. Web. 25 Oct 2020.

Vancouver:

Sousa FRMhcb. Formal verification to ensuring the memory safety of C++ Programs. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2020. [cited 2020 Oct 25]. Available from: https://tede.ufam.edu.br/handle/tede/7762.

Council of Science Editors:

Sousa FRMhcb. Formal verification to ensuring the memory safety of C++ Programs. [Masters Thesis]. Universidade Federal do Amazonas; 2020. Available from: https://tede.ufam.edu.br/handle/tede/7762

12. Pereira, Phillipe Arantes. Verificação limitada de modelos baseada em SMT para programas CUDA.

Degree: 2019, Universidade Federal do Amazonas

A ferramenta de verificação ESBMC-GPU é uma extensão do Verificador de Modelos de Contexto Limitado baseado em SMT (ESBMC), que tem como propósito verificar programas… (more)

Subjects/Keywords: GPU; Programas CUDA; Verificação formal; Verificação de modelos; ENGENHARIAS: ENGENHARIA ELÉTRICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Pereira, P. A. (2019). Verificação limitada de modelos baseada em SMT para programas CUDA. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7019

Chicago Manual of Style (16th Edition):

Pereira, Phillipe Arantes. “Verificação limitada de modelos baseada em SMT para programas CUDA.” 2019. Masters Thesis, Universidade Federal do Amazonas. Accessed October 25, 2020. https://tede.ufam.edu.br/handle/tede/7019.

MLA Handbook (7th Edition):

Pereira, Phillipe Arantes. “Verificação limitada de modelos baseada em SMT para programas CUDA.” 2019. Web. 25 Oct 2020.

Vancouver:

Pereira PA. Verificação limitada de modelos baseada em SMT para programas CUDA. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2019. [cited 2020 Oct 25]. Available from: https://tede.ufam.edu.br/handle/tede/7019.

Council of Science Editors:

Pereira PA. Verificação limitada de modelos baseada em SMT para programas CUDA. [Masters Thesis]. Universidade Federal do Amazonas; 2019. Available from: https://tede.ufam.edu.br/handle/tede/7019

13. Albuquerque, Higo Ferreira. Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT.

Degree: 2019, Universidade Federal do Amazonas

O processo de otimização exige uma formulação matemática do sistema ou problema a ser otimizado, e considerando que os métodos formais são técnicas baseadas nos… (more)

Subjects/Keywords: Verificadores de programas; Otimização; OptCE; Algoritmo CEGIO; ENGENHARIAS: ENGENHARIA ELÉTRICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Albuquerque, H. F. (2019). Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7096

Chicago Manual of Style (16th Edition):

Albuquerque, Higo Ferreira. “Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT.” 2019. Masters Thesis, Universidade Federal do Amazonas. Accessed October 25, 2020. https://tede.ufam.edu.br/handle/tede/7096.

MLA Handbook (7th Edition):

Albuquerque, Higo Ferreira. “Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT.” 2019. Web. 25 Oct 2020.

Vancouver:

Albuquerque HF. Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2019. [cited 2020 Oct 25]. Available from: https://tede.ufam.edu.br/handle/tede/7096.

Council of Science Editors:

Albuquerque HF. Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT. [Masters Thesis]. Universidade Federal do Amazonas; 2019. Available from: https://tede.ufam.edu.br/handle/tede/7096

14. Rocha, Herbert Oliveira. Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking.

Degree: 2015, Universidade Federal do Amazonas

Um dos principais desafios no desenvolvimento de software é garantir a funcionalidade dos sistemas de software, especialmente em sistemas embarcados críticos, tais como aeronáutico ou… (more)

Subjects/Keywords: Teste de Software; Model Checking; Invariantes de Programas; Transformações de código; CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Rocha, H. O. (2015). Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking. (Doctoral Dissertation). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/4752

Chicago Manual of Style (16th Edition):

Rocha, Herbert Oliveira. “Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking.” 2015. Doctoral Dissertation, Universidade Federal do Amazonas. Accessed October 25, 2020. http://tede.ufam.edu.br/handle/tede/4752.

MLA Handbook (7th Edition):

Rocha, Herbert Oliveira. “Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking.” 2015. Web. 25 Oct 2020.

Vancouver:

Rocha HO. Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking. [Internet] [Doctoral dissertation]. Universidade Federal do Amazonas; 2015. [cited 2020 Oct 25]. Available from: http://tede.ufam.edu.br/handle/tede/4752.

Council of Science Editors:

Rocha HO. Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking. [Doctoral Dissertation]. Universidade Federal do Amazonas; 2015. Available from: http://tede.ufam.edu.br/handle/tede/4752

15. Valentin, Eduardo Bezerra. Scheduling hard real-time tasks in heterogeneous multiprocessor platforms subject to energy and temperature constraints.

Degree: 2017, Universidade Federal do Amazonas

 The power wall is a barrier to improvement in the processor design process due to the power consumption of components. The production of energy optimum… (more)

Subjects/Keywords: Scheduling; Hard real-time; Integer linear programming; Energy constraints; Heterogeneous systems; CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Valentin, E. B. (2017). Scheduling hard real-time tasks in heterogeneous multiprocessor platforms subject to energy and temperature constraints. (Doctoral Dissertation). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/6148

Chicago Manual of Style (16th Edition):

Valentin, Eduardo Bezerra. “Scheduling hard real-time tasks in heterogeneous multiprocessor platforms subject to energy and temperature constraints.” 2017. Doctoral Dissertation, Universidade Federal do Amazonas. Accessed October 25, 2020. http://tede.ufam.edu.br/handle/tede/6148.

MLA Handbook (7th Edition):

Valentin, Eduardo Bezerra. “Scheduling hard real-time tasks in heterogeneous multiprocessor platforms subject to energy and temperature constraints.” 2017. Web. 25 Oct 2020.

Vancouver:

Valentin EB. Scheduling hard real-time tasks in heterogeneous multiprocessor platforms subject to energy and temperature constraints. [Internet] [Doctoral dissertation]. Universidade Federal do Amazonas; 2017. [cited 2020 Oct 25]. Available from: http://tede.ufam.edu.br/handle/tede/6148.

Council of Science Editors:

Valentin EB. Scheduling hard real-time tasks in heterogeneous multiprocessor platforms subject to energy and temperature constraints. [Doctoral Dissertation]. Universidade Federal do Amazonas; 2017. Available from: http://tede.ufam.edu.br/handle/tede/6148

16. Melo, Raimundo Williame Rocha de. Verificação de Programas Embarcados ANSI-C baseada em indução Matemática e Invariantes.

Degree: 2017, Universidade Federal do Amazonas

O uso de sistemas embarcados, sistemas computacionais especializados para execução em sistemas eletrônicos ou mecânicos tem crescido de forma vertiginosa devido a utilização cada vez… (more)

Subjects/Keywords: Verificação formal; Indução matemática; Invariantes indutivas; PIPS; PAGAI; Verificação de Software; Sistemas embarcados; ENGENHARIAS: ENGENHARIA ELÉTRICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Melo, R. W. R. d. (2017). Verificação de Programas Embarcados ANSI-C baseada em indução Matemática e Invariantes. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/6261

Chicago Manual of Style (16th Edition):

Melo, Raimundo Williame Rocha de. “Verificação de Programas Embarcados ANSI-C baseada em indução Matemática e Invariantes.” 2017. Masters Thesis, Universidade Federal do Amazonas. Accessed October 25, 2020. https://tede.ufam.edu.br/handle/tede/6261.

MLA Handbook (7th Edition):

Melo, Raimundo Williame Rocha de. “Verificação de Programas Embarcados ANSI-C baseada em indução Matemática e Invariantes.” 2017. Web. 25 Oct 2020.

Vancouver:

Melo RWRd. Verificação de Programas Embarcados ANSI-C baseada em indução Matemática e Invariantes. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2017. [cited 2020 Oct 25]. Available from: https://tede.ufam.edu.br/handle/tede/6261.

Council of Science Editors:

Melo RWRd. Verificação de Programas Embarcados ANSI-C baseada em indução Matemática e Invariantes. [Masters Thesis]. Universidade Federal do Amazonas; 2017. Available from: https://tede.ufam.edu.br/handle/tede/6261

17. Trindade, Alessandro Bezerra; http://lattes.cnpq.br/4511445991061477. Automated Verification of Stand-alone Solar Photovoltaic Systems: Optimal Sizing and Project Validation.

Degree: 2020, Universidade Federal do Amazonas

With decreasing costs and increasing performance, the deployment of renewable energy systems is now growing faster than in the past decade. In 2017, for the… (more)

Subjects/Keywords: Sistema solar fotovoltaico; Energia renov?vel; Verifica??o formal; Verifica??o automatizada; Sistemas de energia el?trica; CI?NCIAS EXATAS E DA TERRA: CI?NCIA DA COMPUTA??O; Formal verification; Automated verification; Model checking; Program synthesis; Electrical systems; Solar photovoltaic systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Trindade, A. B. h. c. b. (2020). Automated Verification of Stand-alone Solar Photovoltaic Systems: Optimal Sizing and Project Validation. (Doctoral Dissertation). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7671

Chicago Manual of Style (16th Edition):

Trindade, Alessandro Bezerra; http://lattes cnpq br/4511445991061477. “Automated Verification of Stand-alone Solar Photovoltaic Systems: Optimal Sizing and Project Validation.” 2020. Doctoral Dissertation, Universidade Federal do Amazonas. Accessed October 25, 2020. https://tede.ufam.edu.br/handle/tede/7671.

MLA Handbook (7th Edition):

Trindade, Alessandro Bezerra; http://lattes cnpq br/4511445991061477. “Automated Verification of Stand-alone Solar Photovoltaic Systems: Optimal Sizing and Project Validation.” 2020. Web. 25 Oct 2020.

Vancouver:

Trindade ABhcb. Automated Verification of Stand-alone Solar Photovoltaic Systems: Optimal Sizing and Project Validation. [Internet] [Doctoral dissertation]. Universidade Federal do Amazonas; 2020. [cited 2020 Oct 25]. Available from: https://tede.ufam.edu.br/handle/tede/7671.

Council of Science Editors:

Trindade ABhcb. Automated Verification of Stand-alone Solar Photovoltaic Systems: Optimal Sizing and Project Validation. [Doctoral Dissertation]. Universidade Federal do Amazonas; 2020. Available from: https://tede.ufam.edu.br/handle/tede/7671

18. Cavalcante, Thiago Rodrigo F?lix. Verifica??o e s?ntese de controladores de realimenta??o de estados est?tica com garantias formais de desempenho n?o fr?gil.

Degree: 2019, Universidade Federal do Amazonas

Neste trabalho, uma abordagem para a realiza??o de verifica??o e s?ntese de sistemas de controle discreto com realimenta??o de estados foi descrita, levando-se em considera??o… (more)

Subjects/Keywords: Sistemas de controle inteligente; Sistemas de controle digital; Sistemas de controle por realimenta??o; ENGENHARIAS; Sistemas de controle; Verifica??o de Par?metros de Desempenho; S?ntese

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Cavalcante, T. R. F. (2019). Verifica??o e s?ntese de controladores de realimenta??o de estados est?tica com garantias formais de desempenho n?o fr?gil. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7470

Chicago Manual of Style (16th Edition):

Cavalcante, Thiago Rodrigo F?lix. “Verifica??o e s?ntese de controladores de realimenta??o de estados est?tica com garantias formais de desempenho n?o fr?gil.” 2019. Masters Thesis, Universidade Federal do Amazonas. Accessed October 25, 2020. https://tede.ufam.edu.br/handle/tede/7470.

MLA Handbook (7th Edition):

Cavalcante, Thiago Rodrigo F?lix. “Verifica??o e s?ntese de controladores de realimenta??o de estados est?tica com garantias formais de desempenho n?o fr?gil.” 2019. Web. 25 Oct 2020.

Vancouver:

Cavalcante TRF. Verifica??o e s?ntese de controladores de realimenta??o de estados est?tica com garantias formais de desempenho n?o fr?gil. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2019. [cited 2020 Oct 25]. Available from: https://tede.ufam.edu.br/handle/tede/7470.

Council of Science Editors:

Cavalcante TRF. Verifica??o e s?ntese de controladores de realimenta??o de estados est?tica com garantias formais de desempenho n?o fr?gil. [Masters Thesis]. Universidade Federal do Amazonas; 2019. Available from: https://tede.ufam.edu.br/handle/tede/7470

.