3719 search results - page 568 / 744 » order 2010 |
192
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
183
click to vote
SRDS
2010
IEEE
15 years 4 months ago
2010
IEEE
With the growing scale of current computing systems, traditional configuration tuning methods become less effective because they usually assume a small number of parameters in the...
183
click to vote
SSPR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In order to use structural techniques from graph-based pattern recognition, a first necessary step consists in extracting a graph in an automatic way from an image. We pr...
243
click to vote
SWWS
2010
15 years 4 months ago
2010
- Today there is a real challenge in accessing relevant information according to the needs and the context of the user. Recent studies have dynamically enhanced the user query with...
131
click to vote
TRIDENTCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
As experimentation becomes one of the de-facto approaches for benchmarking, researchers are turning to testbeds to test, review and verify their work. As a result, several research...