376 search results - page 18 / 76 » Improved Design Debugging Using Maximum Satisfiability |
FOCS
2008
IEEE
14 years 1 months ago
2008
IEEE
Given a complete undirected graph, a cost function on edges and a degree bound B, the degree bounded network design problem is to find a minimum cost simple subgraph with maximum...
ENTCS
2008
13 years 7 months ago
2008
Most well-known algorithms for equational solving are based on quantifier elimination. This technique iteratively eliminates the innermost block of existential/universal quantifie...
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
Many high-end DSP processors employ both multiple memory banks and heterogeneous register files to improve performance and power consumption. The complexity of such architectures ...
CASES
2007
ACM
13 years 11 months ago
2007
ACM
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
—Enhanced distributed channel access (EDCA) is the basis protocol in IEEE 802.11e protocol suite. It is used for providing differentiated quality of service (QoS) in IEEE 802.11e...