28 search results - page 5 / 6 » Context-Sensitive Relevancy Analysis for Efficient Symbolic ... |
103
click to vote
INFSOF
2010
14 years 6 months ago
2010
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
WCNC
2010
IEEE
15 years 1 months ago
2010
IEEE
—We study the problem of optimizing the symbol error probability (SEP) performance of cluster-based cooperative wireless sensor networks (WSNs). It is shown in the literature tha...
178
click to vote
SIGMOD
2006
ACM
15 years 9 months ago
2006
ACM
In this paper, we present the design, implementation, and evaluation of a system that executes complex event queries over real-time streams of RFID readings encoded as events. The...
BMCBI
2008
14 years 9 months ago
2008
Background: The number of available genome sequences is increasing, and easy-to-use software that enables efficient comparative analysis is needed. Results: We developed GenomeMat...
SIGMOD
2004
ACM
15 years 9 months ago
2004
ACM
In this paper, we study query evaluation on Active XML documents (AXML for short), a new generation of XML documents that has recently gained popularity. AXML documents are XML do...