2607 search results - page 10 / 522 » Complete Functional Synthesis |
FPL
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents an architecture and a synthesis method for programmable numerical function generators of trigonometric functions, logarithm functions, square root, reciprocal,...
ISVLSI
2007
IEEE
15 years 3 months ago
2007
IEEE
Performance, power, and functionality, yield and manufacturability are rapidly becoming additional critical factors that must be considered at higher levels of ion. A possible sol...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
In 2003, Leonid A. Levin presented the idea of a combinatorial complete one-way function and a sketch of the proof that Tiling represents such a function. In this paper, we presen...
ISIPTA
1999
IEEE
15 years 1 months ago
1999
IEEE
This paper shows that a "principle of complete ignorance" plays a central role in decisions based on Dempster belief functions. Such belief functions occur when, in a fi...
SFP
2001
14 years 11 months ago
2001
: We study type checking that is complete in the sense that it accepts every program whose subexpressions can all be executed without raising a type error at runtime. In a complete...