Search




Current filters:





Add filters:

Use filters to refine the search results.

Results 1-9 of 9 (Search time: 0.003 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DatePreviewTitleAuthor(s)???itemlist.dc.contributor.advisor1???ProgramDocument Type
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
11-Feb-2011Dissertação_ChristopheXavier_PPGI.pdf.jpgEspecificação executável usando uma linguagem de redes de Petri no domínio de sistemas embarcadosXavier, Christophe Saint-Christie de LimaBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaDissertação
25-Sep-2015Dissertação - Diego Q. Pinheiro.pdf.jpgInserção de Código DVFS-Aware em Sistemas de tempo real críticosPinheiro, Diego QuintanaBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaDissertação
17-Mar-2017Dissertação - Gabriel S. Leitão.pdf.jpgUma plataforma de suporte ao docente no contexto da Educação DigitalLeitão, Gabriel de SouzaBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaDissertação
23-Nov-2017TeseSpositoFinal.pdf.jpgAlinhamento estratégico entre TI e negócios nas organizações: uma abordagem baseada nas atividades administrativas dos gestores de TI e negócios para avaliar e recomendar melhoriasSpósito, Marcos André FernandesBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaTese
4-Feb-2011HERBERT OLIVEIRA ROCHA.pdf.jpgVerificação e comprovação de erros em códigos C usando bounded model checkerRocha, Herbert OliveiraBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaDissertação
28-Apr-2014Tese - Odette Mestrinho Passos.pdf.jpgRecomendações de melhoria baseadas na cultura organizacional para iniciativas em melhoria de processo de softwarePassos, Odette MestrinhoDias Neto, Arilo CláudioPrograma de Pós-graduação em InformáticaTese
3-Jul-2015Tese - Herbert Oliveira Rocha.pdf.jpgVerificação de sistemas de software baseada em transformações de código usando Bounded Model CheckingRocha, Herbert OliveiraBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaTese

Discover

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