1559 search results - page 255 / 312 » Heuristic Approaches to Energy-Efficient Network Design Prob... |
SAC
2003
ACM
15 years 4 months ago
2003
ACM
DNA microarray hybridisation is a popular high throughput technique in academic as well as industrial functional genomics research. In this paper we present a new approach to auto...
FOCS
2000
IEEE
15 years 3 months ago
2000
IEEE
There is an upsurging interest in designing succinct data structures for basic searching problems (see [23] and references therein). The motivation has to be found in the exponent...
CHIMIT
2009
ACM
15 years 5 months ago
2009
ACM
End users are often frustrated by unexpected problems while using networked software, leading to frustrated calls to the help desk seeking solutions. However, trying to locate the...
104
click to vote
GEOS
2007
Springer
15 years 5 months ago
2007
Springer
Spatio-temporal network is defined by a set of nodes, and a set of edges, where the properties of nodes and edges may vary over time. Such networks are encountered in a variety of...
105
click to vote
FMCO
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...