[ACM Press the 15th ACM SIGPLAN symposium - Bangalore, India (2010.01.09-2010.01.14)] Proceedings of the 15th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '10 - The pilot library for novice MPI programmers

[ACM Press the 15th ACM SIGPLAN symposiu

✍ Carter, John D.; Gardner, William B.; Grewal, Gary 📂 Article 📅 2010 🏛 ACM Press ⚖ 402 KB

The Pilot library is a new method for programming MPI-enabled clusters in C, targeted at novice parallel programmers. Formal elements from Communicating Sequential Processes (CSP) are used to realize a process/channel model of parallel computation that reduces opportunities for deadlock and other co

[ACM Press the 15th ACM SIGPLAN symposiu

[ACM Press the 15th ACM SIGPLAN symposium - Bangalore, India (2010.01.09-2010.01.14)] Proceedings of the 15th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '10 - An adaptive performance modeling tool for GPU architectures

✍ Baghsorkhi, Sara S.; Delahaye, Matthieu; Patel, Sanjay J.; Gropp, William D.; Hw 📂 Article 📅 2010 🏛 ACM Press ⚖ 768 KB

[ACM Press the 15th ACM SIGPLAN symposiu

[ACM Press the 15th ACM SIGPLAN symposium - Bangalore, India (2010.01.09-2010.01.14)] Proceedings of the 15th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '10 - Model-driven autotuning of sparse matrix-vector multiply on GPUs

✍ Choi, Jee W.; Singh, Amik; Vuduc, Richard W. 📂 Article 📅 2010 🏛 ACM Press ⚖ 896 KB

[ACM Press the 12th ACM SIGPLAN symposiu

[ACM Press the 12th ACM SIGPLAN symposium - San Jose, California, USA (2007.03.14-2007.03.17)] Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '07 - X10

✍ Saraswat, Vijay A.; Sarkar, Vivek; von Praun, Christoph 📂 Article 📅 2007 🏛 ACM Press ⚖ 19 KB

[ACM Press the 15th ACM SIGPLAN-SIGACT s

[ACM Press the 15th ACM SIGPLAN-SIGACT symposium - San Diego, California, United States (1988.01.10-1988.01.13)] Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88 - Bisimulation can't be traced

✍ Bloom, B.; Istrail, S.; Meyer, A. R. 📂 Article 📅 1988 🏛 ACM Press ⚖ 966 KB

[ACM Press the 15th ACM SIGPLAN-SIGACT s

[ACM Press the 15th ACM SIGPLAN-SIGACT symposium - San Diego, California, United States (1988.01.10-1988.01.13)] Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88 - A temporal fixpoint calculus

✍ Vardi, M. Y. 📂 Article 📅 1988 🏛 ACM Press ⚖ 937 KB