5448 search results - page 131 / 1090 » Breakpoints and Time in Distributed Computations |
115
Voted
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Concavely-priced probabilistic timed automata, an extension of probabilistic timed automata, are introduced. In this paper we consider expected reachability, discounted, ...
125
click to vote
REX
1991
15 years 7 months ago
1991
Abstract. We consider an optimal-reachability problem for a timed automaton with respect to a linear cost function which results in a weighted timed automaton. Our solution to this...
125
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Heterogeneous distributed environments or grid environments provide large computing resources for the execution of large scientific applications. The effective use of those plat...
129
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Graph alliances are recently developed global properties of any symmetric graph. Our purpose in the present paper is to design self-stabilizing fault tolerant distributed algorith...
153
click to vote
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
We consider the model of Time Petri Nets where time is associated with transitions. Two semantics for time elapsing can be considered: the strong one, for which all transitions are...