1747 search results - page 53 / 350 » Long Range Dependence |
ATVA
2009
Springer
14 years 4 months ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
IEEEPACT
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper presents a new modulo scheduling algorithm for clustered microarchitectures. The main feature of the proposed scheme is that the assignment of instructions to clusters ...
KDD
1998
ACM
14 years 2 months ago
1998
ACM
An important issue in data mining is the recognition of complex dependencies between attributes. Past techniques for identifying attribute dependence include correlation coefficie...
AINA
2006
IEEE
14 years 4 months ago
2006
IEEE
Ternary content-addressable memories (TCAMs) have gained wide acceptance in the industry for storing and searching patterns in routers. But two important problems block the way to...
WAOA
2007
Springer
14 years 4 months ago
2007
Springer
How should a seller price his goods in a market where each buyer prefers a single good among his desired goods, and will buy the cheapest such good, as long as it is within his bud...