1461 search results - page 229 / 293 » On Regular Reduced Products |
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
This research explores the causes of dealer demand amplification leading to a high volume of seed returns in a typical agribusiness supply chain. Seed production occurs months in ...
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
Clustering, or unsupervised classification, has many uses in fields that depend on grouping results from large amount of data, an example being the N-body cosmological simulation ...
LICS
2003
IEEE
14 years 1 months ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
MICRO
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper proposes and evaluates single-ISA heterogeneous multi-core architectures as a mechanism to reduce processor power dissipation. Our design incorporates heterogeneous cor...
PLDI
2003
ACM
14 years 1 months ago
2003
ACM
This paper presents the design and implementation of a compiler algorithm that effectively optimizes programs for energy usage using dynamic voltage scaling (DVS). The algorithm ...