7103 search results - page 670 / 1421 » Program Generation and Components |
183
click to vote
ITC
1997
IEEE
15 years 11 months ago
1997
IEEE
- An all-digital technique for the measurement of the jitter transfer function of charge-pump phase-locked loops is introduced. Input jitter may be generated using one of two metho...
178
click to vote
ATVA
2009
Springer
15 years 11 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
180
click to vote
LREC
2010
15 years 8 months ago
2010
This paper deals with the derivational morphology of automatic word form recognition. It presents a set of declarative rules which augment lexical entries with information governi...
171
click to vote
ACL
2004
15 years 8 months ago
2004
Generalized Multitext Grammar (GMTG) is a synchronous grammar formalism that is weakly equivalent to Linear Context-Free Rewriting Systems (LCFRS), but retains much of the notatio...
147
click to vote
ACL
2006
15 years 8 months ago
2006
The present work advances the accuracy and training speed of discriminative parsing. Our discriminative parsing method has no generative component, yet surpasses a generative base...