Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
About
About the Institutional Repository
Use Policy
FAQs (Frequently Asked Questions)
Credits
Access Statistics
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Repositório PUCRS
Browsing by Subject REDES DE AUTÔMATOS ESTOCÁSTICOS
Skip to:
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
or enter first few letters:
Sort by:
title
issue date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
3
5
10
15
20
25
30
35
40
45
50
Showing rec. 1 to 20 of 21
next ►
Issue Date
Title
Author(s)
2013
Abordagens paralelas para Model Checking de redes de autômatos estocásticos
Oleksinski, Lucas Giaretta
2013
Algoritmo para conversão automática de modelos SAN GTA para modelos SAN CTA
Gil, Paulo Guilherme
2008
Análise de padrões de mobilidade utilizando redes de autômatos estocásticos
Delamare, Fábio Longaray
2016
Avaliação de desempenho de equipes de projetos de desenvolvimento de software através de modelos probabilísticos
Gomes, Marcelo Vasconcellos
2006
Diminuição da intrusão do teste de software em programas paralelos
Amaral, Leonardo Albernaz
2011
Ferramenta para simulação visual de redes de autômatos estocásticos através do cálculo de estados sucessores e predecessores
Silva, Alberto Sales e
2016
Fitting techniques to knowledge discovery through stochastic models
Assunção, Joaquim Vinicius Carvalho
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