45
Voted
TC
2010
13 years 10 months ago
2010
— Although data prefetching algorithms have been extensively studied for years, there is no counterpart research done for metadata access performance. Existing data prefetching a...
TALG
2010
13 years 10 months ago
2010
Given a rectangular boundary partitioned into rectangles, the Minimum-Length Corridor (MLC-R) problem consists of finding a corridor of least total length. A corridor is a set of ...
TALG
2010
13 years 10 months ago
2010
We present two new algorithms for finding optimal strategies for discounted, infinite-horizon, Deterministic Markov Decision Processes (DMDP). The first one is an adaptation of...
TACAS
2010
Springer
13 years 10 months ago
2010
Springer
We introduce JTorX, a tool for model-driven test derivation and execution, based on the ioco theory. This theory, originally presented in [12], has been refined in [13] with test-...
SWAT
2010
Springer
13 years 10 months ago
2010
Springer
SWAT
2010
Springer
13 years 10 months ago
2010
Springer
SWAT
2010
Springer
13 years 10 months ago
2010
Springer
We study the problem of minimizing the diameter of a graph by adding k shortcut edges, for speeding up communication in an existing network design. We develop constant-factor appro...
SWARM
2010
SPRINGER
13 years 10 months ago
2010
SPRINGER
Abstract. Inspired by observing fireworks explosion, a novel swarm intelligence algorithm, called Fireworks Algorithm (FA), is proposed for global optimization of complex function...
STOC
2010
ACM
13 years 10 months ago
2010
ACM
STOC
2010
ACM
13 years 10 months ago
2010
ACM
