43 search results - page 2 / 9 » A Matrix-based Method for Analysing Stochastic Process Algeb... |
JCSS
2008
13 years 5 months ago
2008
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-base...
ENTCS
2006
13 years 5 months ago
2006
We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the...
EPEW
2008
Springer
13 years 7 months ago
2008
Springer
Currently compilers contain a large number of optimisations which are based on a set of heuristics that are not guaranteed to be effective to improve the performance metrics. In th...
PE
2010
Springer
13 years 5 hour ago
2010
Springer
Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engi...
SFM
2007
Springer
13 years 11 months ago
2007
Springer