PPGSC - Doutorado em Sistemas e Computação : [49] Página principal da coleção Visualizar estatísticas

Navegar
Assinar esta coleção para receber notificações por e-mail de cada item inserido RSS Feed RSS Feed RSS Feed
Coleção's Items (Ordenado por Data de depósito na Descendente ordem): 1 para 20 de 49
Data do documentoTítuloAutor(es)
21-Jul-2016SALSA - A Simple Automatic Lung Segmentation AlgorithmCosta, Addson Araujo Da
29-Jun-2018Funções mistura generalizada e aplicaçõesFarias, Antonio Diego Silva
14-Mai-2018Roteamento multicast multisessão: modelos e algoritmosAndrade, Romerito Campos de
22-Fev-2018A strategy to verify the code generation from concurrent and state-rich circus specifications to executable codeBarrocas, Samuel Lincoln Magalhães
15-Dez-2017A family of coverage criteria based on patterns to the test of metaprogramsAntunes, Cleverton Hentz
29-Nov-2017Um arcabouço cross-layer para controle de sessões multiusuário com alta demanda de recursos em redes IoT softwarizadasSilva, Helber Wagner da
5-Set-2017Novas técnicas de instanciação e produção de demonstrações para a resolução SMTBarbosa, Haniel Moreira
13-Fev-2017Uma abordagem de apoio à extração da política de tratamento de exceçõesSena, Demóstenes Santos de
10-Jun-2016A formally founded framework for dynamic software architecturesCavalcante, Everton Ranielly de Sousa
8-Dez-2016A new class of fuzzy subsethood measuresSantos, Hélida Salles
11-Mar-2017Investigando o uso de aulas on-line de programação de jogos digitais no ensino básicoSilva, Thiago Reis da
8-Fev-2017Understanding the delivery delay of addressed issues in large software projectsCosta, Daniel Alencar da
9-Dez-2016Meta-heurísticas de otimização tradicionais e híbridas utilizadas para construção de comitês de classificaçãoFeitosa Neto, Antonino Alves
29-Jul-2016A topological and domain theoretical study of total computable functionsOlguin, Cláudio Andrés Callejas
12-Ago-2016Local livelock analysis of component-based modelsConserva Filho, Madiel de Souza
8-Mar-2016Método B e a síntese verificada para código de montagemMedeiros Júnior, Valério Gutemberg de
7-Mar-2016User verification using behavioural cancelable templatesMelo, Marcelo Damasceno de
14-Abr-2016Beta: a B based testing approachMatos, Ernesto Cid Brasil de
11-Dez-2015Strong primeness in fuzzy environmentBergamaschi, Flaulles Boone
18-Nov-2015An automated approach for performance deviation analysis of evolving software systemsPinto, Felipe Alves Pereira
Coleção's Items (Ordenado por Data de depósito na Descendente ordem): 1 para 20 de 49