


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














