Sciweavers

435 search results - page 45 / 87
» Timing analysis of asynchronous circuits using timed automat...
Sort
View
102
Voted
ICCAD
1999
IEEE
105views Hardware» more  ICCAD 1999»
15 years 4 months ago
Noise analysis of non-autonomous radio frequency circuits
In this paper we consider the important problem of noise analysis of non-autonomous nonlinear RF circuits in presence of input signal phase noise. We formulate this problem as a s...
Amit Mehrotra, Alberto L. Sangiovanni-Vincentelli
170
Voted
CVPR
2011
IEEE
14 years 6 months ago
Stable Multi-Target Tracking in Real-Time Surveillance Video
The majority of existing pedestrian trackers concentrate on maintaining the identities of targets, however systems for remote biometric analysis or activity recognition in surveill...
Ben Benfold and Ian Reid
PC
2006
218views Management» more  PC 2006»
15 years 12 days ago
A model based on cellular automata for the parallel simulation of 3D unsaturated flow
Cellular automata (CA) are discrete dynamic systems that have been used for modeling many physical systems. CA are often used as an alternative to model and solve large-scale syst...
Gianluigi Folino, Giuseppe Mendicino, Alfonso Sena...
DFG
2004
Springer
15 years 4 months ago
Verification of PLC Programs Given as Sequential Function Charts
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven ...
ICCAD
2006
IEEE
165views Hardware» more  ICCAD 2006»
15 years 9 months ago
A fast block structure preserving model order reduction for inverse inductance circuits
Most existing RCL−1 circuit reductions stamp inverse inductance L−1 elements by a second-order nodal analysis (NA). The NA formulation uses nodal voltage variables and describ...
Hao Yu, Yiyu Shi, Lei He, David Smart