Journal: Comput. J.

Volume 54, Issue 5

639 -- 640Fairouz Kamareddine. Capsule Reviews
641 -- 642Jeremy T. Bradley. Computer Performance Evaluation: Preface
643 -- 652Nigel Thomas, Yishi Zhao. Mean value analysis for a class of PEPA models
653 -- 673Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis. First Passage Time Computation in Tagged GSPNs with Queue Places
674 -- 690Connie U. Smith, Catalina M. Lladó, Ramón Puigjaner. Model Interchange Format Specifications for Experiments, Output and Results
691 -- 707Abigail S. Lebrecht, Nicholas J. Dingle, William J. Knottenbelt. Analytical and Simulation Modelling of Zoned RAID Systems
708 -- 716Mehmet Serkan Apaydin, Bülent Çatay, Nicholas Patrick, Bruce Randall Donald. NVR-BIP: Nuclear Vector Replacement using Binary Integer Programming for NMR Structure-Based Assignments
717 -- 725Ender Sevinç, Ahmet Cosar. An Evolutionary Genetic Algorithm for Optimization of Distributed Database Queries
726 -- 737Hamid Sarbazi-Azad, Ahmad Khonsari, Mohamed Ould-Khaoua. On the Topological Properties of Grid-Based Interconnection Networks: Surface Area and Volume of Radial Spheres
738 -- 753Rifat Benveniste, Cem Ünsalan. A Color Invariant for Line Stripe-Based Range Scanners
754 -- 775Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Safety, Dependability and Performance Analysis of Extended AADL Models
776 -- 785James F. Korsh. Fast Generation of ::::t::::-ary Trees
786 -- 799Ramon Bertran, Marc González, Xavier Martorell, Nacho Navarro, Eduard Ayguadé. Local Memory Design Space Exploration for High-Performance Computing
800 -- 814Murat Ali Bayir, Murat Demirbas, Ahmet Cosar. A Web-Based Personalized Mobility Service for Smartphone Applications
815 -- 823Minhaj Ahmad Khan. Data Cache Prefetching With Dynamic Adaptation
824 -- 830Yen-Ju Chen, Jia Jie Liu, Yue-Li Wang. An Optimal Rotation Distance Set