Journal: International Journal of Parallel Programming

Volume 33, Issue 6

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

Volume 33, Issue 5

451 -- 452Jean-Luc Gaudiot, Siang Song. Message from the Guest Editors
453 -- 484Rodolfo Azevedo, Sandro Rigo, Marcus Bartholomeu, Guido Araujo, Cristiano C. de Araujo, Edna Barros. The ArchC Architecture Description Language and Tools
485 -- 498Debora 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
499 -- 527Edson T. Midorikawa, Hélio Marci de Oliveira, Jean Marcos Laine. PEMPIs: A New Methodology for Modeling and Prediction of MPI Programs Performance
529 -- 559Onur 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
561 -- 581Yue Luo, Lizy Kurian John, Lieven Eeckhout. SMA: A Self-Monitored Adaptive Cache Warm-Up Scheme for Microprocessor Simulation

Volume 33, Issue 4

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

Volume 33, Issue 2-3

73 -- 79Frederica Darema. The Next Generation Software Program
81 -- 101David I. August, Sharad Malik, Li-Shiuan Peh, Vijay S. Pai, Manish Vachharajani, Paul Willmann. Achieving Structural and Composable Modeling of Complex Systems
103 -- 114Naveen Kumar, Bruce R. Childers, Daniel Williams, Jack W. Davidson, Mary Lou Soffa. Compile-Time Planning for Overhead Reduction in Software Dynamic Translators
115 -- 136Shobana 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
137 -- 143Victor Eijkhout, Erika Fuentes, Thomas Eidson, Jack Dongarra. The Component Structure of a Self-Adapting Numerical Software System
145 -- 164Douglas Gregor, Jaakko Järvi, Mayuresh Kulkarni, Andrew Lumsdaine, David R. Musser, Sibylle Schupp. Generic Programming and High-Performance Libraries
165 -- 181Yoon-Ju Lee, Pedro C. Diniz, Mary W. Hall, Robert F. Lucas. Empirical Optimization for a Sparse Linear Solver: A Case Study
183 -- 207Gengbin Zheng, Terry Wilmarth, Praveen Jagadishprasad, Laxmikant V. Kalé. Simulation-Based Performance Prediction for Large Parallel Machines
209 -- 229Francine 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
231 -- 246J. 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
247 -- 259Sumir Chandra, Manish Parashar, Jingmei Yang, Yeliang Zhang, Salim Hariri. Investigating Autonomic Runtime Management Strategies for SAMR Applications
261 -- 278Saman P. Amarasinghe, Michael I. Gordon, Michal Karczmarek, Jasper Lin, David Maze, Rodric M. Rabbah, William Thies. Language and Compiler Design for Streaming Applications
279 -- 305Joy Mukherjee, Srinidhi Varadarajan. Weaves: A Framework for Reconfigurable Programming

Volume 33, Issue 1

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