Property-driven fence insertion using reorder bounded model checking

S Joshi, D Kroening - International Symposium on Formal Methods, 2015 - Springer
Modern architectures provide weaker memory consistency guarantees than sequential
consistency. These weaker guarantees allow programs to exhibit behaviours where the …
被引用次数：19 相关文章

Property-Driven Fence Insertion Using Reorder Bounded Model Checking

S Joshi, D Kroening - Formal Methods - Springer
Modern architectures provide weaker memory consistency guarantees than sequential
consistency. These weaker guarantees allow programs to exhibit behaviours where the …
[PDF] psu.edu

[PDF][PDF] Property-Driven Fence Insertion using Reorder Bounded Model Checking

S Joshi, D Kroening - arXiv preprint arXiv:1407.7443, 2014 - Citeseer
Modern architectures provide weaker memory con-sistency guarantees than sequential
consistency. These weaker guarantees allow programs to exhibit behaviours where the …

Property-Driven Fence Insertion Using Reorder Bounded Model Checking

S Joshi, D Kroening - … Symposium, Oslo, Norway, June 24-26 …, 2015 - books.google.com
Modern architectures provide weaker memory consistency guarantees than sequential
consistency. These weaker guarantees allow programs to exhibit behaviours where the …
[PDF] kroening.com

[PDF][PDF] Property-Driven Fence Insertion using Reorder Bounded Model Checking

S Joshi, D Kroening - kroening.com
Modern architectures provide weaker memory consistency guarantees than sequential
consistency. These weaker guarantees allow programs to exhibit behaviours where the …

Property-Driven Fence Insertion using Reorder Bounded Model Checking

S Joshi, D Kroening - 2015 - ora.ox.ac.uk
Modern architectures provide weaker memory consistency guarantees than sequential
consistency. These weaker guarantees allow programs to exhibit behaviours where the …

Property-Driven Fence Insertion using Reorder Bounded Model Checking

S Joshi, D Kroening - arXiv e-prints, 2014 - ui.adsabs.harvard.edu
Modern architectures provide weaker memory consistency guarantees than sequential
consistency. These weaker guarantees allow programs to exhibit behaviours where the …
[PDF] researchgate.net

[PDF][PDF] Property-Driven Fence Insertion using Reorder Bounded Model Checking

S Joshi, D Kroening - arXiv preprint arXiv:1407.7443, 2014 - researchgate.net
Modern architectures provide weaker memory consistency guarantees than sequential
consistency. These weaker guarantees allow programs to exhibit behaviours where the …

Property-Driven Fence Insertion using Reorder Bounded Model Checking

S Joshi, D Kroening - arXiv preprint arXiv:1407.7443, 2014 - arxiv.org
Modern architectures provide weaker memory consistency guarantees than sequential
consistency. These weaker guarantees allow programs to exhibit behaviours where the …
[PDF] psu.edu

[PDF][PDF] Property-Driven Fence Insertion using Reorder Bounded Model Checking

S Joshi, D Kroening - Citeseer
Modern architectures provide weaker memory consistency guarantees than sequential
consistency. These weaker guarantees allow programs to exhibit behaviours where the …