42507 search results - page 35 / 8502 » On the analysis of |
104
click to vote
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present an analysis Trust Analysis Methodology for finding trust issues within pervasive computing systems. It is based on a systematic analysis of scenarios that des...
SERP
2007
15 years 3 months ago
2007
Escape analysis can improve the speed and memory efficiency of garbage collected languages by allocating objects to the call stack, but an offline analysis will potentially interf...
116
click to vote
IASTEDSE
2004
15 years 3 months ago
2004
Traditionally, the emphasis among computer scientists has been on the more rigorous and theoretical modes of worstcase and average-case analysis of algorithms. However, theoretica...
101
click to vote
POPL
1997
ACM
15 years 5 months ago
1997
ACM
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...