42507 search results - page 126 / 8502 » On the analysis of |
200
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase exec...
165
click to vote
ISQED
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a methodology for the statistical analysis of clock tree structures. It allows to accurately predict and analyze the impact of process variation on clock skew....
182
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— We propose a compositional stability analysis methodology for verifying properties of systems that are interconnections of multiple subsystems. The proposed method assembles st...
170
Voted
ICDAR
1997
IEEE
15 years 10 months ago
1997
IEEE
A document image analysis toolbox, including a collection of data structures and algorithms to suppbrt a variety of applications, is described in this paper. An experimental envir...
159
click to vote
CSFW
1994
IEEE
15 years 10 months ago
1994
IEEE
We analyze the safety question for the Non-Monotonic Transform NMT model, an access control model that encompasses a wide variety of practical access control mechanisms. In genera...