10412 search results - page 1409 / 2083 » The efficiency of algorithms - misconceptions |
233
click to vote
AICCSA
2008
IEEE
15 years 9 months ago
2008
IEEE
Because of several vulnerabilities in software products and high amount of damage caused by them, software developers are enforced to produce more secure systems. Software grows u...
164
click to vote
APWEB
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. One of the emerging concepts in microdata protection is kanonymity, introduced by Samarati and Sweeney. k-anonymity provides a simple and efficient approach to protect pr...
195
click to vote
ASM
2008
ASM
15 years 9 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
169
click to vote
ASPDAC
2008
ACM
15 years 9 months ago
2008
ACM
In this paper we describe load scheduling, a novel method that balances load among register files by residual resources. Load scheduling can reduce register pressure for clustered...
177
click to vote
BIRD
2008
Springer
15 years 9 months ago
2008
Springer
We study the problem of structured motif search in DNA sequences. This is a fundamental task in bioinformatics which contributes to better understanding of genome characteristics a...