5583 search results - page 1083 / 1117 » Application of Micro-Genetic Algorithm for Task Based Comput... |
107
click to vote
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
131
click to vote
ICPP
2009
IEEE
15 years 7 months ago
2009
IEEE
—Wireless sensor networks have become a promising technology in monitoring physical world. In many applications with wireless sensor networks, it is essential to understand how w...
113
Voted
BICOB
2009
Springer
15 years 7 months ago
2009
Springer
The de novo assembly of genomes from high-throughput short reads is an active area of research. Several promising methods have been recently developed, with applicability mainly re...
100
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Recent scaling up of decentralized partially observable Markov decision process (DEC-POMDP) solvers towards realistic applications is mainly due to approximate methods. Of this fa...
96
Voted
IPPS
2008
IEEE
15 years 7 months ago
2008
IEEE
We present SNAP (Small-world Network Analysis and Partitioning), an open-source graph framework for exploratory study and partitioning of large-scale networks. To illustrate the c...