2797 search results - page 84 / 560 » Code query by example |
134
Voted
SIGSOFT
2004
ACM
16 years 3 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
112
Voted
CGO
2009
IEEE
15 years 9 months ago
2009
IEEE
—Fast track is a software speculation system that enables unsafe optimization of sequential code. It speculatively runs optimized code to improve performance and then checks the ...
140
Voted
DFT
2004
IEEE
15 years 6 months ago
2004
IEEE
In this paper, a simple codec algorithm based on Reed-Solomon (RS) codes is proposed for erasure correcting in RAID (Redundant Array of Independent Disks) level 6 systems. Unlike ...
128
click to vote
EDBTW
2004
Springer
15 years 8 months ago
2004
Springer
Highly heterogeneous XML data collections that do not have a global schema, as arising, for example, in federations of digital libraries or scientific data repositories, cannot be...
194
Voted
VLDB
2009
ACM
16 years 2 months ago
2009
ACM
In this paper, we study the problem of continuous monitoring of reverse k nearest neighbor queries. Existing continuous reverse nearest neighbor monitoring techniques are sensitive...