3972 search results - page 38 / 795 » Cosparse analysis modeling - uniqueness and algorithms |
RSP
2005
IEEE
15 years 3 months ago
2005
IEEE
Networks-on-chip (NoCs) are an emergent communication infrastructure, which can be designed to deal with growing system complexity and technology evolution. The efficient use of N...
93
Voted
ICML
1990
IEEE
15 years 1 months ago
1990
IEEE
We present an approach to modeling the average case behavior of learning algorithms. Our motivation is to predict the expected accuracy of learning algorithms as a function of the...
93
Voted
SPIN
2009
Springer
15 years 4 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
DAC
2007
ACM
15 years 10 months ago
2007
ACM
It is known that ramp-based models are not sufficient for accurate timing modeling. In this paper, we develop a technique that accurately models the waveforms, and also allows a f...
DAC
2008
ACM
15 years 10 months ago
2008
ACM
This paper introduces an accurate and efficient electrical analysis of logic gates modeled as Multiple Voltage Threshold Models (MVTM) loaded by the associated interconnect. MVTMs...