Global Sparse Analysis Framework
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, Kwangkeun Yi
Pattern-Based Verification for Multithreaded Programs
Javier Esparza, Pierre Ganty, Tomáš Poch
Lazy Scheduling: A Runtime Adaptive Scheduler for Declarative Parallelism
Alexandros Tzannes, George C. Caragea, Uzi Vishkin, Rajeev Barua
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: