scholarly journals Parameterized Verification of Asynchronous Shared-Memory Systems

2013 ◽  
pp. 124-140 ◽  
Author(s):  
Javier Esparza ◽  
Pierre Ganty ◽  
Rupak Majumdar
Keyword(s):  
Shared Memory ◽  
Memory Systems ◽  
Parameterized Verification

scholarly journals Parameterized Verification of Asynchronous Shared-Memory Systems

2016 ◽  
Vol 63 (1) ◽  
pp. 1-48 ◽  
Author(s):  
Javier Esparza ◽  
Pierre Ganty ◽  
Rupak Majumdar
Keyword(s):  
Shared Memory ◽  
Memory Systems ◽  
Parameterized Verification

scholarly journals Reducing Data Movement on Large Shared Memory Systems by Exploiting Computation Dependencies

2018 ◽  
Author(s):  
Isaac Sánchez Barrera ◽  
Miquel Moretó ◽  
Eduard Ayguadé ◽  
Jesús Labarta ◽  
Mateo Valero ◽  
...  
Keyword(s):  
Shared Memory ◽  
Memory Systems ◽  
Data Movement
Sign in / Sign up

Export Citation Format

Share Document