5863 search results - page 464 / 1173 » Calculating Functional Programs |
199
click to vote
EUROCAST
2001
Springer
16 years 1 days ago
2001
Springer
Abstract. This paper introduces a higher-order lazy narrowing calculus (HOLN for short) that solves higher-order equations over the domain of simply typed λ-terms. HOLN is an exte...
205
click to vote
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
Traditional minimum area retiming algorithms attempt to achieve their prescribed objective with no regard to maintaining the initial state of the system. This issue is important f...
166
click to vote
ICCAD
1996
IEEE
15 years 11 months ago
1996
IEEE
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...
173
click to vote
ICASSP
2007
IEEE
15 years 11 months ago
2007
IEEE
We propose an algorithm to detect depths in a light field. Specifically, given a 4D light field, we find all planes at which objects are located. Although the exact depth of each ...
271
click to vote
SC
1995
ACM
15 years 11 months ago
1995
ACM
Abstract We discuss data production rates and their impact on the performance of scientific applications using parallel computers. On one hand, too high rates of data production c...