Search




Current filters:


Add filters:

Use filters to refine the search results.

Results 1-7 of 7 (Search time: 0.001 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DatePreviewTitleAuthor(s)???itemlist.dc.contributor.advisor1???ProgramDocument Type
1-Apr-2019Dissertação_SergioSilva_PPGEE.pdf.jpgUma proposta de solução em hardware para o problema das p-medianas utilizando algoritmo genético e unidades de processamento softcoreSilva, Sergio Deodoro de SouzaCosta Filho, Cícero Ferreira FernandesPrograma de Pós-graduação em Engenharia ElétricaDissertação
27-Mar-2019Dissertação_HigoAlbuquerque_PPGEE.pdf.jpgUma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMTAlbuquerque, Higo FerreiraCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação
30-Aug-2019Verificação e síntese de controladores de realimentação de estados estática com garantias formais de desempenho não frágilCavalcante, Thiago Rodrigo FélixLima Filho, Eddie Batista dePrograma de Pós-graduação em Engenharia ElétricaDissertação
11-Sep-2019Dissertação_WalmirAcioli_PPGEOC.pdf.jpgSistema Embarcado de Diagnóstico Veicular Integrado a Ambientes InteligentesSilva, Walmir Acioli eLucena Junior, Vicente FerreiraPrograma de Pós-graduação em Engenharia ElétricaDissertação
13-Sep-2016Dissertação - Mário A. P. Garcia.pdf.jpgVerificação de programas C++ baseados no framework crossplataforma QtGarcia, Mário Angel PraiaCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação
10-Aug-2017Dissertação_Raimundo W. R. Melo.pdf.jpgVerificação de Programas Embarcados ANSI-C baseada em indução Matemática e InvariantesMelo, Raimundo Williame Rocha deCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação
20-Dec-2023LSVerifier: a BMC approach to identify security vulnerabilities in C open-source software projectsSousa, Janislley Oliveira deCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação

Discover

???jsp.search.facet.refine.initials???
???jsp.search.facet.refine.program???
???jsp.search.facet.refine.department???
Date issued
???jsp.search.facet.refine.format???
???jsp.search.facet.refine.access???