352 search results - page 55 / 71 » Evaluating the imprecision of static analysis |
121
click to vote
PERCOM
2007
ACM
16 years 1 months ago
2007
ACM
: Global positioning systems (GPS) and mobile phone networks are making it possible to track individual users with an increasing accuracy. It is natural to ask whether one can use ...
119
click to vote
PPOPP
2010
ACM
15 years 11 months ago
2010
ACM
We present a static analysis for the automatic generation of symbolic prefetches in a transactional distributed shared memory. A symbolic prefetch specifies the first object to be...
BPM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Information security risk management (ISRM) heavily depends on realistic impact values representing the resources’ importance in the overall organizational context. Alt...
137
click to vote
RTCSA
2008
IEEE
15 years 8 months ago
2008
IEEE
Reliability-aware power management (RAPM) schemes, which consider the negative effects of voltage scaling on system reliability, were recently studied to save energy while preserv...
114
click to vote
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
— This paper demonstrates how two different sets of powerful domain specific language features can be specified and deployed as composable language extensions. These extensions...