Experimental Evaluation of Statistical Model Checking Methods for Probabilistic Timing Analysis of Multiprocessor Systems

2021 ◽  
Author(s):  
Hai-Dang Vu ◽  
Sebastien Le Nours ◽  
Sebastien Pillement
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Experimental Evaluation ◽  
Timing Analysis ◽  
Multiprocessor Systems ◽  
Statistical Model Checking ◽  
Probabilistic Timing Analysis ◽  
Probabilistic Timing

Speeding up Static Probabilistic Timing Analysis

2015 ◽  
pp. 236-247 ◽  
Author(s):  
Suzana Milutinovic ◽  
Jaume Abella ◽  
Damien Hardy ◽  
Eduardo Quiñones ◽  
Isabelle Puaut ◽  
...  
Keyword(s):  
Timing Analysis ◽  
Probabilistic Timing Analysis ◽  
Probabilistic Timing
Sign in / Sign up

Export Citation Format

Share Document