6897 search results - page 329 / 1380 » Parallelization of Modular Algorithms |
127
click to vote
PPSN
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The multiple sequence alignment problem (MSA) can be reformulated as the problem of finding a maximum weight trace in an alignment graph, which is derived from all pairw...
140
click to vote
ARTS
1999
Springer
15 years 7 months ago
1999
Springer
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...
193
click to vote
IPPS
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper presents a new fault-tolerant scheduling algorithm for multiprocessor hard-real-time systems. The so called partitioning method is used to schedule a set of tasks in a ...
129
Voted
PPSN
2000
Springer
15 years 7 months ago
2000
Springer
Real-coded Adaptive Range Genetic Algorithms (ARGAs) have been applied to a practical three-dimensional shape optimization for aerodynamic design of an aircraft wing. The real-code...
SPAA
2009
ACM
16 years 3 months ago
2009
ACM
We consider the problem of time-constrained scheduling of packets in a communication network. Each packet has, in addition to its source and its destination, a release time and a ...