Portal do Governo Brasileiro
s
Mostrando
1 - 18
resultados de
18
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
Mostrar filtros (2)
Área do conhecimento CNPq:
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Assunto:
REDES DE AUT?MATOS ESTOC?STICOS
Resultados da busca
Mostrando
1 - 18
resultados de
18
para a busca '
'
, tempo de busca: 0,03s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
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
Reducing the impact of state space explosion in Stochastic Automata Networks
Por
Santos, Thais Christina Webber dos
Publicado em 2009
Acessar documento
Tese
5
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
6
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
7
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
8
Precis?o de simula??es para solu??o de modelos estoc?sticos
Por
Taschetto, Dione
Publicado em 2010
Acessar documento
Dissertação
9
Proposta de uma representa??o tensorial para modelos markovianos ocultos
Por
Espindola, Luciana da Silveira
Publicado em 2011
Acessar documento
Dissertação
10
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
11
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
12
Stochastic modeling of global software development teams
Por
Santos, Alan Ricardo dos
Publicado em 2012
Acessar documento
Dissertação
13
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
14
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
15
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
16
Abordagens paralelas para Model Checking de redes de aut?matos estoc?sticos
Por
Oleksinski, Lucas Giaretta
Publicado em 2013
Acessar documento
Dissertação
17
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
18
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
18
Bases coletadas
Biblioteca Digital de Teses e Dissertações da PUC_RS
18
Programa de Pós-Graduação
Programa de P?s-Gradua??o em Ci?ncia da Computa??o
18
Autor
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
Mais ...
Gil, Paulo Guilherme
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
14
Dotti, Fernando Lu?s
4
Tipo de documento
Dissertação
16
Tese
2
Tipo de acesso
openAccess
18
Idioma
Português
18
Assunto
INFORM?TICA
18
REDES DE AUT?MATOS ESTOC?STICOS
SIMULA??O E MODELAGEM EM COMPUTADORES
9
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
?LGEBRA TENSORIAL
1
AN?LISE DE DESEMPENHO DE COMPUTADORES
1
CADEIAS DE MARKOV - COMPUTA??O
1
FRAMEWORK
1
L?GICA TEMPORAL (COMPUTA??O)
1
M?TODOS NUM?RICOS
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
Ver todos ...
menos ...
Área do conhecimento CNPq
CIENCIA DA COMPUTACAO
Ano da publicação
De:
Até:
Carregando...