12981 search results - page 2257 / 2597 » Model Checking (Abstract) |
158
click to vote
DASFAA
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract. In emerging data stream applications, data sources are typically distributed. Evaluating multi-join queries over streams from different sources may incur large communica...
115
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence verification of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have di...
151
click to vote
ESCIENCE
2006
IEEE
15 years 11 months ago
2006
IEEE
Scientific workflows are a powerful programming technique for specifying complex computations using a number of otherwise independent components. When used in a Grid environment, ...
143
click to vote
FCCM
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract: Approximate string matching is fundamental to bioinformatics, and has been the subject of numerous FPGA acceleration studies. We address issues with respect to FPGA imple...
151
click to vote
GLOBECOM
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— In this paper, we consider the problem of detecting intrusions initiated by cooperative malicious nodes in infrastructure-based networks. We achieve this objective by s...