Search




Current filters:

Add filters:

Use filters to refine the search results.


Results 1-10 of 17 (Search time: 0.002 seconds).
Item hits:
Issue DatePreviewTitleAuthor(s)???itemlist.dc.contributor.advisor1???ProgramDocument Type
27-Mar-2015Tese - Rodrigo Ribeiro de Oliveira.pdf.jpgMetodologia de reconfiguração de hardware utilizando o sinal de TV DigitalOliveira, Rodrigo Ribeiro deLucena Júnior, Vicente Ferreira dePrograma de Pós-graduação em InformáticaTese
23-Mar-2015Dissertação-Silvia R A Meireles.pdf.jpgEvolução da ferramenta web guitar para geração automática de casos de teste de interface para aplicações webMeireles, Silvia Regina AssisDias Neto, Arilo CláudioPrograma de Pós-graduação em InformáticaDissertação
6-Oct-2017Tese_Rainer X. Amorim.pdf.jpgEstratégias algorítmicas exatas e híbridas para problemas de escalonamento em máquinas paralelas com penalidades de antecipação e atrasoAmorim, Rainer Xavier deRodrigues, Rosiane de FreitasPrograma de Pós-graduação em InformáticaTese
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
21-Sep-2016Tese_Kaio Rodrigues.jpgRemoving DUST using multiple alignment of sequencesRodrigues, Kaio Wagner LimaCristo, Marco Antônio Pinheiro dePrograma de Pós-graduação em InformáticaTese
22-Jun-2017Dissertação_Elton Lever.jpgCasos especiais ótimos de algoritmos aproximativos para problemas de escalonamento com restrições de precedência em processadores paralelos idênticosLever, Elton Carlos CostaRodrigues, Rosiane de FreitasPrograma de Pós-graduação em InformáticaDissertaçã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
25-Mar-2019Dissertação_MarcioAlencar_PPGI.pdf.jpgExtração descentralizada de conhecimento associativo para internet das coisasAlencar, Márcio André da CostaBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaDissertação
1-Mar-2019Dissertação_HendrioLuisBragança_PPGI.pdf.jpgReconhecimento de atividades humanas usando medidas estatísticas dos sensores inerciais dos smartphonesBragança, Hendrio Luis de SouzaSouto, Eduardo James PereiraPrograma de Pós-graduação em InformáticaDissertação