42507 search results - page 465 / 8502 » On the analysis of |
199
click to vote
ASPDAC
2006
ACM
15 years 11 months ago
2006
ACM
- We propose a framework to unify the process of false paths and multi-cycle paths in static timing analysis (STA). We use subgraphs attached with timing constraints to represent f...
190
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
190
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper we present an approach for analysis of systems of parallel, communicating processes for SoC design. We present a method to detect communications that synchronize the...
216
click to vote
CIE
2006
Springer
15 years 11 months ago
2006
Springer
This note reexamines Spector's remarkable computational interpretation of full classical analysis. Spector's interpretation makes use of a rather abstruse recursion schem...
221
click to vote
COMPLIFE
2006
Springer
15 years 11 months ago
2006
Springer
We present a method for simultaneous dimension reduction and metastability analysis of high dimensional time series. The approach is based on the combination of hidden Markov model...