1411 search results - page 117 / 283 » A Value Analysis for C Programs |
119
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
Many code analysis techniques for optimization, debugging, or parallelization need to perform runtime disambiguation of sets of addresses. Such operations can be supported efficie...
120
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
We consider distributed real-time systems where concurrency control is managed using software transactional memory. For such a method we propose an algorithm to compute an upper b...
120
click to vote
MICCAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Vessels supplying malignant tumors are abnormally shaped. This paper describes a blinded study that assessed tumor malignancy by analyzing vessel shape within MR images o...
147
click to vote
CCS
1998
ACM
15 years 8 months ago
1998
ACM
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
129
click to vote
WCE
2007
15 years 5 months ago
2007
—Modern sliding table saws are equipped with several passive safety devices. However, alone in Germany several hundred severe injuries or limb amputations occur each year due dis...