scholarly journals Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue

2012 ◽  
pp. 43-61
Author(s):  
Sami Evangelista ◽  
Lars Michael Kristensen
Keyword(s):  
Priority Queue ◽  
External Memory ◽  
Line Method ◽  
Sweep Line

scholarly journals Exploiting Equivalence Reduction and the Sweep-Line Method for Detecting Terminal States

2004 ◽  
Vol 34 (1) ◽  
pp. 23-37 ◽  
Author(s):  
J. Billington ◽  
G.E. Gallasch ◽  
L.M. Kristensen ◽  
T. Mailund
Keyword(s):  
Line Method ◽  
Sweep Line

Checking safety properties on-the-fly with the sweep-line method

2007 ◽  
Vol 9 (3-4) ◽  
pp. 371-391 ◽  
Author(s):  
Guy Edward Gallasch ◽  
Jonathan Billington ◽  
Somsak Vanit-Anunchai ◽  
Lars Michael Kristensen
Keyword(s):  
Safety Properties ◽  
Line Method ◽  
Sweep Line
Sign in / Sign up

Export Citation Format

Share Document