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
Percorrendo por Assunto REDES DE AUTÔMATOS ESTOCÁSTICOS
Ir para:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
ou digite as primeiras letras:
Classificar por:
Título
Data de publicação
Data de submissão
Em ordem:
Ascendente
Descendente
Resultados/Página
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autores/Registro:
Todos
1
3
5
10
15
20
25
30
35
40
45
50
Mostrando regs. 8 a 21 de 21
◄ anterior
Data de publicação
Título
Autor(es)
2013
Geração de contraexemplos e testemunhas para um verificador de modelos descritos em redes de autômatos estocásticos
Correa, Claiton Marques
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
2007
Otimizações para a multiplicação vetor-descritor através do algoritmo Slice
Presotto, Ricardo De Gasperi
2010
Precisão de simulações para solução de modelos estocásticos
Taschetto, Dione
2011
Proposta de uma representação tensorial para modelos markovianos ocultos
Espindola, Luciana da Silveira
2009
Reducing the impact of state space explosion in Stochastic Automata Networks
Santos, Thais Christina Webber dos
2012
Software como serviço: um framework para fornecer ferramentas de simulação analítica
Campos, Rafael Tweedie
2010
Solução numérica de descritores markovianos a partir de re-estruturações de termos tensoriais
Czekster, Ricardo Melo
2012
Stochastic modeling of global software development teams
Santos, Alan Ricardo dos
2008
Técnica para obtenção de redes de autômatos estocásticos baseada em especificações de software em UML
Neuwald, Felipe Barp
2013
Tradução de modelos de redes de automatos estocásticos para a linguagem do NUSMV
Wondracek, Alberto do Carmo Sulzbacher
2009
Uso de redes de autômatos estocásticos – SAN na modelagem e avaliação do protocolo DSR em redes wireless ad hoc
Nascimento, Everton Ricardo do
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
Utilização de redes autômatos estocásticos no processo unificado, visando a geração de casos de teste de software
Barros, André de Almeida