6514 search results - page 584 / 1303 » Low-Knowledge Algorithm Control |
194
click to vote
TACAS
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of...
226
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—Recent advances in cognitive radio (CR) technology have brought about a number of wireless standards that support opportunistic access to available white-space spectrum. Address...
311
click to vote
ICDCS
2012
IEEE
13 years 8 months ago
2012
IEEE
Datacenter networks typically have many paths connecting each host pair to achieve high bisection bandwidth for arbitrary communication patterns. Fully utilizing the bisection ban...
167
click to vote
HYBRID
2010
Springer
16 years 1 months ago
2010
Springer
In this paper we study one-clock priced timed automata in which prices can grow linearly ( ˙p = k) or exponentially ( ˙p = kp), with discontinuous updates on edges. We propose E...
178
click to vote
CDC
2008
IEEE
16 years 28 days ago
2008
IEEE
— This paper analyzes two classes of consensus algorithms in presence of bounded measurement errors. The protocols taken into account adopt an updating rule based either on const...