1422 search results - page 101 / 285 » Test Generation Algorithms Based on Preorder Relations |
122
click to vote
OSS
2009
Springer
15 years 9 months ago
2009
Springer
This paper presents a novel method and algorithm to measure the size of an open source project’s user base and the level of potential user interest that it generates. Previously ...
108
click to vote
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
— In this paper, we propose a fair and simple high-performance scheduling algorithm for Combined Input-Crosspoint-Queued Switches, which is called Tracking Fair Quota Allocation ...
145
click to vote
ASE
2005
15 years 3 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
137
click to vote
SEMCO
2008
IEEE
15 years 9 months ago
2008
IEEE
Associative classification is a novel and powerful method originating from association rule mining. In the previous studies, a relatively small number of high-quality association...
138
click to vote
ISRR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present an interpolation-based planning and replanning algorithm for generating smooth paths through non-uniform cost grids. Most grid-based path planners use discrete...