Sciweavers

SIAMCO
2010
112views more  SIAMCO 2010»
13 years 6 months ago
Average Continuous Control of Piecewise Deterministic Markov Processes
In this paper we consider the long run average continuous control problem of piecewise-deterministic Markov processes (PDP's for short). The control variable acts on the jump ...
Oswaldo Luiz V. Costa, François Dufour
ECBS
2007
IEEE
145views Hardware» more  ECBS 2007»
14 years 3 months ago
Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi...
IPPS
2007
IEEE
14 years 5 months ago
Performance Modelling of Peer-to-Peer Routing
We propose several models based on discrete-time Markov chains for the analysis of Distributed Hash Tables (DHTs). Specifically, we examine the Pastry routing protocol, as well a...
Idris A. Rai, Andrew Brampton, Andrew MacQuire, La...