7379 search results - page 1033 / 1476 » How Many Clusters |
161
Voted
DATE
2006
IEEE
16 years 29 days ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence verification of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have di...
191
click to vote
DIAL
2006
IEEE
16 years 29 days ago
2006
IEEE
The availability of large, heterogeneous repositories of electronic documents is increasing rapidly, and the need for flexible, sophisticated document manipulation tools is growi...
195
click to vote
EDOC
2006
IEEE
16 years 28 days ago
2006
IEEE
Increasingly, distributed systems are being constructed by composing a number of discrete components. This practice, termed composition, is particularly prevalent within the Web s...
192
click to vote
ESCIENCE
2006
IEEE
16 years 28 days ago
2006
IEEE
Scientific workflows are a powerful programming technique for specifying complex computations using a number of otherwise independent components. When used in a Grid environment, ...
180
click to vote
ESCIENCE
2006
IEEE
16 years 28 days 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 ...