Sciweavers

182 search results - page 8 / 37
» Experimental Evaluation of QSM, a Simple Shared-Memory Model
Sort
View
QEST
2009
IEEE
15 years 4 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
13 years 1 days 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»
15 years 3 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
15 years 1 months 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...
77
Voted
ICC
2009
IEEE
113views Communications» more  ICC 2009»
15 years 4 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