1761 search results - page 1 / 353 » Performance Evaluation : = (Process Algebra Model Checking... |
CONCUR
2001
Springer
15 years 3 months ago
2001
Springer
FMICS
2008
Springer
15 years 12 days ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
105
Voted
TOPNOC
2008
14 years 10 months ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
85
Voted
FORTE
2004
15 years 7 days ago
2004
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
94
Voted
PE
2010
Springer
14 years 5 months ago
2010
Springer
Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engi...