28 search results - page 5 / 6 » Context-Sensitive Relevancy Analysis for Efficient Symbolic ... |
INFSOF
2010
13 years 5 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
14 years 13 days 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...
SIGMOD
2006
ACM
14 years 8 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
13 years 8 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
14 years 8 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...