<  Back to the Polytechnique Montréal portal

Multi-core systems modeling for formal verification of parallel algorithms

Mathieu Desnoyers, P. E. McKenney and Michel Dagenais

Article (2013)

An external link is available for this item
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/14024/
Journal Title: ACM SIGOPS Operating Systems Review (vol. 47, no. 2)
Publisher: Association for Computing Machinery
DOI: 10.1145/2506164.2506174
Official URL: https://doi.org/10.1145/2506164.2506174
Date Deposited: 18 Apr 2023 15:09
Last Modified: 05 Apr 2024 10:54
Cite in APA 7: Desnoyers, M., McKenney, P. E., & Dagenais, M. (2013). Multi-core systems modeling for formal verification of parallel algorithms. ACM SIGOPS Operating Systems Review, 47(2), 51-65. https://doi.org/10.1145/2506164.2506174

Statistics

Dimensions

Repository Staff Only

View Item View Item