144 search results - page 22 / 29 » Time-Space Tradeoffs for Satisfiability |
ICDT
2010
ACM
13 years 11 months ago
2010
ACM
Given a database instance and a corresponding view instance, we address the view definitions problem (VDP): Find the most succinct and accurate view definition, when the view quer...
COMPSAC
2009
IEEE
13 years 11 months ago
2009
IEEE
The security of software defined radio (SDR) software is essential to the trustworthiness of the overall radio system. When designing and developing security solutions for SDR sof...
DAC
2009
ACM
13 years 11 months ago
2009
ACM
Structured ASICs have recently emerged as an exciting alternative to ASIC or FPGA design style as they provide a new trade-off between the high performance of ASIC design and low ...
APNOMS
2006
Springer
13 years 11 months ago
2006
Springer
Wireless sensor networks (WSNs) consist of a large collection of small nodes providing collaborative and distributed sensing ability in unpredictable environments. Given their unat...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The generalized assignment problem (GAP) is a typical NP-hard problem and has been studied for many years mainly in the operations research community. The goal of the GAP...