1690 search results - page 127 / 338 » Algorithmic Properties of Millstream Systems |
102
click to vote
WEBI
2005
Springer
15 years 10 months ago
2005
Springer
Cycle detection in graphs and digraphs has received wide attention and several algorithms are available for this purpose. While the web may be modeled as a digraph, such algorithm...
117
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—While there has been much progress in designing backpressure based stabilizing algorithms for multihop wireless networks, end-to-end performance (e.g., end-to-end buffer usage) ...
202
click to vote
OPODIS
2010
15 years 2 months ago
2010
We consider the problem of scheduling dependent real-time tasks for overloads on a multiprocessor system, yielding best-effort timing assurance. The application/scheduling model in...
138
click to vote
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
Recent applications of game theory in security domains use algorithms to solve a Stackelberg model, in which one player (the leader) first commits to a mixed strategy and then th...
161
click to vote
FAC
2008
15 years 4 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...