446 search results - page 31 / 90 » Design and Implementation of the Valid Time for Spatio-Tempo... |
IPPS
1999
IEEE
14 years 11 days ago
1999
IEEE
Adaptive parallel computations--computations that can adapt to changes in resource availability and requirement--can effectively use networked machines because they dynamically ex...
TACAS
1998
Springer
14 years 8 days ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
TKDE
2011
13 years 3 months ago
2011
—It is essential to process real-time data service requests such as stock quotes and trade transactions in a timely manner using fresh data, which represent the current real worl...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
Time Series Data Server (TSDS) is a software package for implementing a server that provides fast supersetting, sub-setting, filtering, and uniform gridding of time series-like dat...
ISMIR
2004
Springer
14 years 1 months ago
2004
Springer
This paper addresses the problem of the performance evaluation of algorithms for the automatic detection of note onsets in music signals. Our experiments show that creating a data...