Sciweavers

1179 search results - page 32 / 236
» Relative Timing Based Verification of Timed Circuits and Sys...
Sort
View
ICCAD
1997
IEEE
76views Hardware» more  ICCAD 1997»
15 years 4 months ago
Simulation methods for RF integrated circuits
Abstract — The principles employed in the development of modern RF simulators are introduced and the various techniques currently in use, or expected to be in use in the next few...
Kenneth S. Kundert
DATE
2005
IEEE
122views Hardware» more  DATE 2005»
15 years 5 months ago
Diagnostic and Detection Fault Collapsing for Multiple Output Circuits
We discuss fault equivalence and dominance relations for multiple output combinational circuits. The conventional definition for equivalence says that “Two faults are equivalen...
Raja K. K. R. Sandireddy, Vishwani D. Agrawal
DAC
2008
ACM
16 years 22 days ago
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts
End-to-end latency of messages is an important design parameter that needs to be within specified bounds for the correct functioning of distributed real-time control systems. In t...
Swarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. R...
COMPSYSTECH
2010
14 years 8 months ago
Integration of neural networks and expert systems for time series prediction
: In this paper an approach for development of univariate time series prediction library in Java and its integration with an existing CLIPS related system is presented .A backpropa...
Ventsislav Nikolov, Valeri Bogdanov
ICC
2007
IEEE
15 years 6 months ago
Non-Data Aided Symbol Timing Estimation in MIMO Systems
—We present two Maximum Likelihood (ML) based estimators for Non-Data-Aided (NDA) symbol timing recovery in MIMO systems. These estimators are based on the classical Unconditiona...
Ketan Rajawat, Ajit K. Chaturvedi