2607 search results - page 279 / 522 » Complete Functional Synthesis |
174
click to vote
DAC
2011
ACM
14 years 4 months ago
2011
ACM
SystemC is a popular modeling language which can be used to specify systems at bstraction level. Currently, SystemC tools can not cope with SystemC models for which the module hie...
145
click to vote
ECCV
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. We present a new approach for self-calibrating the distortion function and the distortion center of cameras with general radially symmetric distortion. In contrast to mos...
146
click to vote
ALT
2001
Springer
16 years 1 months ago
2001
Springer
The main question addressed in the present work is how to find effectively a recursive function separating two sets drawn arbitrarily from a given collection of disjoint sets. I...
139
Voted
CRYPTO
2005
Springer
15 years 10 months ago
2005
Springer
We study the question whether the sequential or parallel composition of two functions, each indistinguishable from a random function by non-adaptive distinguishers is secure agains...
140
Voted
BMCBI
2002
15 years 4 months ago
2002
Background: SeqHound has been developed as an integrated biological sequence, taxonomy, annotation and 3-D structure database system. It provides a high-performance server platfor...