Search




Current filters:



Add filters:

Use filters to refine the search results.


Results 1-9 of 9 (Search time: 0.002 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DatePreviewTitleAuthor(s)???itemlist.dc.contributor.advisor1???ProgramDocument Type
7-Jun-2013JOSE ISAAC MENEZES DE SOUZA.pdf.jpgSistemas de transmissão multiportadoras baseados na transformada wavelet discretaSouza, José Isaac Menezes deLima Filho, Eddie Batista dePrograma de Pós-graduação em Engenharia ElétricaDissertação
1-Apr-2015Francisco de Assis Pereira Januário.pdf.jpgBMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model CheckingJanuário, Francisco de Assis PereiraCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação
2-Feb-2018Dissertação_Lennon Chaves.pdf.jpgFormal verification applied to attitude control software of unmanned aerial vehiclesChaves, Lennon CorrêaCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação
19-Jul-2017Dissertação_Diego A. Amoedo.pdf.jpgClassificação automática de modulações mono e multiportadoras utilizando método de extração de características e classificadores SVMAmoedo, Diego AlvesSilva Júnior, Waldir Sabino daPrograma 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
9-Jun-2016Dissertação - Felipe de Souza Farias.pdf.jpgMetodologia para extração de conteúdo de monitores e TVsFarias, Felipe de SouzaSilva Júnior, Waldir Sabino daPrograma de Pós-graduação em Engenharia ElétricaDissertação
14-Sep-2018Dissertação_EricksonAlves_PPGEE.jpgLocalização de falhas em programas concorrentes em CAlves, Erickson Higor da SilvaLima Filho, Eddie Batista dePrograma de Pós-graduação em Engenharia ElétricaDissertação
27-Feb-2019Dissertação_PhillipePereira_PPGEE.pdf.jpgVerificação limitada de modelos baseada em SMT para programas CUDAPereira, Phillipe ArantesCordeiro, Lucas CarvalhoPrograma 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

Discover

???jsp.search.facet.refine.initials???
???jsp.search.facet.refine.program???
Document Type
Date issued
???jsp.search.facet.refine.available???
???jsp.search.facet.refine.format???
???jsp.search.facet.refine.access???