Sciweavers

CONCUR   2009 Seminar on Concurrency
Wall of Fame | Most Viewed CONCUR-2009 Paper
CONCUR
2009
Springer
14 years 7 months ago
Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...
Sergio Giro, Pedro R. D'Argenio, Luis María...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source263
2Download preprint from source192
3Download preprint from source187
4Download preprint from source176
5Download preprint from source175
6Download preprint from source174
7Download preprint from source157
8Download preprint from source157
9Download preprint from source145
10Download preprint from source133
11Download preprint from source131
12Download preprint from source130
13Download preprint from source126
14Download preprint from source126
15Download preprint from source123
16Download preprint from source119
17Download preprint from source107
18Download preprint from source105
19Download preprint from source105
20Download preprint from source104
21Download preprint from source104
22Download preprint from source102
23Download preprint from source97
24Download preprint from source94
25Download preprint from source90
26Download preprint from source88
27Download preprint from source88
28Download preprint from source86
29Download preprint from source86
30Download preprint from source85
31Download preprint from source85
32Download preprint from source85
33Download preprint from source84
34Download preprint from source79