Sciweavers

PE
2006
Springer
107views Optimization» more  PE 2006»
13 years 4 months ago
Efficient steady-state analysis of second-order fluid stochastic Petri nets
This paper presents an efficient solution technique for the steady-state analysis of the second-order Stochastic Fluid Model underlying a second-order Fluid Stochastic Petri Net (...
Marco Gribaudo, Rossano Gaeta
ISSS
1996
IEEE
122views Hardware» more  ISSS 1996»
13 years 9 months ago
Modeling Multicomputer Task Allocation as a Vector Packing Problem
This paper considers the problem of task allocation for embedded, bus
James E. Beck, Daniel P. Siewiorek
TACAS
2004
Springer
132views Algorithms» more  TACAS 2004»
13 years 10 months ago
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
Håkan L. S. Younes, Marta Z. Kwiatkowska, Ge...