322 search results - page 49 / 65 » Satisfiability Coding Lemma |
SIGSOFT
2006
ACM
14 years 9 months ago
2006
ACM
We present a study of all sources of aliasing in over one million lines of C code, identifying in the process the common patterns of aliasing that arise in practice. We find that ...
CAV
2009
Springer
14 years 9 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
We investigate a practical approach to solving one instantiation of a distributed hypothesis testing problem under severe rate constraints that shows up in a wide variety of appli...
ASIAMS
2007
IEEE
14 years 3 months ago
2007
IEEE
Composability, the capability to select and assemble offthe-shelf model components in various combinations to satisfy user requirements, is an appealing approach in reducing the t...
GLOBECOM
2007
IEEE
14 years 3 months ago
2007
IEEE
— Recent studies indicate the presence of a significant amount of idle licensed spectrum, in different time periods and geographic locations. Prompted by the latest regulatory ch...