Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems

2018 ◽  
Author(s):  
Bram van der Sanden ◽  
Marc Geilen ◽  
Michel Reniers ◽  
Twan Basten
Keyword(s):  
Performance Analysis ◽  
Partial Order ◽  
Order Reduction ◽  
Partial Order Reduction ◽  
Timed Systems

scholarly journals Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems

2018 ◽  
pp. 527-546 ◽  
Author(s):  
Frederik M. Bønneland ◽  
Peter Gjøl Jensen ◽  
Kim Guldstrand Larsen ◽  
Marco Muñiz ◽  
Jiří Srba
Keyword(s):  
Partial Order ◽  
Order Reduction ◽  
Partial Order Reduction ◽  
Timed Systems

Dynamic partial order reduction for relaxed memory models

2015 ◽  
Vol 50 (6) ◽  
pp. 250-259 ◽  
Author(s):  
Naling Zhang ◽  
Markus Kusano ◽  
Chao Wang
Keyword(s):  
Partial Order ◽  
Order Reduction ◽  
Memory Models ◽  
Partial Order Reduction ◽  
Relaxed Memory
Sign in / Sign up

Export Citation Format

Share Document