8016 search results - page 307 / 1604 » On the practical genetic algorithms |
184
click to vote
LCN
2006
IEEE
16 years 21 days ago
2006
IEEE
Security has become a major concern for many realworld applications for wireless sensor networks (WSN). In this domain, many security solutions have been proposed. Usually, all th...
186
click to vote
MM
2004
ACM
16 years 3 days ago
2004
ACM
This paper presents the design, implementation, and evaluation of a practical voltage scaling (PDVS) algorithm for mobile devices primarily running multimedia applications. PDVS s...
173
Voted
CAV
2001
Springer
15 years 11 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
171
click to vote
OPODIS
2004
15 years 8 months ago
2004
Abstract. We present an efficient and practical lock-free implementation of a concurrent deque that supports parallelism for disjoint accesses and uses atomic primitives which are ...
161
click to vote
PPOPP
2010
ACM
16 years 4 months ago
2010
ACM
We propose a concurrent relaxed balance AVL tree algorithm that is fast, scales well, and tolerates contention. It is based on optimistic techniques adapted from software transact...