9316 search results - page 1394 / 1864 » Analysis of traceback techniques |
211
click to vote
PLDI
2003
ACM
16 years 4 days ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
226
click to vote
SASN
2003
ACM
16 years 4 days ago
2003
ACM
Peer-to-Peer (P2P) applications and services are very common in today’s computing. The popularity of the P2P paradigm prompts the need for specialized security services which ma...
192
click to vote
DRM
2003
Springer
16 years 3 days ago
2003
Springer
Agrawal and Kiernan’s watermarking technique for database relations [1] and Li et al’s fingerprinting extension [6] both depend critically on primary key attributes. Hence, t...
191
click to vote
EDBT
2010
ACM
16 years 7 hour ago
2010
ACM
The creation of a generic and modular query optimization and processing infrastructure can provide significant benefits to XML data management. Key pieces of such an infrastructur...
197
click to vote
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
We present smooth interpretation, a method to systematically approximate numerical imperative programs by smooth mathematical functions. This approximation facilitates the use of ...