1795 search results - page 190 / 359 » On the Complexity of Circuit Satisfiability |
ISQED
2007
IEEE
14 years 4 months ago
2007
IEEE
ct This paper develops an aggregation-based algebraic multigrid (AbAMG) method to efficiently analyze the power grids. Different from the conventional algebraic multigrid (AMG) sc...
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
With reference to digital input power amplifier for automotive audio applications, the paper presents an exhaustive exploration of the huge mixed-signal space to find optimal trad...
TRIDENTCOM
2006
IEEE
14 years 4 months ago
2006
IEEE
— This work presents an UWB testbed for reduced data rates with capabilities of measuring range and location. The transmitter uses Time Hopping spread spectrum codes to reduce th...
DAC
2006
ACM
14 years 4 months ago
2006
ACM
This paper describes how systems companies are adopting SystemC transaction level models for system on chip design and verification, and how these transaction level models are bei...
ISLPED
2006
ACM
14 years 4 months ago
2006
ACM
—An increasing number of architectural techniques rely on hardware counting bloom filters (CBFs) to improve upon the enegy, delay and complexity of various processor structures. ...