5562 search results - page 222 / 1113 » Implementing Parallel Cell-DEVS |
115
click to vote
DNA
2004
Springer
15 years 9 months ago
2004
Springer
Most DNA computing algorithms for mathematical problems start with combinatorial generation of an initial pool. Several methods for initialpool generation have been proposed, inclu...
152
click to vote
EUROPAR
2004
Springer
15 years 9 months ago
2004
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing answers to subgoals. The declarative nature of tabled logic program...
127
click to vote
NPC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A fault tolerant parallel virtual file system is designed and implemented to provide high I/O performance and high reliability. A queuing model is used to analyze in deta...
148
click to vote
CSB
2003
IEEE
15 years 9 months ago
2003
IEEE
Physical map reconstruction in the presence of errors is a central problem in genetics of high computational complexity. A parallel genetic algorithm for a maximum likelihood esti...
114
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...