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
  
• Eric Hung-Yu Tseng, Jean-Luc Gaudiot:
  Automatic Array Partitioning Based on the Smith Normal Form. 35-56
  
• Mo Zeyao:
  Concatenation Algorithms for Parallel Numerical Simulation of Radiation Hydrodynamics coupled with Neutron Transport. 57-71
  

Volume 33, Number 2-3, June 2005

• Frederica Darema:
  The Next Generation Software Program. 73-79
  
• 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
  
• 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
  
• 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
  
• Victor Eijkhout, Erika Fuentes, Thomas Eidson, Jack Dongarra:
  The Component Structure of a Self-Adapting Numerical Software System. 137-143
  
• Douglas Gregor, Jaakko Järvi, Mayuresh Kulkarni, Andrew Lumsdaine, David R. Musser, Sibylle Schupp:
  Generic Programming and High-Performance Libraries. 145-164
  
• Yoon-Ju Lee, Pedro C. Diniz, Mary W. Hall, Robert F. Lucas:
  Empirical Optimization for a Sparse Linear Solver: A Case Study. 165-181
  
• Gengbin Zheng, Terry Wilmarth, Praveen Jagadishprasad, Laxmikant V. Kalé:
  Simulation-Based Performance Prediction for Large Parallel Machines. 183-207
  
• 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
  
• 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
  
• Sumir Chandra, Manish Parashar, Jingmei Yang, Yeliang Zhang, Salim Hariri:
  Investigating Autonomic Runtime Management Strategies for SAMR Applications. 247-259
  
• 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
  
• Joy Mukherjee, Srinidhi Varadarajan:
  Weaves: A Framework for Reconfigurable Programming. 279-305
  

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
  
• Chao Lin, Jang-Ping Sheu:
  Efficient Broadcast in Heterogeneous Networks of Workstations Using Two Sub-Networks. 351-391
  
• Sid Ahmed Ali Touati:
  Register Saturation in Instruction Level Parallelism. 393-449
  

Volume 33, Number 5, October 2005

• Jean-Luc Gaudiot, Siang Song:
  Message from the Guest Editors. 451-452
  
• Rodolfo Azevedo, Sandro Rigo, Marcus Bartholomeu, Guido Araujo, Cristiano C. de Araujo, Edna Barros:
  The ArchC Architecture Description Language and Tools. 453-484
  
• 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
  
• 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
  
• 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
  
• Yue Luo, Lizy Kurian John, Lieven Eeckhout:
  SMA: A Self-Monitored Adaptive Cache Warm-Up Scheme for Microprocessor Simulation. 561-581
  

Volume 33, Number 6, December 2005

• Franco Fummi, Ian G. Harris:
  Editorial. 583-584
  
• Mirko Loghi, Tiziana Margaria, Graziano Pravadelli, Bernhard Steffen:
  Dynamic and Formal Verification of Embedded Systems: A Comparative Survey. 585-611
  
• 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
  
• Alfred Kölbl, Carl Pixley:
  Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation. 645-666
  
• Francesco Bruschi, Fabrizio Ferrandi, Donatella Sciuto:
  A Framework for the Functional Verification of SystemC Models. 667-695
  
• Iñigo Ugarte, Pablo Sanchez:
  Verification of Embedded Systems Based on Interval Analysis. 697-720