1653 search results - page 45 / 331 » Directed tree-width examples |
49
Voted
ISCAS
1999
IEEE
15 years 2 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 ...
ISCAS
1994
IEEE
15 years 1 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...
DAC
1994
ACM
15 years 1 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 ...
FROCOS
2000
Springer
15 years 1 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 ...
ISSS
1997
IEEE
15 years 1 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...