1. Repositório PUCRS

Visualizando por Tema REDES DE AUTÔMATOS ESTOCÁSTICOS

Ir a: 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
o entre con las primeras letras:  
Mostrando reg. 1 a 20 de 21    siguiente ►  
Fecha de PublicaciónTítuloAutor(s)
2013Abordagens paralelas para Model Checking de redes de autômatos estocásticosOleksinski, Lucas Giaretta
2013Algoritmo para conversão automática de modelos SAN GTA para modelos SAN CTAGil, Paulo Guilherme
2008Análise de padrões de mobilidade utilizando redes de autômatos estocásticosDelamare, Fábio Longaray
2016Avaliação de desempenho de equipes de projetos de desenvolvimento de software através de modelos probabilísticosGomes, Marcelo Vasconcellos
2006Diminuição da intrusão do teste de software em programas paralelosAmaral, Leonardo Albernaz
2011Ferramenta para simulação visual de redes de autômatos estocásticos através do cálculo de estados sucessores e predecessoresSilva, Alberto Sales e
2016Fitting techniques to knowledge discovery through stochastic modelsAssunção, Joaquim Vinicius Carvalho
2013Geração de contraexemplos e testemunhas para um verificador de modelos descritos em redes de autômatos estocásticosCorrea, Claiton Marques
2010Método de conversão de diagrama de atividades UML para SAN e geração de casos de teste de softwareOliveira, Toni Amorim de
2007Otimizações para a multiplicação vetor-descritor através do algoritmo SlicePresotto, Ricardo De Gasperi
2010Precisão de simulações para solução de modelos estocásticosTaschetto, Dione
2011Proposta de uma representação tensorial para modelos markovianos ocultosEspindola, Luciana da Silveira
2009Reducing the impact of state space explosion in Stochastic Automata NetworksSantos, Thais Christina Webber dos
2012Software como serviço: um framework para fornecer ferramentas de simulação analíticaCampos, Rafael Tweedie
2010Solução numérica de descritores markovianos a partir de re-estruturações de termos tensoriaisCzekster, Ricardo Melo
2012Stochastic modeling of global software development teamsSantos, Alan Ricardo dos
2008Técnica para obtenção de redes de autômatos estocásticos baseada em especificações de software em UMLNeuwald, Felipe Barp
2013Tradução de modelos de redes de automatos estocásticos para a linguagem do NUSMVWondracek, Alberto do Carmo Sulzbacher
2009Uso de redes de autômatos estocásticos – SAN na modelagem e avaliação do protocolo DSR em redes wireless ad hocNascimento, Everton Ricardo do
2008Utilizaçã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 Salengui
Mostrando reg. 1 a 20 de 21    siguiente ►