2607 search results - page 183 / 522 » Complete Functional Synthesis |
137
click to vote
SIGGRAPH
1996
ACM
15 years 8 months ago
1996
ACM
This paper discusses a new method for capturing the complete appearanceof both synthetic and realworld objects andscenes,representing this information, and then using this represe...
138
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
As Dag Normann has recently shown, the fully abstract model for PCF of hereditarily sequential functionals is not -complete and therefore not continuous in the traditional terminol...
141
click to vote
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
– Reducing power consumption through high-level synthesis has attracted a growing interest from researchers due to its large potential for power reduction. In this work we study ...
136
click to vote
CPC
2004
15 years 3 months ago
2004
We consider boolean functions over n variables. Any such function can be represented (and computed) by a complete binary tree with and or or in the internal nodes and a literal in...
132
click to vote
FSE
2006
Springer
15 years 7 months ago
2006
Springer
We describe a collision-finding attack on 16 rounds of the Tiger hash function requiring the time for about 244 compression function invocations. Another attack generates pseudo-ne...