17770 search results - page 3415 / 3554 » A Generalization of Forward-Backward Algorithm |
123
click to vote
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
113
click to vote
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
Profiling can accurately analyze program behavior for select data inputs. We show that profiling can also predict program locality for inputs other than profiled ones. Here loc...
122
click to vote
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
Empirical program optimizers estimate the values of key optimization parameters by generating different program versions and running them on the actual hardware to determine which...
143
click to vote
PODC
2003
ACM
15 years 8 months ago
2003
ACM
Applications such as e-commerce payment protocols, electronic contract signing, and certified e-mail delivery require that fair exchange be assured. A fair-exchange protocol allo...
121
click to vote
SENSYS
2003
ACM
15 years 8 months ago
2003
ACM
Experience has shown that the power consumption of sensors and other wireless computational devices is often dominated by their communication patterns. We present a practical real...