1. TEDE PUCRS

Browsing by Subject REDES DE AUTÔMATOS ESTOCÁSTICOS

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

 
Showing results 1 to 20 of 20
Issue DatePreviewTitleAuthor(s)AdvisorProgramDocument Type
9-Aug-2016TES_JOAQUIM_VINICIUS_CARVALHO_ASSUNCAO_COMPLETO.pdf.jpgFitting techniques to knowledge discovery through stochastic modelsAssunção, Joaquim Vinicius CarvalhoFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoTese
20-Mar-2007437824.pdf.jpgUtilização de redes autômatos estocásticos no processo unificado, visando a geração de casos de teste de softwareBarros, André de AlmeidaFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
9-Aug-2012443491.pdf.jpgSoftware como serviço : um framework para fornecer ferramentas de simulação analíticaCampos, Rafael TweedieFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
26-Mar-2013449321.pdf.jpgGeração de contraexemplos e testemunhas para um verificador de modelos descritos em redes de autômatos estocásticosCorrea, Claiton MarquesDotti, Fernando LuísPrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
29-Mar-2010423499.pdf.jpgSolução numérica de descritores markovianos a partir de re-estruturações de termos tensoriaisCzekster, Ricardo MeloFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoTese
2-Mar-2007401643.pdf.jpgAnálise de padrões de mobilidade utilizando redes de autômatos estocásticosDelamare, Fábio LongarayDotti, Fernando LuísPrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
17-Mar-2011431853.pdf.jpgProposta de uma representação tensorial para modelos markovianos ocultosEspindola, Luciana da SilveiraFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
22-Mar-2012447661.pdf.jpgAlgoritmo para conversão automática de modelos SAN GTA para modelos SAN CTAGil, Paulo GuilhermeFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
30-Jun-2016DIS_MARCELO_VASCONCELLOS_GOMES_COMPLETO.pdf.jpgAvaliação de desempenho de equipes de projetos de desenvolvimento de software através de modelos probabilísticosGomes, Marcelo VasconcellosFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
17-Dec-2009425006.pdf.jpgUso de redes de autômatos estocásticos SAN na modelagem e avaliação do protocolo DSR em redes wireless ad hocNascimento, Everton Ricardo doFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
28-Mar-2005406275.pdf.jpgTécnica para obtenção de redes de autômatos estocásticos baseada em especificações de software em UMLNeuwald, Felipe BarpFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
25-Mar-2013451032.pdf.jpgAbordagens paralelas para Model Checking de redes de autômatos estocásticosOleksinski, Lucas GiarettaDotti, Fernando LuísPrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
27-Jan-2010425004.pdf.jpgMétodo de conversão de diagrama de atividades UML para SAN e geração de casos de teste de softwareOliveira, Toni Amorim deFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
23-Feb-2002397350.pdf.jpgOtimizações para a multiplicação vetor-descritor através do algoritmo SlicePresotto, Ricardo de GasperiFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
31-Aug-2012443170.pdf.jpgStochastic modeling of global software development teamsSantos, Alan Ricardo dosFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
27-Mar-2009415453.pdf.jpgReducing the impact of state space explosion in Stochastic Automata NetworksSantos, Thais Christina Webber dosFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoTese
31-Mar-2006400013.pdf.jpgUtilização de diagramas de decisão multi-valorada para representação do espaço de estados atingível em redes de autômatos estocásticosScolari, Ana Paula SalengueFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
21-Mar-2011436196.pdf.jpgFerramenta para simulação visual de redes de autômatos estocásticos através do cálculo de estados sucessores e predecessoresSilva, Alberto Sales eFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
12-Mar-2010427631.pdf.jpgPrecisão de simulações para solução de modelos estocásticosTaschetto, DioneFernandes, Paulo Henrique LemellePrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
25-Mar-2013459162.pdf.jpgTradução de modelos de redes de automatos estocásticos para a linguagem do NUSMVWondracek, Alberto do Carmo SulzbacherDotti, Fernando LuísPrograma de Pós-Graduação em Ciência da ComputaçãoDissertação
Showing results 1 to 20 of 20