Search




Current filters:


Add filters:

Use filters to refine the search results.


Results 1-10 of 13 (Search time: 0.015 seconds).
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
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
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
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
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
17-Jan-2020Dissertação_FelipeRodriguesMonteiro_PPGI.pdf.jpgFormal verification to ensuring the memory safety of C++ ProgramsSousa, Felipe Rodrigues MonteiroCordeiro, Lucas CarvalhoPrograma de Pós-graduação em InformáticaDissertaçã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
17-Dec-2018Dissertação_MarcosSilva_PPGI.pdf.jpgHibridização de métodos exatos e heurísticos para a minimização do atraso ponderado no escalonamento de tarefas em máquinas paralelasSilva, Marcos Thomaz daRodrigues, Rosiane de FreitasPrograma de Pós-graduação em InformáticaDissertaçã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
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