7167 search results - page 237 / 1434 » A Technique for Invariant Generation |
162
click to vote
ICASSP
2011
IEEE
2011
IEEE
Transmit beamspace design for direction finding in colocated MIMO radar with arbitrary receive array
14 years 11 months ago
The transmit beamspace design problem for colocated multiple-input multiple-output (MIMO) radar is considered. We show that the MIMO radar transmit beampattern can be designed so ...
210
click to vote
CADE
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Methods exploiting problem symmetries have been very successful in several areas including constraint programming and SAT solving. We here recast a technique to enhance t...
190
click to vote
GLVLSI
2006
IEEE
16 years 1 months ago
2006
IEEE
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
222
click to vote
GLVLSI
2008
IEEE
16 years 1 months ago
2008
IEEE
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...
162
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—This paper presents a ultra low-power, lowcomplexity circuit to generate the monocycle pulse for Impulse Radio UWB (IR-UWB) applications. A 7th order derivative Gaussian...