401 search results - page 14 / 81 » Synthesis from Component Libraries |
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Logic Programming languages and combinational circuit synthesis tools share a common "combinatorial search over logic formulae" background. This paper attempts ...
COMPUTER
1999
13 years 8 months ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
ISIWI
2004
13 years 10 months ago
2004
The increase in the number of scientific disciplines, the continuing significant rise in the production of literature and the journal crisis at libraries has led the actors to see...
ICCV
2001
IEEE
14 years 11 months ago
2001
IEEE
A framework for photo-realistic view-dependent image synthesis of a shiny object from a sparse set of images and a geometric model is proposed. Each image is aligned with the 3D m...
ISSS
1999
IEEE
14 years 1 months ago
1999
IEEE
In order to cope with the ever increasing complexity of todays application specific integrated circuits, a building block based design methodology is established. The system is co...