scholarly journals Symbolic Analysis of Concurrency Errors in OpenMP Programs

2013 ◽  
Author(s):  
Hongyi Ma ◽  
Steve R. Diersen ◽  
Liqiang Wang ◽  
Chunhua Liao ◽  
Daniel Quinlan ◽  
...  
Keyword(s):  
Symbolic Analysis ◽  
Concurrency Errors

The role of birds in Roman imperial funerary rituals at La Magdalena (Alcalá de Henares, Spain): osteoarchaeological and symbolic analysis

2021 ◽  
Vol 13 (4) ◽  
Author(s):  
Rocío Bernal-García ◽  
Felipe Gómez-Moreno ◽  
Francisco J. Serrano ◽  
César Heras ◽  
José Yravedra
Keyword(s):  
Symbolic Analysis ◽  
Funerary Rituals

scholarly journals Isolating and understanding concurrency errors using reconstructed execution fragments

2012 ◽  
Vol 47 (6) ◽  
pp. 378 ◽  
Author(s):  
Brandon Lucia ◽  
Benjamin P. Wood ◽  
Luis Ceze
Keyword(s):  
Concurrency Errors
Sign in / Sign up

Export Citation Format

Share Document