6941 search results - page 527 / 1389 » Testing as a Certification Approach |
176
click to vote
ICPP
1993
IEEE
15 years 11 months ago
1993
IEEE
: This paper presents a Data-Distributed Execution approach that exploits interation-level parallelism in loops operating over arrays. It performs data-dependency analysis, based o...
182
click to vote
ITP
2010
15 years 11 months ago
2010
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...
198
click to vote
ICANNGA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In the paper, a new method of decision tree learning for costsensitive classification is presented. In contrast to the traditional greedy top-down inducer in the proposed...
198
click to vote
EWCBR
2006
Springer
15 years 10 months ago
2006
Springer
Product recommender systems are a popular application and research field of CBR for several years now. However, almost all CBRbased recommender systems are not case-based in the or...
184
click to vote
AICCSA
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper presents a novel approach based on clustering algorithms in combination with the location area (LA) scheme to solve the mobility management problem. Users' movemen...