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
Search
Search:
All Repository
PUBLICAÇÕES CIENTÍFICAS
Apresentação em Evento
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-6 of 6 (Search time: 0.002 seconds).
previous
1
next
Item hits:
Issue Date
Title
Author(s)
2012
SAN Lite-Solver: a user-friendly software tool to solve SAN models
Afonso Henrique Corrêa de Sales
2014
Unsupervised Model Generation for Geological Events
Joaquim Assunção
;
Paulo Henrique Lemelle Fernandes
;
Tiago Vier Fischer
;
Afonso Henrique Corrêa de Sales
2012
Setting up a stochastic model for teams working in a follow-the-sun environment
Alan R. Santos
;
Afonso Henrique Corrêa de Sales
;
Paulo Henrique Lemelle Fernandes
2011
Performance Prediction of Parallel Applications with Parallel Patterns Using Stochastic Methods
Mateus Raeder
;
Dalvan Jair Griebler
;
Lucas Baldo
;
Luiz Gustavo Leão Fernandes
2012
Setting up a stochastic model for teams working in a follow-the-sun environment
Alan R. Santos
;
Afonso Henrique Corrêa de Sales
;
Paulo Henrique Lemelle Fernandes
2013
A CTL Model Checker for Stochastic Automata Networks
Lucas G. Oleksinski
;
Claiton M. Correa
;
Fernando Luis Dotti
;
Afonso Henrique Corrêa de Sales
Explore
Author
5
Afonso Henrique Corrêa de Sales
3
Paulo Henrique Lemelle Fernandes
2
Alan R. Santos
1
Claiton M. Correa
1
Dalvan Jair Griebler
1
Fernando Luis Dotti
1
Joaquim Assunção
1
Lucas Baldo
1
Lucas G. Oleksinski
1
Luiz Gustavo Leão Fernandes
.
next ►
Subject
2
Follow-The-Sun
2
Global Software Development
2
Software Tool
1
Automatic Generation
1
Geologic Events Prediction
1
High performance computing
1
Model Checking
1
Multi-valued Decision Diagrams
1
Numerical Methods
1
Parallel algorithms
.
next ►
Issue Date
1
2014
1
2013
3
2012
1
2011