Sciweavers

182 search results - page 8 / 37
» Experimental Evaluation of QSM, a Simple Shared-Memory Model
Sort
View
QEST
2009
IEEE
14 years 3 months ago
Simulation-Based CTMC Model Checking: An Empirical Evaluation
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...
Joost-Pieter Katoen, Ivan S. Zapreev
SIGCOMM
2012
ACM
11 years 11 months ago
ShadowStream: performance evaluation as a capability in production internet live streaming networks
As live streaming networks grow in scale and complexity, they are becoming increasingly difficult to evaluate. Existing evaluation methods including lab/testbed testing, simulati...
Chen Tian, Richard Alimi, Yang Richard Yang, David...
APGV
2006
ACM
107views Visualization» more  APGV 2006»
14 years 2 months ago
Evaluation of supra-threshold perceptual metrics for 3D models
Measures of dissimilarity of 3D models are necessary in a wide range of applications such as geometry compression, simplification, and 3D model retrieval. In many cases a metric ...
Ioan Cleju, Dietmar Saupe
AOSE
2007
Springer
14 years 17 days ago
Refining Goal Models by Evaluating System Behaviour
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...
Mirko Morandini, Loris Penserini, Anna Perini, Ang...
ICC
2009
IEEE
113views Communications» more  ICC 2009»
14 years 3 months ago
Green Support for PC-Based Software Router: Performance Evaluation and Modeling
—We consider a new generation of COTS Software Routers (SRs), able to effectively exploit multi-Core/CPU HW platforms. Our main objective is to evaluate and to model the impact o...
Raffaele Bolla, Roberto Bruschi, Andrea Ranieri