2797 search results - page 166 / 560 » Code query by example |
131
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
Code coverage is a common aid in the testing process. It is generally used for marking the source code segments that were executed and, more importantly, those that were not execu...
148
click to vote
WWW
2006
ACM
16 years 3 months ago
2006
ACM
We introduce a new, powerful class of text proximity queries: find an instance of a given "answer type" (person, place, distance) near "selector" tokens matchi...
132
Voted
EDBT
2004
ACM
16 years 3 months ago
2004
ACM
The join operation, which combines tuples from multiple relations, is the most fundamental and, typically, the most expensive operation in database queries. The standard approach t...
114
click to vote
SIPS
2007
IEEE
15 years 9 months ago
2007
IEEE
– Luby Transform codes (LT) were originally designed for the Binary Erasure Channel (BEC) encountered owing to randomly dropped packets in the statistical multiplexing aided clas...
133
click to vote
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...