4041 search results - page 136 / 809 » time 2009 |
167
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
Minimizing learned clauses is an effective technique to reduce memory usage and also speed up solving time. It has been implemented in MINISAT since 2005 and is now adopted by mos...
173
click to vote
CANS
2009
Springer
16 years 1 months ago
2009
Springer
We present a hash-based signature scheme customized for wireless sensor networks. For message lengths required by instructions or queries from the base station or single measuremen...
182
click to vote
ESA
2009
Springer
16 years 1 months ago
2009
Springer
A hash function h, i.e., a function from the set U of all keys to the range range [m] = {0, . . . , m − 1} is called a perfect hash function (PHF) for a subset S ⊆ U of size n ...
158
click to vote
RTCSA
2009
IEEE
16 years 1 months ago
2009
IEEE
—Componentised systems, in particular those with fault confinement through address spaces, are currently emerging as a hot topic in embedded systems research. This paper extends...
148
click to vote
ESA
2009
Springer
16 years 1 months ago
2009
Springer
We evaluate the practical performance of labeling schemes for lowest common ancestors in trees. We develop different variants for encoding the labels. We then perform a thorough e...