CSDL - Proceedings Q

Message from the Program Chairs (PDF)

pp. x

Technical Program Committee (PDF)

pp. xiii

Reviewers (PDF)

pp. xiv

Invited Talk (Pierpaolo Degano)

Formal Executable Descriptions of Biological Systems (Abstract)

Michele Curti, University of Pisa, Italy

Pierpaolo Degano, University of Pisa, Italy

Davide Prandi, University of Trento

Corrado Priami, University of Trento

Paola Quaglia, University of Trento

Linda Brodo, University of Sassari

pp. 2-12

PDF

Petri Nets and Process Algebras

Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems (Abstract)

G. Bucci, G.Bucci

R. Piovosi, R.Piovosi

L. Sassoli, L.Sassoli

E. Vicario, E.Vicario

pp. 13-22

PDF

On the use of exact lumpability in partially symmetricalWell-formed Nets (Abstract)

S. Baarir, LIP6, Universite Paris, France

C. Dutheillet, LIP6, Universite Paris, France

S. Haddad, LAMSADE, Universite Paris 9 , France

J.M. Ilie, LIP6 and IUT Paris5, France

pp. 23-32

PDF

Fluid Flow Approximation of PEPA models (Abstract)

J. Hillston, University of Edinburgh, UK

pp. 33-43

PDF

Bisimulation and Approximations

Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models (Abstract)

Roberto Segala, Universita di Verona

Andrea Turrini, Universita di Verona

pp. 44-53

PDF

An approximation algorithm for labelled Markov processes: towards realistic approximation (Abstract)

Alexandre Bouchard-Cote, McGill University Montreal, Quebec, Canada

Norm Ferns, McGill University Montreal, Quebec, Canada

Prakash Panangaden,, McGill University Montreal, Quebec, Canada

Doina Precup, McGill University Montreal, Quebec, Canada

pp. 54-62

PDF

Invited Talk (Leana Golubchik)

Toward Picture-perfect Streaming on the Internet (Abstract)

Alix L.H. Chow, Univ. of Southern California

Leana Golubchik, CS and EE-Systems Depts, IMSC, ISI Univ. of Southern California

John C.S. Lui, Chinese Univ. of Hong Kong

pp. 63-73

PDF

Workload Characterization/Measurements

The Use of Optimal Filters to Track Parameters of Performance Models (Abstract)

Murray Woodside, Carleton University, Ottawa, Canada

Tao Zheng, Carleton University, Ottawa, Canada

Marin Litoiu, IBM Toronto Lab Canada

pp. 74-84

PDF

Performability

Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework (Abstract)

Gribaudo Marco, Universita di Torino, Italy

Moscato Francesco, Universita di Napoli, Italy

Nicola Mazzocca, Universita di Napoli, Italy

Valeria Vittorini, Universita di Napoli, Italy

pp. 85-94

PDF

Evaluating the Dependability of a LEO Satellite Network for Scientific Applications (Abstract)

Eleftheria Athanasopoulou, University of Illinois at Urbana-Champaign

Purvesh Thakker, University of Illinois at Urbana-Champaign

William H. Sanders, University of Illinois at Urbana-Champaign

pp. 95-104

PDF

On the performance of D-redundant disk systems (Abstract)

E.Bachmat E., E. Bachmat

pp. 105-113

PDF

Markovian Models

Steady State Solution for Models with Geometric and Finite Support Activity Duration (Abstract)

Andras Horvath, Universita di Torino, Italy

pp. 114-123

PDF

A MAP fitting approach with independent approximation of the inter-arrival time distribution and the lag correlation (Abstract)

G. Horvath, Technical University of Budapest

M. Telek, Technical University of Budapest

P. Buchholz, Universitat Dortmund

pp. 124-133

PDF

Approximate Analysis of Stochastic Models by Self-Correcting Aggregation (Abstract)

Peter Bazan, Friedrich-Alexander University Erlangen-Nurnberg, Germany

Reinhard German, Friedrich-Alexander University Erlangen-Nurnberg, Germany

pp. 134-144

PDF

Model Checking

Model Checking for Survivability (Abstract)

Lucia Cloth, University of Twente

Boudewijn R. Haverkort, University of Twente

pp. 145-154

PDF

Checking LTL Properties of Recursive Markov Chains (Abstract)

Mihalis Yannakakis, Columbia University

Kousha Etessami, University of Edinburgh

pp. 155-165

PDF

Invited Talk (Thomas Sterling)

Challenges to Evaluating Petaflops Systems (PDF)

Thomas Sterling, California Institute of Technology

pp. 166-167

Architecture Measurements/Modeling I

X-Ray: A Tool for Automatic Measurement of Hardware Parameters (Abstract)

Kamen Yotov, Cornell University, Ithaca, NY

Keshav Pingali, Cornell University, Ithaca, NY

Paul Stodghill, Cornell University, Ithaca, NY

pp. 168-178

PDF

Architecture Measurements/Modeling II

Workload Propagation - Overload in Bursty Servers (Abstract)

Qi Zhang, College of William and Mary Williamsburg, VA

Alma Riska, Seagate Research, PA

Erik Riedel, Seagate Research, Pittsburgh, P

pp. 179-188

PDF

Performance Modeling and Architecture Exploration of Network Processors (Abstract)

S. Govind, Indian Institute of Science Bangalore, India

R. Govindarajan, Indian Institute of Science Bangalore, India

pp. 189-198

PDF

Integrating Multiple Forms of Multithreaded Execution on multi-SMT Systems: A Study with Scientific Applications (Abstract)

Matthew Curtis-Maury, College of William and Mary, Williamsburg, VA

Tanping Wang,, College of William and Mary, Williamsburg, VA

pp. 199-209

PDF

Markov Chains/Importance Sampling

QBDs with Marked Time Epochs: a Framework for Transient Performance Measures (Abstract)

B. Van Houdt, University of Antwerp, Belgium

C. Blondia, University of Antwerp, Belgium

pp. 210-219

PDF

Importance Sampling Simulation of Population Overflow in Two-node Tandem Networks (Abstract)

Victor F. Nicola, University of Twente, Enschede, The Netherlands

Tatiana S. Zaburnenko, University of Twente, Enschede, The Netherlands

pp. 220-229

PDF

On Optimal Importance Sampling for Discrete Time Markov Chains (Abstract)

Werner Sandmann, Universitat Bamberg Feldkirchenstr

pp. 230-240

PDF

Tool Presentations

NekoStat extension to Neko: Quantitative Evaluation of Distributed Algorithms (Abstract)

Lorenzo Falai, University of Florence, Italy

Andrea Bondavalli, University of Florence, Italy

Felicita Di Giandomenico, CNR, ISTI Institute, Pisa, Italy

pp. 241-242

PDF

A Markov Reward Model Checker (Abstract)

Joost-Pieter Katoen, RWTH Aachen, , Germany

Maneesh Khattri, University of Twente, Netherlands

Ivan S. Zapreev, University of Twente, Netherlands

pp. 243-244

PDF

iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs (Abstract)

YoungMin Kwon, University of Illinois at Urbana-Champaign

Gul Agha, University of Illinois at Urbana-Champaign

pp. 245-246

PDF

A Software Performance Engineering Tool based on the UML-SPT (Abstract)

Elena Gomez-Martinez, Universidad de Zaragoza, Spain

Jose Merseguer, Universidad de Zaragoza, Spain

pp. 247-248

PDF

SAM: A Tool for Software Architecture Modeling and Performance Analysis (Abstract)

G Rajeshwari, Infosys Technologies Ltd

Santonu Sarkar, Infosys Technologies Ltd

pp. 249-250

PDF

VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems (Abstract)

Koushik Sen, University of Illinois at Urbana Champaign

Mahesh Viswanathan, University of Illinois at Urbana Champaign

Gul Agha, University of Illinois at Urbana Champaign

pp. 251-252

PDF

OpenSESAME Simple but Extensive Structured Availability Modeling Environment (Abstract)

Max Walter, Universitat Munchen, Lehrstuhl fur Rechnertechnik, Germany

Carsten Trinitis, Universitat Munchen, Lehrstuhl fur Rechnertechnik, Germany

pp. 253-254

PDF

MCReNet: a tool for Marked-Controlled Reconfigurable Nets (Abstract)

Marisa Llorens, Universidad Politecnica de Valencia (UPV), Spain

Javier Oliver, Universidad Politecnica de Valencia (UPV), Spain

pp. 255-256

PDF

Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems (Abstract)

Marco Gribaudo, Univ. di Torino, Italy

Daniele Codetta-Raiteri, Univ. di Torino, Italy

Giuliana Franceschinis, Univ. del Piemonte Orientale, Italy

pp. 257-258

PDF

The Mobius Modeling Environment: Recent Extensions - 2005 (Abstract)

Tod Courtney, University of Illinois at Urbana-Champaign

Salem Derisavi, University of Illinois at Urbana-Champaign

Shravan Gaonkar, University of Illinois at Urbana-Champaign

Mark Griffith, University of Illinois at Urbana-Champaign

Vinh Lam, University of Illinois at Urbana-Champaign

Michael McQuinn, University of Illinois at Urbana-Champaign

Eric Rozier, University of Illinois at Urbana-Champaign

William H. Sanders, University of Illinois at Urbana-Champaign

pp. 259-260

PDF

Author Index

Author Index (PDF)

pp. 261