Languages and compilers for parallel computing : 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007 : revised selected papers
著者
書誌事項
Languages and compilers for parallel computing : 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007 : revised selected papers
（Lecture notes in computer science, 5234 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues）
Springer, c2008
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and author index
内容説明・目次
内容説明
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2007, held in Urbana, IL, USA, in October 2007. The 23 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on reliability, languages, parallel compiler technology, libraries, run-time systems and performance analysis, and general compiler techniques.
目次
Reliability.- Compiler-Enhanced Incremental Checkpointing.- Techniques for Efficient Software Checking.- Languages.- Revisiting SIMD Programming.- Multidimensional Blocking in UPC.- An Experimental Evaluation of the New OpenMP Tasking Model.- Language Extensions in Support of Compiler Parallelization.- Parallel Compiler Technology I.- Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers.- Iteration Disambiguation for Parallelism Identification in Time-Sliced Applications.- A Novel Asynchronous Software Cache Implementation for the Cell-BE Processor.- Pillar: A Parallel Implementation Language.- Associative Parallel Containers in STAPL.- Explicit Dependence Metadata in an Active Visual Effects Library.- Supporting Huge Address Spaces in a Virtual Machine for Java on a Cluster.- Modeling Relations between Inputs and Dynamic Behavior for General Programs.- Evaluation of RDMA Opportunities in an Object-Oriented DSM.- Automatic Communication Performance Debugging in PGAS Languages.- Parallel Compiler Technology II.- Exploiting SIMD Parallelism with the CGiS Compiler Framework.- Critical Block Scheduling: A Thread-Level Parallelizing Mechanism for a Heterogeneous Chip Multiprocessor Architecture.- Languages II.- Capsules: Expressing Composable Computations in a Parallel Programming Model.- Communicating Multiprocessor-Tasks.- An Effective Automated Approach to Specialization of Code.- Flow-Sensitive Loop-Variant Variable Classification in Linear Time.- Using ZBDDs in Points-to Analysis.
「Nielsen BookData」 より