3688 search results - page 182 / 738 » Static analysis of aspects |
176
click to vote
IWMM
2000
Springer
15 years 10 months ago
2000
Springer
We study the effectiveness of garbage collection (GC) algorithms by measuring the time difference between the actual collection time of an object and the potential earliest collec...
151
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
This paper deals with several aspects towards a more objective performance analysis of low-level motion analysis. A generalized spatiotemporal filter formulation and motion modeli...
138
click to vote
MLQ
2007
15 years 6 months ago
2007
Abstract. This research is motivated by the program of Reverse Mathematics and non-standard arguments in second-order arithmetic. Within a weak subsystem of second order arithmetic...
172
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...
134
click to vote
ACL
1998
15 years 8 months ago
1998
In this paper I will report the result of a quantitative analysis of the dynamics of the constituent elements of Japanese terminology. In Japanese technical terms, the linguistic ...