2076 search results - page 75 / 416 » Functional logic overloading |
ICCAD
1999
IEEE
14 years 1 months ago
1999
IEEE
A common approach to performance optimization of circuits focuses on re-synthesis to reduce the length of all paths greater than the desired delay . We describe a new delay optimi...
GECCO
1999
Springer
14 years 1 months ago
1999
Springer
This paper demonstrates the ability of genetic programming to evolve analog circuits that perform digital functions and mixed analog-digital circuits. The evolved circuits include...
FOIKS
2010
Springer
14 years 3 days ago
2010
Springer
Armstrong databases are a popular tool in example-based database design. An Armstrong database for a given constraint set from a fixed constraint class Z satisfies precisely those ...
JLP
2008
13 years 8 months ago
2008
A formulation of na
ICALP
2010
Springer
14 years 1 months ago
2010
Springer
We prove that TAUT has a p-optimal proof system if and only if a logic related to least fixed-point logic captures polynomial time on all finite structures. Furthermore, we show ...