59 search results - page 4 / 12 » Linear options |
CAV
2009
Springer
13 years 11 months ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
TWC
2008
13 years 7 months ago
2008
Wireless relays extend coverage, improve spectral efciency, and enhance reliability and rates of wireless cellular communication systems. In this work, we introduce the fundamental...
Source Code
Armadillo is a streamlined C++ linear algebra library (matrix maths) aiming towards a good balance between speed and ease of use. It is based on recursive templates. Integer, float...
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper presents a built-in self-test (BiST) scheme for analog to digital converters (ADC) based on a linear ramp generator and efficient output analysis. The proposed analysi...
TCOM
2008
13 years 7 months ago
2008
In this article, we present a novel discrete-time Markov chain model of book-ahead bandwidthsharing mechanisms. We use this analytical model and a simulation model to understand t...