4498 search results - page 610 / 900 » How to Invent Functions |
116
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
138
click to vote
ESCIENCE
2006
IEEE
15 years 11 months ago
2006
IEEE
Numerous Grid workflow engines exist, each generally specialized for a single application domain such as protein folding. Although the underlying purpose and functionality of the ...
137
click to vote
FOCS
2006
IEEE
15 years 11 months ago
2006
IEEE
Lossless condensers are unbalanced expander graphs, with expansion close to optimal. Equivalently, they may be viewed as functions that use a short random seed to map a source on ...
124
click to vote
HAPTICS
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper describes a technique for unwarping encoder ripple in a low cost haptic interface prototype. We previously demonstrated how using a low-resolution optical encoder to el...
120
click to vote
HICSS
2006
IEEE
15 years 11 months ago
2006
IEEE
The aims of this study are: (1) to examine to what extent critical care and advanced practice nursesā participation in an online listserv constituted a community of practice, an...