42507 search results - page 173 / 8502 » On the analysis of |
130
click to vote
ASPDAC
2004
ACM
16 years 1 days ago
2004
ACM
Abstract— In this paper we enhance the performance of multicycle path analysis in an industrial setting. Industrial designs are, in general, more complicated, but contain more in...
130
click to vote
PPPJ
2004
ACM
16 years 1 days ago
2004
ACM
To enable analysis and visualization of phased behavior in Java programs and to facilitate optimization development, we have implemented a freely-available, phase analysis framewo...
182
click to vote
CAISE
2004
Springer
16 years 19 hour ago
2004
Springer
While there are a considerable number of software engineering methodologies for developing multi-agent systems, not much work has been reported on the evaluation and comparison of ...
155
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
207
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents a novel approach to the on-line signature verification using local shape Analysis. First, segment the input signature into several segments using HMM (Hidden M...