7393 search results - page 344 / 1479 » Synthesis-for-testability using transformations |
120
click to vote
CHARME
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We survey the work done so far in the FLaSH project (Functional Languages for Synthesising Hardware) in which the core ideas are (i) using a functional language SAFL to d...
127
click to vote
ECIS
2003
15 years 6 months ago
2003
While online service providers are sometimes accused of forwarding identifying customer information as name and address to untrusted third parties, comparatively little attention ...
125
click to vote
CGF
2008
15 years 5 months ago
2008
Aging has considerable visual effects on the human face and is difficult to simulate using a universally-applicable global model. In this paper, we focus on the hypothesis that th...
139
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, a new directionally adaptive, learning based, single image super resolution method using multiple direction wavelet transform, called Directionlets is presented. Th...
210
Voted
LISP
2002
15 years 4 months ago
2002
Abstract. Local CPS conversion is a compiler transformation for improving the code generated for nested loops by a direct-style compiler that uses recursive functions to represent ...