Portal do Governo Brasileiro
s
Mostrando
1 - 20
resultados de
20
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
Outro:
Biblioteca Digital de Teses e Dissertações da PUC_RS
Instituição de defesa:
PUC_RS
Assunto:
INFORM?TICA
E
REDES DE AUT?MATOS ESTOC?STICOS
Mostrar filtros (4)
Outro:
Biblioteca Digital de Teses e Dissertações da PUC_RS
Instituição de defesa:
PUC_RS
Assunto:
INFORM?TICA
E
REDES DE AUT?MATOS ESTOC?STICOS
Resultados da busca
Mostrando
1 - 20
resultados de
20
para a busca '
'
, tempo de busca: 0,03s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar CSV
1
Avalia??o de desempenho de equipes de projetos de desenvolvimento de software atrav?s de modelos probabil?sticos
Por
Gomes, Marcelo Vasconcellos
Publicado em 2016
Acessar documento
Dissertação
2
Fitting techniques to knowledge discovery through stochastic models
Por
Assun??o, Joaquim Vinicius Carvalho
Publicado em 2016
Acessar documento
Tese
3
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
4
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
5
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
6
Reducing the impact of state space explosion in Stochastic Automata Networks
Por
Santos, Thais Christina Webber dos
Publicado em 2009
Acessar documento
Tese
7
Solu??o num?rica de descritores markovianos a partir de re-estrutura??es de termos tensoriais
Por
Czekster, Ricardo Melo
Publicado em 2010
Acessar documento
Tese
8
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
9
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
10
Precis?o de simula??es para solu??o de modelos estoc?sticos
Por
Taschetto, Dione
Publicado em 2010
Acessar documento
Dissertação
11
Proposta de uma representa??o tensorial para modelos markovianos ocultos
Por
Espindola, Luciana da Silveira
Publicado em 2011
Acessar documento
Dissertação
12
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
13
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
14
Stochastic modeling of global software development teams
Por
Santos, Alan Ricardo dos
Publicado em 2012
Acessar documento
Dissertação
15
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
16
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
17
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
18
Abordagens paralelas para Model Checking de redes de aut?matos estoc?sticos
Por
Oleksinski, Lucas Giaretta
Publicado em 2013
Acessar documento
Dissertação
19
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
20
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
PUC_RS
Bases coletadas
Biblioteca Digital de Teses e Dissertações da PUC_RS
20
Programa de Pós-Graduação
Programa de P?s-Gradua??o em Ci?ncia da Computa??o
20
Autor
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
Mais ...
Espindola, Luciana da Silveira
1
Gil, Paulo Guilherme
1
Gomes, Marcelo Vasconcellos
1
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
Santos, Thais Christina Webber 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
16
Dotti, Fernando Lu?s
4
Tipo de documento
Dissertação
17
Tese
3
Tipo de acesso
openAccess
20
Idioma
Português
19
Inglês
1
Assunto
INFORM?TICA
REDES DE AUT?MATOS ESTOC?STICOS
SIMULA??O E MODELAGEM EM COMPUTADORES
10
ENGENHARIA DE SOFTWARE
5
AVALIA??O DE DESEMPENHO (INFORM?TICA)
4
SOFTWARE - AVALIA??O
3
Mais ...
ALGORITMOS
2
CADEIAS DE MARKOV
2
CADEIAS DE MARKOV - COMPUTA??O
2
REDES DE COMPUTADORES
2
UML (INFORMATICA)
2
?LGEBRA TENSORIAL
1
ADMINISTRA??O DE PROJETOS
1
AN?LISE DE DESEMPENHO DE COMPUTADORES
1
FRAMEWORK
1
L?GICA TEMPORAL (COMPUTA??O)
1
M?TODOS NUM?RICOS
1
MODELAGEM DE SISTEMAS
1
ORIENTA??O A OBJETOS
1
PROCESSOS ESTOC?STICOS
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
Ver todos ...
menos ...
Área do conhecimento CNPq
CIENCIA DA COMPUTACAO
18
CIENCIA DA COMPUTACAO
2
Ano da publicação
De:
Até:
Carregando...