1653 search results - page 45 / 331 » Directed tree-width examples |
115
click to vote
ISCAS
1999
IEEE
15 years 10 months ago
1999
IEEE
A class of clocked/autonomous circuits is defined in which the behaviour is described by a one-dimensional mapping. For these circuits, the power densityspectrum at the harmonics ...
152
click to vote
ISCAS
1994
IEEE
15 years 10 months ago
1994
IEEE
Based on symmetry of the maximally flat frequency response of a FIR notch filter the new design procedure is developed. The closed form solution provides direct computation of the...
153
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
A stochastic global optimization approach is presented for transistor sizing in CMOS VLSI circuits. This is a direct search strategy for the best design among feasible ones, with ...
171
click to vote
FROCOS
2000
Springer
15 years 9 months ago
2000
Springer
In this paper we extend the applicability of our combination method for decision procedures for the word problem to theories sharing non-collapse-free constructors. This extension ...
166
click to vote
ISSS
1997
IEEE
15 years 9 months ago
1997
IEEE
We present an algorithm for synthesising controllers specified in a subset of the interval temporal logic Duration Calculus [13]. The synthesised controllers are given as PLC-Auto...