International Journal of Parallel Programming, Volume 33

Volume 33, Number 1, February 2005

• Yonghong Song, Cheng Wang, Zhiyuan Li:
  A Polynomial-Time Algorithm for Memory Space Reduction. 1-33
  Electronic Edition (link) BibTeX
• Eric Hung-Yu Tseng, Jean-Luc Gaudiot:
  Automatic Array Partitioning Based on the Smith Normal Form. 35-56
  Electronic Edition (link) BibTeX
• Mo Zeyao:
  Concatenation Algorithms for Parallel Numerical Simulation of Radiation Hydrodynamics coupled with Neutron Transport. 57-71
  Electronic Edition (link) BibTeX

Volume 33, Number 2-3, June 2005

• Frederica Darema:
  The Next Generation Software Program. 73-79
  Electronic Edition (link) BibTeX
• David I. August, Sharad Malik, Li-Shiuan Peh, Vijay S. Pai, Manish Vachharajani, Paul Willmann:
  Achieving Structural and Composable Modeling of Complex Systems. 81-101
  Electronic Edition (link) BibTeX
• Naveen Kumar, Bruce R. Childers, Daniel Williams, Jack W. Davidson, Mary Lou Soffa:
  Compile-Time Planning for Overhead Reduction in Software Dynamic Translators. 103-114
  Electronic Edition (link) BibTeX
• Shobana Padmanabhan, Phillip H. Jones, David V. Schuehler, Scott J. Friedman, Praveen Krishnamurthy, Huakai Zhang, Roger D. Chamberlain, Ron Cytron, Jason E. Fritts, John W. Lockwood:
  Extracting and Improving Microarchitecture Performance on Reconfigurable Architectures. 115-136
  Electronic Edition (link) BibTeX
• Victor Eijkhout, Erika Fuentes, Thomas Eidson, Jack Dongarra:
  The Component Structure of a Self-Adapting Numerical Software System. 137-143
  Electronic Edition (link) BibTeX
• Douglas Gregor, Jaakko Järvi, Mayuresh Kulkarni, Andrew Lumsdaine, David R. Musser, Sibylle Schupp:
  Generic Programming and High-Performance Libraries. 145-164
  Electronic Edition (link) BibTeX
• Yoon-Ju Lee, Pedro C. Diniz, Mary W. Hall, Robert F. Lucas:
  Empirical Optimization for a Sparse Linear Solver: A Case Study. 165-181
  Electronic Edition (link) BibTeX
• Gengbin Zheng, Terry Wilmarth, Praveen Jagadishprasad, Laxmikant V. Kalé:
  Simulation-Based Performance Prediction for Large Parallel Machines. 183-207
  Electronic Edition (link) BibTeX
• Francine Berman, Henri Casanova, Andrew A. Chien, Keith D. Cooper, Holly Dail, Anshuman Dasgupta, W. Deng, Jack Dongarra, L. Johnsson, Ken Kennedy, Charles Koelbel, B. Liu, Xin Liu, Anirban Mandal, Gabriel Marin, Mark Mazina, John M. Mellor-Crummey, Celso L. Mendes, Alex Olugbile, M. Patel, Daniel A. Reed, Zhiao Shi, Otto Sievert, Huaxia Xia, Asim YarKhan:
  New Grid Scheduling and Rescheduling Methods in the GrADS Project. 209-229
  Electronic Edition (link) BibTeX
• J. Eliot B. Moss, Trek S. Palmer, Timothy Richards, Edward K. Walters II, Charles C. Weems:
  CISL: A Class-Based Machine Description Language for Co-Generation of Compilers and Simulators. 231-246
  Electronic Edition (link) BibTeX
• Sumir Chandra, Manish Parashar, Jingmei Yang, Yeliang Zhang, Salim Hariri:
  Investigating Autonomic Runtime Management Strategies for SAMR Applications. 247-259
  Electronic Edition (link) BibTeX
• Saman P. Amarasinghe, Michael I. Gordon, Michal Karczmarek, Jasper Lin, David Maze, Rodric M. Rabbah, William Thies:
  Language and Compiler Design for Streaming Applications. 261-278
  Electronic Edition (link) BibTeX
• Joy Mukherjee, Srinidhi Varadarajan:
  Weaves: A Framework for Reconfigurable Programming. 279-305
  Electronic Edition (link) BibTeX

Volume 33, Number 4, August 2005

• Ravi R. Iyer, Jack Perdue, Lawrence Rauchwerger, Nancy M. Amato, Laxmi N. Bhuyan:
  An Experimental Evaluation of the HP V-Class and SGI Origin 2000 Multiprocessors using Microbenchmarks and Scientific Applications. 307-350
  Electronic Edition (link) BibTeX
• Chao Lin, Jang-Ping Sheu:
  Efficient Broadcast in Heterogeneous Networks of Workstations Using Two Sub-Networks. 351-391
  Electronic Edition (link) BibTeX
• Sid Ahmed Ali Touati:
  Register Saturation in Instruction Level Parallelism. 393-449
  Electronic Edition (link) BibTeX

Volume 33, Number 5, October 2005

• Jean-Luc Gaudiot, Siang Song:
  Message from the Guest Editors. 451-452
  Electronic Edition (link) BibTeX
• Rodolfo Azevedo, Sandro Rigo, Marcus Bartholomeu, Guido Araujo, Cristiano C. de Araujo, Edna Barros:
  The ArchC Architecture Description Language and Tools. 453-484
  Electronic Edition (link) BibTeX
• Debora R. Roberti, Roberto P. Souto, Haroldo F. de Campos Velho, Gervásio Annes Degrazia, Domenico Anfossi:
  Parallel Implementation of a Lagrangian Stochastic Model for Pollutant Dispersion. 485-498
  Electronic Edition (link) BibTeX
• Edson T. Midorikawa, Hélio Marci de Oliveira, Jean Marcos Laine:
  PEMPIs: A New Methodology for Modeling and Prediction of MPI Programs Performance. 499-527
  Electronic Edition (link) BibTeX
• Onur Mutlu, Hyesoon Kim, David N. Armstrong, Yale N. Patt:
  Using the First-Level Caches as Filters to Reduce the Pollution Caused by Speculative Memory References. 529-559
  Electronic Edition (link) BibTeX
• Yue Luo, Lizy Kurian John, Lieven Eeckhout:
  SMA: A Self-Monitored Adaptive Cache Warm-Up Scheme for Microprocessor Simulation. 561-581
  Electronic Edition (link) BibTeX

Volume 33, Number 6, December 2005

• Franco Fummi, Ian G. Harris:
  Editorial. 583-584
  Electronic Edition (link) BibTeX
• Mirko Loghi, Tiziana Margaria, Graziano Pravadelli, Bernhard Steffen:
  Dynamic and Formal Verification of Embedded Systems: A Comparative Survey. 585-611
  Electronic Edition (link) BibTeX
• Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh Gupta:
  A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking. 613-643
  Electronic Edition (link) BibTeX
• Alfred Kölbl, Carl Pixley:
  Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation. 645-666
  Electronic Edition (link) BibTeX
• Francesco Bruschi, Fabrizio Ferrandi, Donatella Sciuto:
  A Framework for the Functional Verification of SystemC Models. 667-695
  Electronic Edition (link) BibTeX
• Iñigo Ugarte, Pablo Sanchez:
  Verification of Embedded Systems Based on Interval Analysis. 697-720
  Electronic Edition (link) BibTeX