default search action
10th PPOPP 2005: Chicago, IL, USA
- Keshav Pingali, Katherine A. Yelick, Andrew S. Grimshaw:
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2005, June 15-17, 2005, Chicago, IL, USA. ACM 2005, ISBN 1-59593-080-9 - Pat Hanrahan:
Why is graphics hardware so fast? 1
Compiling parallel languages
- Zehra Sura, Xing Fang, Chi-Leung Wong, Samuel P. Midkiff, Jaejin Lee, David A. Padua:
Compiler techniques for high performance sequentially consistent java programs. 2-13 - Daniel G. Chavarría-Miranda, John M. Mellor-Crummey:
Effective communication coalescing for data-parallel applications. 14-25 - Alain Darte, Robert Schreiber:
A linear-time algorithm for optimal barrier placement. 26-35 - Cristian Coarfa, Yuri Dotsenko, John M. Mellor-Crummey, François Cantonnet, Tarek A. El-Ghazawi, Ashrujit Mohanti, Yiyi Yao, Daniel G. Chavarría-Miranda:
An evaluation of global address space languages: co-array fortran and unified parallel C. 36-47
Synchronization models
- Tim Harris, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy:
Composable memory transactions. 48-60 - Liqiang Wang, Scott D. Stoller:
Static analysis of atomicity for programs with non-blocking synchronization. 61-71 - Tim Harris, Keir Fraser:
Revocable locks for non-blocking programming. 72-82
Verification
- Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller:
Automated type-based analysis of data races and atomicity. 83-94 - Stephen F. Siegel, George S. Avrunin:
Modeling wildcard-free MPI programs for verification. 95-106 - Ohad Shacham, Mooly Sagiv, Assaf Schuster:
Scaling model checking of dataraces using dynamic information. 107-118
Invited panel
- Katherine A. Yelick:
Language innovations for HPCS. 119
Automatic parallelization
- Arun Kejariwal, Alexandru Nicolau, Utpal Banerjee, Constantine D. Polychronopoulos:
A novel approach for partitioning iteration spaces with variable densities. 120-131 - Long Li, Bo Huang, Jinquan Dai, Luddy Harrison:
Automatic multithreading and multiprocessing of C programs for IXP. 132-141 - Manohar K. Prabhu, Kunle Olukotun:
Exposing speculative thread parallelism in SPEC2000. 142-152 - Tze Meng Low, Robert A. van de Geijn, Field G. Van Zee:
Extracting SMP parallelism for dense linear algebra algorithms from high-level specifications. 153-163
Energy-aware computing
- Vincent W. Freeh, David K. Lowenthal:
Using multiple energy gears in MPI programs on a power-scalable cluster. 164-173 - Seung Woo Son, Guangyu Chen, Mahmut T. Kandemir, Alok N. Choudhary:
Exposing disk layout to compiler for reducing energy consumption of parallel disk based systems. 174-185 - Taliver Heath, Bruno Diniz, Enrique V. Carrera, Wagner Meira Jr., Ricardo Bianchini:
Energy conservation in heterogeneous server clusters. 186-195
Testing and fault tolerance
- Shuo Yang, Ali Raza Butt, Y. Charlie Hu, Samuel P. Midkiff:
Trust but verify: monitoring remotely executing programs for progress and correctness. 196-205 - Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur:
Applications of synchronization coverage. 206-212 - Zizhong Chen, Graham E. Fagg, Edgar Gabriel, Julien Langou, Thara Angskun, George Bosilca, Jack J. Dongarra:
Fault tolerant high performance computing by a coding approach. 213-223
Architecture and systems
- William Thies, Michal Karczmarek, Janis Sermulins, Rodric M. Rabbah, Saman P. Amarasinghe:
Teleport messaging for distributed stream programs. 224-235 - Changhee Jung, Daeseob Lim, Jaejin Lee, Sangyong Han:
Adaptive execution techniques for SMT multiprocessor architectures. 236-246 - Jean-Francois Collard, Norman P. Jouppi, Sami Yehia:
System-wide performance monitors and their application to the optimization of coherent memory accesses. 247-254
Libraries and applications
- Shengnan Cong, Jiawei Han, Jay P. Hoeflinger, David A. Padua:
A sampling-based framework for parallel data mining. 255-265 - Xiaoyang Gao, Swarup Kumar Sahoo, Chi-Chung Lam, J. Ramanujam, Qingda Lu, Gerald Baumgartner, P. Sadayappan:
Performance modeling and optimization of parallel out-of-core tensor contractions. 266-276 - Nathan L. Thomas, Gabriel Tanase, Olga Tkachyshyn, Jack Perdue, Nancy M. Amato, Lawrence Rauchwerger:
A framework for adaptive algorithm selection in STAPL. 277-288 - Jin Chen, Baohua Wu, Margaret DeLap, Björn Knutsson, Honghui Lu, Cristiana Amza:
Locality aware dynamic load management for massively multiplayer games. 289-300
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.