International Journal of PARALLEL PROGRAMMING Vol. 33, Number 1 February 2005 CONTENTS A Polynomial-Time Algorithm for Memory Space Reduction Yonghong Song, Cheng Wang, and Zhiyuan Li Automatic Array Partitioning Based on the Smith Normal Form Eric Hung-Yu Tseng and Jean-Luc Gaudiot Concatenation Algorithms for Parallel Numerical Simulation of Radiation Hydrodynamics coupled with Neutron Transport Mo Zeyao International Journal of PARALLEL PROGRAMMING Vol. 33, Numbers 2/3 June 2005 CONTENTS Special Issue: Next Generation Software Program Guest Editor: Frederica Darema The Next Generation Software Program Frederica Darema Achieving Structural and Composable Modeling of Complex Systems David I. August, Sharad Malik, Li-Shiuan Peh, Vijay Pai, Manish Vachharajani, and Paul Willmann Compile-Time Planning for Overhead Reduction in Software Dynamic Translators Naveen Kumar, Bruce R. Childers, Daniel Williams, Jack W. Davidson, and Mary Lou Soffa Extracting and Improving Microarchitecture Performance on Reconfigurable Architectures Shobana Padmanabhan, Phillip Jones, David V. Schuehler, Scott J. Friedman, Praveen Krishnamurthy, Huakai Zhang, Roger Chamberlain, Ron K. Cytron, Jason Fritts, and John W. Lockwood The Component Structure of a Self-Adapting Numerical Software System Victor Eijkhout, Erika Fuentes, Thomas Eidson, and Jack Dongarra Generic Programming and High-Performance Libraries Douglas Gregor, Jaakko Jarvi, Mayuresh Kulkarni, Andrew Lumsdaine, David Musser, and Sibylle Schupp Empirical Optimization for a Sparse Linear Solver: A Case Study Yoon-Ju Lee, Pedro C. Diniz, Mary W. Hall, and Robert Lucas Simulation-Based Performance Prediction for Large Parallel Machines Gengbin Zheng, Terry Wilmarth, Praveen Jagadishprasad, and Laxmikant V. Kale New Grid Scheduling and Rescheduling Methods in the GrADS Project F. Berman, H. Casanova, A. Chien, K. Cooper, H. Dail, A. Dasgupta, W. Deng, J. Dongarra, L. Johnsson, K. Kennedy, C. Koelbel, B. Liu, X. Liu, A. Mandal, G. Marin, M. Mazina, J. Mellor-Crummey, C. Mendes, A. Olugbile, M. Patel, D. Reed, Z. Shi, O. Sievert, H. Xia, and A. YarKhan CISL: A Class-Based Machine Description Language for Co-Generation of Compilers and Simulators J. Eliot B. Moss, Trek Palmer, Timothy Richards, Edward K. Walters, IT, and Charles C. Weems Investigating Autonomic Runtime Management Strategies for SAMR Applications Samir Chandra, Manish Parasher, Jingmei Yang, Yeliang Zhang, and Salim Hariri Language and Compiler Design for Streaming Applications Saman Amarasinghe, Michael L. Gordon, Michal Karczmarek, Jasper Lin, David Maze, Rodric M. Rabbah, and William Thies Weaves: A Framework for Reconfigurable Programming Joy Mukherjee and Srinidhi Varadarajan International Journal of PARALLEL PROGRAMMING Vol. 33, Number 4 August 2005 CONTENTS An Experimental Evaluation of the HP V-Class and SGI Origin 2000 Multiprocessors using Microbenchmarks and Scientific Applications Ravi Iyer, Jack Perdue, Lawrence Rauchwerger, Nancy M. Amato, and Laxmi Bhuyan Efficient Broadcast in Heterogeneous Networks of Workstations Using Two Sub-Networks Chao Lin and Jang-Ping Sheu Register Saturation in Instruction Level Parallelism Sid-Ahmed-Ali Touati International Journal of PARALLEL PROGRAMMING Vol. 33, Number 5 October 2005 CONTENTS Message from the Guest Editors Jean-Luc Gaudiot and Siang Wun Song The ArchC Architecture Description Language and Tools Rodolfo Azevedo, Sandro Rigo, Marcus Bartholomeu, Guido Araujo, Cristiano Araujo, and Edna Barros Parallel Implementation of a Lagrangian Stochastic Model for Pollutant Dispersion Debora R. Roberti, Roberto P. Souto, Haroldo F. de Campos Velho, Gervasio A. Degrazia, and Domenico Anfossi PEMPIs: A New Methodology for Modeling and Prediction of MPI Programs Performance Edson Toshimi Midorikawa, Helio Marci de Oliveira, and Jean Marcos Laine Using the First-Level Caches as Filters to Reduce the Pollution Caused by Speculative Memory References Onur Mutlu, Hyesoon Kim, David N. Armstrong, and Yale N. Patt SMA: A Self-Monitored Adaptive Cache Warm-Up Scheme for Microprocessor Simulation Yue Luo, Lizy K. John, and Lieven Eeckhout International Journal of PARALLEL PROGRAMMING Vol. 33, Number 6 December 2005 CONTENTS Editorial Dynamic and Formal Verification of Embedded Systems: A Comparative Survey Mirko Loghi, Tiziana Margaria, Graziano Pravadelli, and Bernhard Steffen A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking Jean-Pierre Talpin, Paul Le Guernic, Sandeep Kumar Shukla, and Rajesh Gupta Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation Alfred Koelbl and Carl Pixley A Framework for the Functional Verification of SystemC Models Francesco Bruschi, Fabrizio Ferrandi, and Donatella Sciuto Verification of Embedded Systems Based on Interval Analysis Inigo Ugarte and Pablo Sanchez \ \