3974 search results - page 189 / 795 » Metric Functional Dependencies |
158
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
A rough texture modelling involves a huge image data-set - the Bidirectional Texture Function (BTF). This 6-dimensional function depends on planar texture coordinates as well as o...
109
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
—What is reachability in higher-order functional programs? We formulate reachability as a decision problem in the setting of the prototypical functional language PCF, and show th...
144
click to vote
FSE
2005
Springer
15 years 9 months ago
2005
Springer
A T-function is a mapping from n-bit words to n-bit words in which for each 0 ≤ i < n, bit i of any output word can depend only on bits 0, 1, . . . , i of any input word. All ...
133
click to vote
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
Algorithmic logic synthesis is usually carried out in two stages, the independent stage where logic minimization is performed on the Boolean equations with no regard to physical p...
256
click to vote
FMCAD
1998
Springer
15 years 8 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...