3820 search results - page 523 / 764 » Bounded Model Debugging |
165
click to vote
RTS
2010
14 years 10 months ago
2010
Automatic memory management or garbage collection greatly simplifies development of large systems. However, garbage collection is usually not used in real-time systems due to the u...
147
click to vote
TCAD
2010
14 years 10 months ago
2010
In response to the increasing variations in integrated-circuit manufacturing, the current trend is to create designs that take these variations into account statistically. In this ...
112
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
We study the spatiotemporal sampling of a diffusion field generated by K point sources, aiming to fully reconstruct the unknown initial field distribution from the sample measur...
109
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
State-of-the-art speaker verification systems consists of a number of complementary subsystems whose outputs are fused, to arrive at more accurate and reliable verification deci...
150
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
—We present an alternative analysis of weighted 1 minimization for sparse signals with a nonuniform sparsity model, and extend our results to nuclear norm minimization for matric...