ACM transactions on programming languages and systems

• 

  Año 2014, Vol. 36, Número 3. Texto Completo Ejemplar

  • Global Sparse Analysis Framework

    Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, Kwangkeun Yi

    • Resumen
    • Texto completo
    

  • Pattern-Based Verification for Multithreaded Programs

    Javier Esparza, Pierre Ganty, Tomáš Poch

    • Resumen
    • Texto completo
    

  • Lazy Scheduling: A Runtime Adaptive Scheduler for Declarative Parallelism

    Alexandros Tzannes, George C. Caragea, Uzi Vishkin, Rajeev Barua

    • Resumen
    • Texto completo