4445 search results - page 65 / 889 » Use of statistical timing analysis on real designs |
150
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
We present a novel statistical texture descriptor employing level-crossing statistics. Images are first mapped into 1D signals using space-filling curves, such as Peano or Hilbert...
186
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
168
click to vote
RTAS
2007
IEEE
16 years 18 days ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
162
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
Automatic myocardial wall motion tracking in ultrasound images is an important step in analysis of the heart function. Existing methods for Myocardial Wall Tracking are not robust ...
181
click to vote
CIG
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract-- Beside their stunning graphics, modern entertainment systems feature ever-higher levels of immersive userinteraction. Today, this is mostly achieved by virtual (VR) and ...