1179 search results - page 97 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
143
click to vote
ISTCS
1993
Springer
15 years 8 months ago
1993
Springer
We pursue a particular approach to analog computation, based on dynamical systems of the type used in neural networks research. Our systems have a xed structure, invariant in time...
116
click to vote
KES
2009
Springer
15 years 8 months ago
2009
Springer
Today, social networks systems have become more and more important. People have change their way to relate and communicate. Therefore, how to enhance contents and organization of a...
145
click to vote
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
123
click to vote
EH
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper discusses the problem of increased programming time for intrinsic evolvable hardware (EHW) as the complexity of the circuit grows. We develop equations for the size of ...
132
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
In this paper, a Triangularization Based Structure preserving (TBS) model order reduction is proposed to verify power integrity of on-chip structured power grid. The power grid is...