357 search results - page 11 / 72 » Enhanced sharing analysis techniques: a comprehensive evalua... |
CHARME
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
KDD
1998
ACM
13 years 12 months ago
1998
ACM
Many data mining tasks (e.g., Association Rules, Sequential Patterns) use complex pointer-based data structures (e.g., hash trees) that typically suffer from sub-optimal data loca...
MMNS
2003
13 years 9 months ago
2003
Abstract. The paper introduces a new receiver-based active end-toend measurement technique, called the Single-Double Unicast Probing (SDUP), to estimate the rate of losses which oc...
HPCA
2007
IEEE
14 years 8 months ago
2007
IEEE
We apply a scalable approach for practical, comprehensive design space evaluation and optimization. This approach combines design space sampling and statistical inference to ident...
PLDI
1999
ACM
13 years 12 months ago
1999
ACM
This paper explores compiler techniques for reducing the memory needed to load and run program executables. In embedded systems, where economic incentives to reduce both ram and r...