4636 search results - page 91 / 928 » Modelling and Validation with VipTool |
JOT
2010
13 years 6 months ago
2010
Validation of non-functional and functional properties of these protocols during the early stages of design and development is important to reduce cost resulting from protocol ano...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
This paper presents a nonparametric Bayesian extension of nonnegative matrix factorization (NMF) for music signal analysis. Instrument sounds often exhibit non-stationary spectral...
INFOCOM
2011
IEEE
12 years 11 months ago
2011
IEEE
Abstract—Traffic monitoring and estimation of flow parameters in high speed routers have recently become challenging as the Internet grew in both scale and complexity. In this ...
PERVASIVE
2011
Springer
12 years 10 months ago
2011
Springer
We contribute a method for approximating users’ interruptibility costs to use for experience sampling and validate the method in an application that learns when to automatically ...
EUROPAR
2011
Springer
12 years 7 months ago
2011
Springer
DOALL loops are tiled to exploit DOALL parallelism and data locality on GPUs. In contrast, due to loop-carried dependences, DOACROSS loops must be skewed first in order to make ti...