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