Sciweavers

838 search results - page 4 / 168
» A stochastic model for BitTorrent-like systems
Sort
View
CDC
2010
IEEE
167views Control Systems» more  CDC 2010»
14 years 4 months ago
Numerical methods for the optimization of nonlinear stochastic delay systems, and an application to internet regulation
The Markov chain approximation method is an effective and widely used approach for computing optimal values and controls for stochastic systems. It was extended to nonlinear (and p...
Harold J. Kushner
BIRTHDAY
2010
Springer
14 years 6 months ago
QPME 2.0 - A Tool for Stochastic Modeling and Analysis Using Queueing Petri Nets
Abstract Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the model...
Samuel Kounev, Simon Spinner, Philipp Meier
HYBRID
2005
Springer
15 years 3 months ago
Bisimulation for General Stochastic Hybrid Systems
In this paper we define a bisimulation concept for some very general models for stochastic hybrid systems (general stochastic hybrid systems). The definition of bisimulation buil...
Manuela L. Bujorianu, John Lygeros, Marius C. Bujo...
ICASSP
2011
IEEE
14 years 1 months ago
A stochastic compartmental approach to modeling and simulation of cancer spheroid formation and evolution
In this paper we model and simulate a biological system describing the evolution of cancer stem cells into tumors. Starting from some basic hypotheses about the behavior of these ...
Mónica F. Bugallo, Shishir Dash, Galina Bot...
CORR
2009
Springer
80views Education» more  CORR 2009»
14 years 7 months ago
A Type System for a Stochastic CLS
claim that types are the right abstraction in order to represent the interaction between elements without specifying exactly the element positions. Our claim is supported through a...
Mariangiola Dezani-Ciancaglini, Paola Giannini, An...