4164 search results - page 45 / 833 » Timing model reduction for hierarchical timing analysis |
164
click to vote
ECBS
2009
IEEE
16 years 28 days ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
169
click to vote
SOFSEM
2007
Springer
16 years 7 days ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
176
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
149
click to vote
ISCAS
2006
IEEE
16 years 4 days ago
2006
IEEE
Abstract— A fast timing analysis of plane circuits via two-layer CNNbased modeling, which is necessary for the solution of power/signal integrity problems in printed circuit boar...
176
click to vote
DSD
2008
IEEE
16 years 18 days ago
2008
IEEE
This paper presents a methodology for accurately characterizing the system calls of an operating system for embedded applications. Characterization consists of two phases: measure...