1256 search results - page 89 / 252 » Experiences with the DEVStone benchmark |
142
click to vote
TACAS
2007
Springer
16 years 8 days ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
147
click to vote
WABI
2007
Springer
16 years 8 days ago
2007
Springer
When aligning biological sequences, the choice of parameter values for the alignment scoring function is critical. Small changes in gap penalties, for example, can yield radically ...
158
click to vote
3DPVT
2006
IEEE
16 years 7 days ago
2006
IEEE
In this paper a novel method for 3D content-based search and retrieval is proposed. Guided by the imperative need for a reliable 3D content based search tool and the very interest...
186
click to vote
ISCAS
2006
IEEE
16 years 6 days ago
2006
IEEE
In this paper we present two polynomial time-complexity heuristic algorithms for optimization of gate-oxide leakage (tunneling current) during behavioral synthesis through simulta...
209
click to vote
ADMA
2006
Springer
16 years 5 days ago
2006
Springer
Abstract. Practical pattern classification and knowledge discovery problems require selecting a useful subset of features from a much larger set to represent the patterns to be cl...