357 search results - page 11 / 72 » Enhanced sharing analysis techniques: a comprehensive evalua... |
133
click to vote
CHARME
2005
Springer
15 years 3 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
15 years 1 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...
78
Voted
MMNS
2003
14 years 11 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...
78
Voted
HPCA
2007
IEEE
15 years 10 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...
117
Voted
PLDI
1999
ACM
15 years 1 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...