3972 search results - page 647 / 795 » Cosparse analysis modeling - uniqueness and algorithms |
110
click to vote
DAC
2009
ACM
15 years 10 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
130
click to vote
CODES
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper presents a system-level design methodology for networked embedded systems that exploits existing data-redundancy to increase their reliability. The presented approach n...
156
click to vote
ICC
2009
IEEE
15 years 10 months ago
2009
IEEE
— With the expansion of cloud-based services, the question as to how to control usage of such large distributed systems has become increasingly important. Load balancing (LB), an...
129
click to vote
ICNP
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper, we describe oCast, an energy-optimal multicast routing protocol for wireless sensor networks. The general minimum-energy multicast problem is NP-hard. Intermitten...
122
click to vote
WEBDB
2009
Springer
15 years 10 months ago
2009
Springer
The question whether a given set of views, defined by queries, can be used to answer another query, arises in several contexts such as query optimization, data integration and se...