1380 search results - page 11 / 276 » Computing the optimal strategy to commit to |
EUROPAR
2009
Springer
14 years 7 days ago
2009
Springer
One has a large workload that is “divisible” (its constituent work’s granularity can be adjusted arbitrarily) and one has access to p remote computers that can assist in comp...
STACS
1999
Springer
13 years 12 months ago
1999
Springer
We present an optimal strategy for searching for a goal in a street which achieves the competitive factor of √ 2, thus matching the best lower bound known before. This finally ...
PE
2011
Springer
13 years 2 months ago
2011
Springer
High-level semi-Markov modelling paradigms such as semi-Markov stochastic Petri nets and process algebras are used to capture realistic performance models of computer and communic...
POPL
1997
ACM
13 years 11 months ago
1997
ACM
The following theorem of Huet and L
FSTTCS
2004
Springer
14 years 1 months ago
2004
Springer
Priced timed (game) automata extend timed (game) automata with costs on both locations and transitions. In this paper we focus on reachability priced timed game automata and prove ...