989 search results - page 116 / 198 » Dynamic Symmetry Reduction |
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper, system level design techniques for companding baseband switched capacitor (SC) filters for WLAN applications are presented. With companding, no AGC is required ...
142
click to vote
ISQED
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose a methodology and power models for an accurate high-level power estimation of physically partitioned and power-gated SRAM arrays. The models offer accurate estimation o...
145
click to vote
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
We study the complexity of satisfiability for the expressive extension ICPDL of PDL (Propositional Dynamic Logic), which admits intersection and converse as program operations. Ou...
113
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Modern multimedia applications possess a very dynamic use of the memory hierarchy depending on the actual input, therefore requiring run-time profiling techniques to enable optim...
156
click to vote
DASFAA
2010
IEEE
15 years 8 months ago
2010
IEEE
xml keyword search provides a simple and user-friendly way of retrieving data from xml databases, but the ambiguities of keywords make it difficult to effectively answer keyword qu...