548 search results - page 75 / 110 » Parallel Relative Debugging with Dynamic Data Structures |
121
click to vote
SCALESPACE
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we address the problem of estimating mesoscale dynamics of atmospheric layers from satellite image sequences. Relying on a physically sound vertical decomposition of...
139
click to vote
HPCC
2005
Springer
15 years 7 months ago
2005
Springer
Structured data represented in the form of graphs arises in several fields of the science and the growing amount of available data makes distributed graph mining techniques partic...
128
click to vote
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
110
click to vote
GISCIENCE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. New methods of data collection, in particular the wide range of sensors and sensor networks that are being constructed, with the ability to collect real-time data streams...
116
Voted
ICS
2009
Tsinghua U.
15 years 6 months ago
2009
Tsinghua U.
Modern GPUs offer much computing power at a very modest cost. Even though CUDA and other related recent developments are accelerating the use of GPUs for general purpose applicati...