Journal: SIGMETRICS Performance Evaluation Review

Volume 36, Issue 4

2 -- 3Giuliano Casale, Richard R. Muntz, Giuseppe Serazzi. Special issue on tools for computer performance modeling and reliability analysis
4 -- 9Souheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis. The GreatSPN tool: recent enhancements
10 -- 15Marco Bertoli, Giuliano Casale, Giuseppe Serazzi. JMT: performance engineering tools for system modeling
16 -- 21Shravan Gaonkar, Ken Keefe, Ruth Lamprecht, Eric Rozier, Peter Kemper, William H. Sanders. Performance and dependability modeling with Möbius
22 -- 27Markus Arns, Peter Buchholz, Dennis Müller. OPEDo: a tool for the optimization of performance and dependability models
28 -- 33Mirco Tribastone, Adam Duguid, Stephen Gilmore. The PEPA eclipse plugin
34 -- 39Nicholas J. Dingle, William J. Knottenbelt, Tamas Suto. PIPE2: a tool for the performance evaluation of generalised stochastic Petri Nets
40 -- 45Marta Z. Kwiatkowska, Gethin Norman, David Parker. PRISM: probabilistic model checking for performance and reliability analysis
46 -- 51Samuel Kounev, Christofer Dutz. QPME: a performance modeling tool based on queueing Petri Nets
52 -- 57Kishor S. Trivedi, Robin A. Sahner. SHARPE at the age of twenty two
58 -- 63Gianfranco Ciardo, Andrew S. Miner, Min Wan. Advanced features in SMART: the stochastic model checking analyzer for reliability and timing
64 -- 69Edmundo de Souza e Silva, Daniel R. Figueiredo, Rosa Maria Meri Leão. The TANGRAMII integrated modeling environment for computer systems and networks

Volume 36, Issue 3

2 -- 0Boudewijn R. Haverkort, Markus Siegle, Maarten van Steen. Quantitative analysis of gossiping protocols
3 -- 6Joost-Pieter Katoen. How to model and analyze gossiping protocols?
7 -- 16Pepijn Crouzen, Jaco van de Pol, Arend Rensink. Applying formal methods to gossiping networks with mCRL and groove
17 -- 22Marta Z. Kwiatkowska, Gethin Norman, David Parker. Analysis of a gossip protocol in PRISM
23 -- 30Thomas Krieger, Martin Riedl, Johann Schuster, Markus Siegle. A view-probability-matrix approach to the modelling of gossiping protocols
31 -- 39Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort. MeanField analysis for the evaluation of gossip protocols
40 -- 49Trilce Estrada, Olac Fuentes, Michela Taufer. A distributed evolutionary method to design scheduling policies for volunteer computing
50 -- 57Wesley M. Eddy. Basic properties of the IPv6 AS-level topology

Volume 36, Issue 2

4 -- 9Tingxi Tan, Rob Simmonds, Bradley Arlt, Martin F. Arlitt, Bruce Walker. Image management in a virtualized data center
10 -- 15Abhishek Chandra, Rohini Prinja, Sourabh Jain, Zhi-Li Zhang. Co-designing the failure analysis and monitoring of large-scale systems
16 -- 25Abhishek Sharma, Ranjita Bhagwan, Monojit Choudhury, Leana Golubchik, Ramesh Govindan, Geoffrey M. Voelker. Automatic request categorization in internet services
26 -- 31Aman Kansal, Feng Zhao. Fine-grained energy profiling for power-aware application design
32 -- 37Nahur Fonseca, Mark Crovella, Kavé Salamatian. Long range mutual information
38 -- 44Giuliano Casale, Ningfang Mi, Ludmila Cherkasova, Evgenia Smirni. How to parameterize models with bursty workloads
45 -- 51Bill Lin, Jun (Jim) Xu. DRAM is plenty fast for wirespeed statistics counting
52 -- 57Nitin Agrawal, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau. Towards realistic file-system benchmarks with CodeMRI
58 -- 63Elias Weingärtner, Florian Schmidt, Tobias Heer, Klaus Wehrle. Synchronized network emulation: matching prototypes with complex simulations
64 -- 69Balachander Krishnamurthy, Walter Willinger. What are our standards for validation of measurement-based networking research?
71 -- 74Roger Curry, Cameron Kiddle, Nayden Markatchev, Rob Simmonds, Tingxi Tan, Martin F. Arlitt, Bruce Walker. Running applications efficiently in online social networks
75 -- 78Eddy Z. Zhang, Giuliano Casale, Evgenia Smirni. KPC-Toolbox: best recipes toward automatization of workload fitting
79 -- 82Daniel De Vera, Pablo Rodríguez-Bocca, Gerardo Rubino. Automatic quality of experience measuring on video delivering networks
83 -- 86Dario Rossi, Silvio Valenti, Paolo Veglia, Dario Bonfiglio, Marco Mellia, Michela Meo. Pictures from the Skype
87 -- 89Justin Ormont, Jordan Walker, Suman Banerjee. Continuous monitoring of wide-area wireless networks: data collection and visualization
90 -- 94Hicham Anouar, Christian Bonnet, Daniel Cåmara, Fethi Filali, Raymond Knopp. An overview of OpenAirInterface wireless network emulation methodology
95 -- 97Xiaoyue Jiang. New perspectives on network calculus
98 -- 100Chaitanya Garikiparthi, Appie van de Liefvoort, Kenneth Mitchell. Busy period analysis of finite QBD processes
101 -- 103Predrag R. Jelenkovic, Xiaozhu Kang. Is fair resource sharing responsible for spreading long delays?
104 -- 106Varun Gupta. Finding the optimal quantum size: Sensitivity analysis of the ::::M/G/1:::: round-robin queue
107 -- 109Eitan Bachmat, Hagit Sarfati. Analysis of size interval task assignment policies
110 -- 112Ho-Lin Chen, Jason R. Marden, Adam Wierman. The effect of local scheduling in load balancing designs
113 -- 115Yuan Wu, Danny H. K. Tsang. Joint rate-and-power allocation for multi-channel spectrum sharing networks
116 -- 118Pei Li, John C. S. Lui, Yinlong Xu. A stochastic model for BitTorrent-like systems
119 -- 121Predrag R. Jelenkovic, Xiaozhu Kang. Characterizing the miss sequence of the LRU cache
122 -- 124Florian Simatos, Danielle Tibi. Study of a stochastic model for mobile networks
125 -- 127Petar Momcilovic, Mark S. Squillante. On throughput in stochastic linear loss networks
128 -- 130Varun Gupta, Peter G. Harrison. Fluid level in a reservoir with an on-off source
131 -- 133Kyung Joon Kwak, Yuliy M. Baryshnikov, Edward G. Coffman Jr.. Self-assembling sweep-and-sleep sensor systems
134 -- 136Giuliano Casale. CoMoM: class-oriented evaluation of multiclass models
137 -- 139A. B. Dieker, S. Ghosh, Mark S. Squillante. Capacity optimization in feedforward Brownian networks