372 search results - page 13 / 75 » On Codings of Traces |
ICSM
2005
IEEE
15 years 3 months ago
2005
IEEE
Many of the approaches that analyze software evolution consider a static perspective of a system. Static analysis approaches focus on the evolution of static software entities suc...
118
click to vote
ISSTA
2012
ACM
12 years 12 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
PLDI
2005
ACM
15 years 3 months ago
2005
ACM
Faults that occur in production systems are the most important faults to fix, but most production systems lack the debugging facilities present in development environments. TraceB...
IEEEINTERACT
2002
IEEE
15 years 2 months ago
2002
IEEE
A dynamic optimizer is a software-based system that performs code modifications at runtime, and several such systems have been proposed over the past several years. These systems ...
88
Voted
CSREASAM
2003
14 years 11 months ago
2003
We introduce and analyze a randomized traitor tracing algorithm for broadcast security. This algorithm is very efficient compared to brute force methods (the mean time it takes is...