3591 search results - page 159 / 719 » Typing linear constraints |
124
click to vote
CDC
2008
IEEE
15 years 12 months ago
2008
IEEE
—This paper investigates the closed-loop properties of multivariable (MIMO1 ) linear systems where the sensed information is centralized and coded on the basis of a ∆-modulatio...
114
click to vote
MFCS
2007
Springer
15 years 11 months ago
2007
Springer
Following recent works connecting two-variable logic to circuits and monoids, we establish, for numerical predicate sets P satisfying a certain closure property, a one-to-one corre...
134
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
Pseudorandom test techniques are widely used for measuring the impulse response (IR) for linear devices and Volterra kernels for nonlinear devices, especially in the acoustics dom...
152
click to vote
ISSAC
2004
Springer
15 years 10 months ago
2004
Springer
There exist sound literature and algorithms for computing Liouvillian solutions for the important problem of linear ODEs with rational coefficients. Taking as sample the 363 secon...
147
click to vote
WSC
2008
15 years 7 months ago
2008
This paper presents an exact approach of calculating float for each activity in linear schedules. It is based on singularity functions, which have been used previously to determin...