Sciweavers

4498 search results - page 610 / 900
» How to Invent Functions
Sort
View
DATE
2006
IEEE
104views Hardware» more  DATE 2006»
16 years 1 months ago
Equivalence verification of arithmetic datapaths with multiple word-length operands
Abstract: This paper addresses the problem of equivalence verification of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
Namrata Shekhar, Priyank Kalla, Florian Enescu
ESCIENCE
2006
IEEE
16 years 1 months ago
Adapting and Evaluating Commercial Workflow Engines for e-Science
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 ...
Sharanya Eswaran, David Del Vecchio, Glenn S. Wass...
FOCS
2006
IEEE
16 years 1 months ago
Better lossless condensers through derandomized curve samplers
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 ...
Amnon Ta-Shma, Christopher Umans
HAPTICS
2006
IEEE
16 years 1 months ago
Unwarping Encoder Ripple in Low Cost Haptic Interfaces
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...
Dale A. Lawrence, Lucy Y. Pao, Sutha Aphanuphong
HICSS
2006
IEEE
160views Biometrics» more  HICSS 2006»
16 years 1 months ago
A Case Study of a Longstanding Online Community of Practice Involving Critical Care and Advanced Practice Nurses
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...
Noriko Hara, Khe Foon Hew