Search




Current filters:


Add filters:

Use filters to refine the search results.


Results 11-20 of 20 (Search time: 0.001 seconds).
Item hits:
Issue DatePreviewTitleAuthor(s)???itemlist.dc.contributor.advisor1???ProgramDocument Type
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
17-Apr-2019Tese_CarlosRaimundoSantosJunior_PPGI.pdf.jpgConsenso em sistemas multiagentes heterogêneos: uma abordagem robusta aplicada a veículos robóticosSantos Junior, Carlos Raimundo Pereira dosCarvalho, José Reginaldo HughesPrograma de Pós-graduação em InformáticaTese
18-Oct-2019Tese_JacilaneRabelo_PPGI.pdf.jpgIFactor-Km: um processo para apoiar as iniciativas de gestão do conhecimento em organizações de software considerando fatores de influênciaRabelo, Jacilane de HolandaFeitosa, Eduardo LuzeiroPrograma de Pós-graduação em InformáticaTese
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
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
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
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