Sciweavers

2286 search results - page 102 / 458
» Statistical timing analysis based on a timing yield model
Sort
View
ICRA
2007
IEEE
124views Robotics» more  ICRA 2007»
15 years 11 months ago
Monitoring of a Class of Timed Discrete Events Systems
— This paper extends the notion of residuals for fault detection, well known in the continuous system to the timed discrete events systems. The aim is to design the fault indicat...
Adib Allahham, Hassane Alla
QEST
2006
IEEE
15 years 10 months ago
Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability
The time-bounded reachability problem for continuoustime Markov chains (CTMCs) amounts to determine the probability to reach a (set of) goal state(s) within a given time span, suc...
Joost-Pieter Katoen, Ivan S. Zapreev
DAM
1999
100views more  DAM 1999»
15 years 4 months ago
Complexity Analysis of Propositional Resolution with Autarky Pruning
An algorithm called Modoc", which has been introduced elsewhere, enhances propositional model elimination with autarky pruning, and other features. The model elimination meth...
Allen Van Gelder
GLOBECOM
2007
IEEE
15 years 11 months ago
Symbol Error Rate Calculation for Alamouti Space Time Coded OFDM in Direct Conversion Receivers
—In this paper we present an analytical approach to evaluate the M-QAM symbol error rate (SER) of Alamouti space time coded OFDM direct conversion receivers subject to carrier fr...
Marco Krondorf, Gerhard Fettweis
MICCAI
2004
Springer
16 years 5 months ago
Real-Time Multi-model Tracking of Myocardium in Echocardiography Using Robust Information Fusion
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 ...
Bogdan Georgescu, Xiang Sean Zhou, Dorin Comaniciu...