834 search results - page 56 / 167 » A Decomposition Technique for Max-CSP |
ICCAD
2009
IEEE
13 years 7 months ago
2009
IEEE
A generalized Hamiltonian method (GHM) is proposed for passivity test of descriptor systems (DSs) which describe impedance or admittance input-output responses. GHM can test passi...
FPL
1999
Springer
14 years 2 months ago
1999
Springer
This paper details the development, implementation, and results of Synthia, a system for the synthesis of Finite State Machines (FSMs) to field-programmable logic. Our approach us...
ALGORITHMICA
2007
13 years 10 months ago
2007
Abstract Many compiler optimization techniques depend on the ability to calculate the number of elements that satisfy certain conditions. If these conditions can be represented by ...
VIS
2004
IEEE
14 years 11 months ago
2004
IEEE
We present a novel multiscale approach for flow visualization. We define a local alignment tensor that encodes a measure for alignment to the direction of a given flow field. This...
ISPD
2010
ACM
14 years 5 months ago
2010
ACM
Double Patterning Lithography (DPL) is one of the few hopeful candidate solutions for the lithography for CMOS process beyond 45nm. DPL assigns the patterns less than a certain di...