981 search results - page 118 / 197 » Symbolic pointer analysis |
94
Voted
FMICS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Quantitative analysis of quality-of-service metrics is an important tool in early evaluation of service provision. This analysis depends on being able to estimate the ave...
113
Voted
HCI
2007
15 years 2 months ago
2007
Abstract. In this paper, we address the task of affect recognition from text messaging. In order to sense and interpret emotional information expressed through written language, ru...
166
Voted
ISORC
2011
IEEE
14 years 4 months ago
2011
IEEE
—Static cache analysis for data allocated on the heap is practically impossible for standard data caches. We propose a distinct object cache for heap allocated data. The cache is...
132
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
106
Voted
ICSE
2004
IEEE-ACM
16 years 20 days ago
2004
IEEE-ACM
The deployment of software components frequently fails because dependencies on other components are not declared explicitly or are declared imprecisely. This results in an incompl...