181 search results - page 23 / 37 » Program Slicing and Data Provenance |
109
click to vote
PVLDB
2010
14 years 6 months ago
2010
Probabilistic data is coming as a new deluge along with the technical advances on geographical tracking, multimedia processing, sensor network and RFID. While similarity search is...
ISCA
2003
IEEE
15 years 5 months ago
2003
IEEE
Debuggers have been proven indispensable in improving software reliability. Unfortunately, on most real-life software, debuggers fail to deliver their most essential feature — a...
SAC
2008
ACM
14 years 11 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
103
click to vote
PLDI
2006
ACM
15 years 5 months ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...
TRUST
2010
Springer
15 years 4 months ago
2010
Springer
All practical software hardening schemes, as well as practical encryption schemes, e.g., AES, were not proven to be secure. One technique to enhance security is robust combiners. A...