Cited By
View all- Desnoyers MMcKenney PDagenais M(2013)Multi-core systems modeling for formal verification of parallel algorithmsACM SIGOPS Operating Systems Review10.1145/2506164.250617447:2(51-65)Online publication date: 23-Jul-2013
- Suchard MSimpson SZorych IRyan PMadigan D(2013)Massive Parallelization of Serial Inference Algorithms for a Complex Generalized Linear ModelACM Transactions on Modeling and Computer Simulation10.1145/2414416.241479123:1(1-17)Online publication date: 1-Jan-2013
- Hamze FWang Zde Freitas N(2013)Self-Avoiding Random Dynamics on Integer Complex SystemsACM Transactions on Modeling and Computer Simulation10.1145/2414416.241479023:1(1-25)Online publication date: 1-Jan-2013
- Show More Cited By