2152 search results - page 119 / 431 » A Comparative Study of 2QBF Algorithms |
173
click to vote
FCCM
2009
IEEE
15 years 8 months ago
2009
IEEE
Modern use of FPGAs as hardware accelerators involves the partial reconfiguration of hardware resources as the application executes. In this paper, we present a polynomial time al...
162
Voted
CIKM
2004
Springer
15 years 8 months ago
2004
Springer
Materialized views defined over distributed data sources are a well recognized technology for modern applications. Stateof-the-art incremental view maintenance requires O(n2 ) or ...
122
Voted
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
We present a detailed study of two inverse consistencies for non-binary constraints: relational path inverse consistency (rel PIC) and pairwise inverse consistency (PWIC). These ar...
145
click to vote
ICISP
2010
Springer
15 years 7 months ago
2010
Springer
Compressed Imaging is the theory that studies the problem of image recovery from an under-determined system of linear measurements. One of the most popular methods in this field i...
144
click to vote
EUC
2008
Springer
15 years 6 months ago
2008
Springer
This paper studies the scheduling and assignment problem that minimizes the total energy including both dynamic and leakage energy for applications with loops on multi-voltage, mul...