1323 search results - page 47 / 265 » Moment-Linear Stochastic Systems |
97
Voted
VOSS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The paper presents a survey of out-of-core methods available for the analysis of large Markov chains on single workstations. First, we discuss the main sparse matrix stor...
103
Voted
PODC
2005
ACM
15 years 6 months ago
2005
ACM
Deadlock detection scheduling is an important, yet oft-overlooked problem that can significantly affect the overall performance of deadlock handling. An excessive initiation of ...
112
Voted
IJDSN
2008
15 years 5 days ago
2008
This article proposes a flexible and distributed stochastic automaton-based network partitioning algorithm that is capable of finding the optimal k-way partition with respect to a...
106
Voted
QEST
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
88
Voted
IMCSIT
2010
14 years 10 months ago
2010
The stochastic Lotka-Volterra model is an infinite Markov population model that has applications in various life science domains. Its analysis is challenging since, besides an infi...