Portal do Governo Brasileiro
s
Mostrando
1 - 7
resultados de
7
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
Orientador(a):
Dotti, Fernando Luís
Área do conhecimento CNPq:
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Tipo de documento:
Dissertação
Idioma:
Português
Outro:
Biblioteca Digital de Teses e Dissertações da PUC_RS
Mostrar filtros (5)
Orientador(a):
Dotti, Fernando Luís
Área do conhecimento CNPq:
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Tipo de documento:
Dissertação
Idioma:
Português
Outro:
Biblioteca Digital de Teses e Dissertações da PUC_RS
Resultados da busca
Mostrando
1 - 7
resultados de
7
para a busca '
'
, tempo de busca: 0,02s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar
Exportar RIS
Exportar CSV
1
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
2
Roteamento baseado em caminhos de maior grau de conectividade aplicado ao OLSR
Por
Fermino, Gunnar Ramos
Publicado em 2009
Acessar documento
Dissertação
3
Uma biblioteca de padrões de especificação em Event-B para mecanismos de troca de mensagens em sistema distribuídos
Por
Pivetta, Paulo Junior Penna
Publicado em 2010
Acessar documento
Dissertação
4
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
5
Abordagens paralelas para Model Checking de redes de autômatos estocásticos
Por
Oleksinski, Lucas Giaretta
Publicado em 2013
Acessar documento
Dissertação
6
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
7
Desenvolvimento de aplicações paralelas a partir de modelos em gramática de grafos baseada em objetos
Por
Pasini, Fábio
Publicado em 2006
Acessar documento
Dissertação
Voltar
Refinar a Busca
Instituição de defesa
Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)
7
Bases coletadas
Biblioteca Digital de Teses e Dissertações da PUC_RS
7
Programa de Pós-Graduação
Programa de Pós-Graduação em Ciência da Computação
7
Autor
Correa, Claiton Marques
1
Delamare, Fábio Longaray
1
Fermino, Gunnar Ramos
1
Oleksinski, Lucas Giaretta
1
Pasini, Fábio
1
Pivetta, Paulo Junior Penna
1
Mais ...
Wondracek, Alberto do Carmo Sulzbacher
1
Ver todos ...
menos ...
Orientador(a)
Dotti, Fernando Luís
Tipo de documento
Dissertação
Tipo de acesso
openAccess
7
Idioma
Português
Assunto
INFORMÁTICA
7
REDES DE AUTÔMATOS ESTOCÁSTICOS
4
SIMULAÇÃO E MODELAGEM EM COMPUTADORES
3
SISTEMAS DISTRIBUÍDOS
2
ANÁLISE DE DESEMPENHO DE COMPUTADORES
1
GRAFOS, TEORIA DOS
1
Mais ...
LÓGICA TEMPORAL (COMPUTAÇÃO)
1
MODELAGEM DE SISTEMAS
1
PROGRAMAÇÃO PARALELA
1
PROTOCOLOS DE APLICAÇÃO SEM FIO (PROTOCOLOS DE REDE DE COMPUTAÇÃO)
1
PROTOCOLOS DE COMUNICAÇÃO
1
REDES DE COMPUTADORES
1
ROTEAMENTO - REDES DE COMPUTADORES
1
Ver todos ...
menos ...
Área do conhecimento CNPq
CIENCIA DA COMPUTACAO
Ano da publicação
De:
Até:
Carregando...