Skip navigation
Página Inicial
Percorrer
Comunidades e
Coleções
Explorar itens por:
Data de publicação
Autor
Título
Assunto
Sobre
Sobre o Repositório Institucional
Políticas de Uso
FAQs (Perguntas Frequentes)
Créditos
Estatísticas de Acesso
Entrar em:
Página Pessoal
Receber atualizações
por e-mail
Editar Perfil
Repositório PUCRS
Busca
Busca:
Todo o Repositório
DOCUMENTOS INSTITUCIONAIS
PUBLICAÇÕES CIENTÍFICAS
TRABALHOS DE CONCLUSÃO DE CURSO DE GRADUAÇÃO
por
Filtros atuais:
Título
Autor
Assunto
Data de submissão
Igual
Contém
ID
Diferente
Não Contém
Não ID
Título
Autor
Assunto
Data de submissão
Igual
Contém
ID
Diferente
Não Contém
Não ID
Iniciar uma nova busca
Adicionar filtros:
Use filtros para refinar os resultados da pesquisa.
Título
Autor
Assunto
Data de submissão
Igual
Contém
ID
Diferente
Não Contém
Não ID
Resultados 11-20 de 21 (Tempo de busca: 0.001 Segundos).
anterior
1
2
3
próximo
Resultados em Itens:
Data de publicação
Título
Autor(es)
2011
Proposta de uma representação tensorial para modelos markovianos ocultos
Espindola, Luciana da Silveira
2013
Algoritmo para conversão automática de modelos SAN GTA para modelos SAN CTA
Gil, Paulo Guilherme
2013
Tradução de modelos de redes de automatos estocásticos para a linguagem do NUSMV
Wondracek, Alberto do Carmo Sulzbacher
2008
Técnica para obtenção de redes de autômatos estocásticos baseada em especificações de software em UML
Neuwald, Felipe Barp
2010
Solução numérica de descritores markovianos a partir de re-estruturações de termos tensoriais
Czekster, Ricardo Melo
2016
Avaliação de desempenho de equipes de projetos de desenvolvimento de software através de modelos probabilísticos
Gomes, Marcelo Vasconcellos
2010
Método de conversão de diagrama de atividades UML para SAN e geração de casos de teste de software
Oliveira, Toni Amorim de
2008
Análise de padrões de mobilidade utilizando redes de autômatos estocásticos
Delamare, Fábio Longaray
2008
Utilização de diagramas de decisão multi-valorada para representação do espaço de estados atingível em redes de autômatos estocásticos
Scolari, Ana Paula Salengui
2006
Diminuição da intrusão do teste de software em programas paralelos
Amaral, Leonardo Albernaz
Descoberta
Autor
1
Amaral, Leonardo Albernaz
1
Assunção, Joaquim Vinicius Carvalho
1
Barros, André de Almeida
1
Campos, Rafael Tweedie
1
Correa, Claiton Marques
1
Czekster, Ricardo Melo
1
Delamare, Fábio Longaray
1
Espindola, Luciana da Silveira
1
Gil, Paulo Guilherme
1
Gomes, Marcelo Vasconcellos
.
próximo ►
Assunto
10
SIMULAÇÃO E MODELAGEM EM COMPUTAD...
6
ENGENHARIA DE SOFTWARE
4
AVALIAÇÃO DE DESEMPENHO (INFORMÁT...
3
REDES DE COMPUTADORES
3
SOFTWARE - AVALIAÇÃO
2
ALGORITMOS
2
CADEIAS DE MARKOV
2
CADEIAS DE MARKOV - COMPUTAÇÃO
2
UML (INFORMATICA)
1
ADMINISTRAÇÃO DE PROJETOS
.
próximo ►
Data de submissão
2
2016
4
2013
2
2012
2
2011
3
2010
2
2009
3
2008
1
2007
2
2006