1086 search results - page 133 / 218 » Jug measuring: Algorithms and complexity |
ATVA
2004
Springer
15 years 3 months ago
2004
Springer
We propose a novel approach to locate errors in complex counterexample of safety property. Our approach measures the distance between two state transition traces with difference o...
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
Cache prediction for preemptive scheduling is an open issue despite its practical importance. First analysis approaches use simplified models for cache behavior or they assume si...
ICDM
2003
IEEE
15 years 3 months ago
2003
IEEE
A web site is a semi structured collection of different kinds of data, whose motivation is show relevant information to visitor and by this way capture her/his attention. Understa...
PAKDD
2010
ACM
15 years 2 months ago
2010
ACM
The skyline operator is a well established database primitive which is traditionally applied in a way that only a single skyline is computed. In this paper we use multiple skylines...
ADBIS
1998
Springer
15 years 2 months ago
1998
Springer
In order to answer efficiently range queries in 2-d R-trees, first we sort queries by means of a space filling curve, then we group them together, and finally pass them for process...