2165 search results - page 132 / 433 » cases 2005 |
133
Voted
ICDM
2005
IEEE
15 years 9 months ago
2005
IEEE
We consider the problem of elastic matching of time series. We propose an algorithm that determines a subsequence of a target time series that best matches a query series. In the ...
127
Voted
WETICE
2005
IEEE
15 years 9 months ago
2005
IEEE
Since there is no method to verify the trustworthiness of shared files in P2P systems, malicious peers can spread untrustworthy files to the system. In order to prevent untrustw...
124
Voted
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
- This paper presents a comparison between three different high-level modeling approaches for embedded systems design, focusing on systems that require dataflow models. The propose...
104
click to vote
HPCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. FAST-EVP is a simulation tool for internal combustion engines running on cluster platforms; it has evolved from the KIVA-3V code base, but has been extensively rewritten ...
127
click to vote
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...