Journal: SIGMETRICS Performance Evaluation Review

Volume 32, Issue 4

3 -- 0Boudewijn R. Haverkort, Joost-Pieter Katoen. Performance and verification
4 -- 9Gianfranco Ciardo, Andrew S. Miner. Implicit data structures for logic and stochastic systems analysis
10 -- 15Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Model checking meets performance evaluation
16 -- 21Marta Z. Kwiatkowska, Gethin J. Norman, David Parker. Probabilistic model checking in practice: case studies with PRISM
22 -- 27Christel Baier, Frank Ciesinski, Marcus Größer. ProbMela and verification of Markov decision processes
28 -- 33David N. Jansen, Holger Hermanns. QoS modelling and analysis with UML-statecharts: the StoCharts approach
34 -- 40Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen. Optimal scheduling using priced timed automata
41 -- 47Annabelle McIver, Carroll Morgan. Abstraction and refinement in probabilistic systems

Volume 32, Issue 3

3 -- 13Humberto T. Marques Neto, Jussara M. Almeida, Leonardo C. da Rocha, Wagner Meira Jr., Pedro H. C. Guerra, Virgílio A. F. Almeida. A characterization of broadband user behavior and their e-business activities
14 -- 23Mauro Andreolini, Michele Colajanni, Riccardo Lancellotti, Francesca Mazzoni. Fine grain performance evaluation of e-commerce sites
24 -- 33Monchai Sopitkamol. Ranking configuration parameters in multi-tiered e-commerce sites
34 -- 43Salvatore D Antonio, Marcello Esposito, Simon Pietro Romano, Giorgio Ventre. Assessing the scalability of component-based frameworks: the CADENUS case study
44 -- 53Tao Ye, Shivkumar Kalyanaraman. A recursive random search algorithm for network parameter optimization

Volume 32, Issue 2

2 -- 0Mark S. Squillante. Guest editor s foreword
3 -- 5Takayuki Osogami, Adam Wierman, Mor Harchol-Balter, Alan Scheller-Wolf. A recursive analysis technique for multi-dimensionally infinite Markov chains
6 -- 8Ana Paula Couto da Silva, Rosa M. M. Leão, Edmundo de Souza e Silva. An efficient approximate technique for solving fluid models
9 -- 11Yaakov Kogan, Gagan L. Choudhury. Two problems in internet reliability: new questions for old models
12 -- 13Adam Wierman, Mor Harchol-Balter. Formalizing SMART scheduling
14 -- 16David Raz, Benjamin Avi-Itzhak, Hanoch Levy. How fair is queue prioritization?
17 -- 19Hanhua Feng, Vishal Misra. On the relationship between coefficient of variation and the performance of ::::M/G/::::1-FB queues
20 -- 21Junxia Chang, Hayriye Ayhan, J. G. Dai. Dynamic scheduling of multiclass open queueing networks in a slowly changing environment
22 -- 24Vladimir Marbukh. A knowledge plane as a pricing mechanism for aggregate, user-centric utility maximization
25 -- 27Wuqin Lin, Zhen Liu, Cathy H. Xia, Li Zhang. Cost minimization of multi-tiered e-business infrastructure with end-to-end delay guarantees
28 -- 30Micah Adler, Rakesh Kumar, Keith W. Ross, Dan Rubenstein, David A. Turner, David D. Yao. Two optimal peer selection problems
31 -- 32Edward G. Coffman Jr., Andreas Constantinides, Dan Rubenstein, Bruce Shepherd, Angelos Stavrou. Content distribution for seamless transmission
33 -- 34David Gamarnik, Petar Momcilovic. An asymptotic optimality of the transposition rule for linear lists
35 -- 37Yuliy M. Baryshnikov, Edward G. Coffman Jr., Petar Momcilovic. Self assembly times in DNA-based computation
38 -- 40Iraj Saniee, Indra Widjaja, John Morrison. Performance of a distributed scheduling protocol for TWIN
41 -- 43René Bekker, Sem C. Borst, Rudesindo Núñez-Queija. Integration of TCP-friendly streaming sessions and heavy-tailed elastic flows
44 -- 46Gijs van Kessel, Rudesindo Núñez-Queija, Sem C. Borst. Asymptotic regimes and approximations for discriminatory processor sharing
47 -- 49Yi Cui, Yuan Xue, Klara Nahrstedt. Optimal distributed multicast routing using network coding: theory and applications
50 -- 52Xuan Li, David D. Yao. Control and pricing in stochastic networks with concurrent resource occupancy
53 -- 54Xin Guo, Yingdong Lu, Mark S. Squillante. Optimal probabilistic routing in distributed parallel queues