4781 search results - page 612 / 957 » Complexity at large |
143
click to vote
ICCAD
2003
IEEE
16 years 2 months ago
2003
IEEE
Modeling frequency-dependent nonlinear characteristics of complex analog blocks and subsystems is critical for enabling efficient verification of mixed-signal system designs. Rece...
151
click to vote
ICCAD
2001
IEEE
16 years 2 months ago
2001
IEEE
In this paper, we present novel algorithms that effectively combine physical layout and early logic synthesis to improve overall design quality. In addition, we employ partitionin...
140
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
We present an efficient pixel-sampling technique for histogram-based search. Given a template image as a query, a typical histogram-based algorithm aims to find the location of ...
147
click to vote
TACAS
2010
Springer
16 years 14 days ago
2010
Springer
Deciding whether a modal formula is satisfiable with respect to a given set of (global) assumptions is a question of fundamental importance in applications of logic in computer sc...
150
click to vote
TACAS
2010
Springer
16 years 14 days ago
2010
Springer
Modern multicore processors, such as the Cell Broadband Engine, achieve high performance by equipping accelerator cores with small “scratchpad” memories. The price for increase...