575 search results - page 30 / 115 » Model Checking Restricted Sets of Timed Paths |
110
click to vote
RSA
2000
14 years 11 months ago
2000
We analyze various stochastic processes for generating permutations almost uniformly at random in distributed and parallel systems. All our protocols are simple, elegant and are b...
101
click to vote
SAFECOMP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
100
click to vote
CAV
2009
Springer
16 years 10 days ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
ISVC
2005
Springer
15 years 5 months ago
2005
Springer
This note describes a web-based tool for storm analysis using multiple data sets developed for use in research of thunderstorms and forecasting applications. The tool was developed...
116
click to vote
APLAS
2005
ACM
15 years 5 months ago
2005
ACM
act Interpretation Perspective on Linear vs. Branching Time Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy It is...