1039 search results - page 48 / 208 » The Def-inite Approach to Dependency Analysis |
133
click to vote
ECRTS
2002
IEEE
15 years 6 months ago
2002
IEEE
Most WCET analysis techniques only provide an upper bound on the worst case execution time as a constant value. However, it often appears that the execution time of a piece of cod...
COLING
1996
15 years 2 months ago
1996
This paper aims to analyze word dependency structure in compound nouns appearing in Japanese newspaper articles. The analysis is a dil't:icult problem because such compound n...
110
click to vote
NECO
2000
15 years 1 months ago
2000
We develop geometric dynamical systems methods to determine how various components contribute to a neuronal network's emergent population behavior. The results clarify the mu...
110
click to vote
CSFW
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
153
Voted
CAV
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. The underground malware-based economy is flourishing and it is evident that the classical ad-hoc signature detection methods are becoming insufficient. Malware authors ...