Portal do Governo Brasileiro
s
Mostrando
1 - 16
resultados de
16
para a busca '
'
Pular para o conteúdo
Institucional
Sobre
Como participar
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Faq
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Área do conhecimento CNPq:
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Assunto:
REDES DE AUTÔMATOS ESTOCÁSTICOS
Tipo de documento:
Dissertação
Idioma:
Português
Outro:
Biblioteca Digital de Teses e Dissertações da PUC_RS
Mostrar filtros (5)
Área do conhecimento CNPq:
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Assunto:
REDES DE AUTÔMATOS ESTOCÁSTICOS
Tipo de documento:
Dissertação
Idioma:
Português
Outro:
Biblioteca Digital de Teses e Dissertações da PUC_RS
Resultados da busca
Mostrando
1 - 16
resultados de
16
para a busca '
'
, tempo de busca: 0,03s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar
Exportar RIS
Exportar CSV
1
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
Por
Scolari, Ana Paula Salengue
Publicado em 2006
Acessar documento
Dissertação
2
Análise de padrões de mobilidade utilizando redes de autômatos estocásticos
Por
Delamare, Fábio Longaray
Publicado em 2007
Acessar documento
Dissertação
3
Técnica para obtenção de redes de autômatos estocásticos baseada em especificações de software em UML
Por
Neuwald, Felipe Barp
Publicado em 2005
Acessar documento
Dissertação
4
Método de conversão de diagrama de atividades UML para SAN e geração de casos de teste de software
Por
Oliveira, Toni Amorim de
Publicado em 2010
Acessar documento
Dissertação
5
Uso de redes de autômatos estocásticos SAN na modelagem e avaliação do protocolo DSR em redes wireless ad hoc
Por
Nascimento, Everton Ricardo do
Publicado em 2009
Acessar documento
Dissertação
6
Precisão de simulações para solução de modelos estocásticos
Por
Taschetto, Dione
Publicado em 2010
Acessar documento
Dissertação
7
Proposta de uma representação tensorial para modelos markovianos ocultos
Por
Espindola, Luciana da Silveira
Publicado em 2011
Acessar documento
Dissertação
8
Ferramenta para simulação visual de redes de autômatos estocásticos através do cálculo de estados sucessores e predecessores
Por
Silva, Alberto Sales e
Publicado em 2011
Acessar documento
Dissertação
9
Utilização de redes autômatos estocásticos no processo unificado, visando a geração de casos de teste de software
Por
Barros, André de Almeida
Publicado em 2007
Acessar documento
Dissertação
10
Stochastic modeling of global software development teams
Por
Santos, Alan Ricardo dos
Publicado em 2012
Acessar documento
Dissertação
11
Software como serviço : um framework para fornecer ferramentas de simulação analítica
Por
Campos, Rafael Tweedie
Publicado em 2012
Acessar documento
Dissertação
12
Algoritmo para conversão automática de modelos SAN GTA para modelos SAN CTA
Por
Gil, Paulo Guilherme
Publicado em 2012
Acessar documento
Dissertação
13
Geração de contraexemplos e testemunhas para um verificador de modelos descritos em redes de autômatos estocásticos
Por
Correa, Claiton Marques
Publicado em 2013
Acessar documento
Dissertação
14
Abordagens paralelas para Model Checking de redes de autômatos estocásticos
Por
Oleksinski, Lucas Giaretta
Publicado em 2013
Acessar documento
Dissertação
15
Tradução de modelos de redes de automatos estocásticos para a linguagem do NUSMV
Por
Wondracek, Alberto do Carmo Sulzbacher
Publicado em 2013
Acessar documento
Dissertação
16
Otimizações para a multiplicação vetor-descritor através do algoritmo Slice
Por
Presotto, Ricardo de Gasperi
Publicado em 2002
Acessar documento
Dissertação
Voltar
Refinar a Busca
Instituição de defesa
Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)
16
Bases coletadas
Biblioteca Digital de Teses e Dissertações da PUC_RS
16
Programa de Pós-Graduação
Programa de Pós-Graduação em Ciência da Computação
16
Autor
Barros, André de Almeida
1
Campos, Rafael Tweedie
1
Correa, Claiton Marques
1
Delamare, Fábio Longaray
1
Espindola, Luciana da Silveira
1
Gil, Paulo Guilherme
1
Mais ...
Nascimento, Everton Ricardo do
1
Neuwald, Felipe Barp
1
Oleksinski, Lucas Giaretta
1
Oliveira, Toni Amorim de
1
Presotto, Ricardo de Gasperi
1
Santos, Alan Ricardo dos
1
Scolari, Ana Paula Salengue
1
Silva, Alberto Sales e
1
Taschetto, Dione
1
Wondracek, Alberto do Carmo Sulzbacher
1
Ver todos ...
menos ...
Orientador(a)
Fernandes, Paulo Henrique Lemelle
12
Dotti, Fernando Luís
4
Tipo de documento
Dissertação
Tipo de acesso
openAccess
16
Idioma
Português
Assunto
INFORMÁTICA
16
REDES DE AUTÔMATOS ESTOCÁSTICOS
SIMULAÇÃO E MODELAGEM EM COMPUTADORES
8
ENGENHARIA DE SOFTWARE
4
AVALIAÇÃO DE DESEMPENHO (INFORMÁTICA)
3
SOFTWARE - AVALIAÇÃO
3
Mais ...
ALGORITMOS
2
CADEIAS DE MARKOV
2
REDES DE COMPUTADORES
2
UML (INFORMATICA)
2
ANÁLISE DE DESEMPENHO DE COMPUTADORES
1
FRAMEWORK
1
LÓGICA TEMPORAL (COMPUTAÇÃO)
1
MODELAGEM DE SISTEMAS
1
ORIENTAÇÃO A OBJETOS
1
PROTOCOLOS DE APLICAÇÃO SEM FIO (PROTOCOLOS DE REDE DE COMPUTAÇÃO)
1
REDES DE PETRI
1
ROTEAMENTO - REDES DE COMPUTADORES
1
WORLD WIDE WEB - FERRAMENTAS
1
ÁLGEBRA TENSORIAL
1
Ver todos ...
menos ...
Área do conhecimento CNPq
CIENCIA DA COMPUTACAO
Ano da publicação
De:
Até:
Carregando...