2496 search results - page 302 / 500 » On covering by translates of a set |
194
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
190
click to vote
EUROPAR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we propose an energy-efficient broadcast algorithm for wireless networks for the case where the transmission powers of the nodes are fixed. Our algorithm is...
157
click to vote
AIRS
2004
Springer
15 years 10 months ago
2004
Springer
Topic distillation aims at finding key resources which are high-quality pages for certain topics. With analysis in non-content features of key resources, a pre-selection method is ...
163
click to vote
ENC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper deals with the problem of controlling highly dynamic mechatronic systems. Such systems may work in several different operation modes, or even underlie continuous mode c...
174
click to vote
ESA
2006
Springer
15 years 10 months ago
2006
Springer
An instance of the path hitting problem consists of two families of paths, D and H, in a common undirected graph, where each path in H is associated with a non-negative cost. We r...