4000 search results - page 278 / 800 » Simulation down under |
194
click to vote
QEST
2005
IEEE
16 years 8 days ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...
216
click to vote
QEST
2005
IEEE
16 years 8 days ago
2005
IEEE
In this paper we present a novel performance analysis technique for large-scale systems modelled in the stochastic process algebra PEPA. In contrast to the well-known approach of ...
177
click to vote
ISNN
2005
Springer
16 years 6 days ago
2005
Springer
This paper presents a learning framework for blind source separation (BSS), in which the BSS is formulated as generalized Eigenvalue (GE) problem. Compared to the typical informati...
151
click to vote
EURONGI
2004
Springer
16 years 2 days ago
2004
Springer
A family of message propagation protocols for highly mobile ad-hoc networks is defined, and is studied analytically and by simulation. The coverage of a message (the fraction of n...
169
click to vote
EVOW
2004
Springer
16 years 2 days ago
2004
Springer
A Digital Waveguide Mesh is introduced as a method for acoustic modelling. Genetic Algorithms are applied to evolve the structure of a mesh to simulate the human throat and mouth, ...