6897 search results - page 706 / 1380 » Parallelization of Modular Algorithms |
186
click to vote
PDP
2005
IEEE
16 years 23 days ago
2005
IEEE
Boolean Equation Systems (BESs) allow to represent various problems encountered in the area of propositional logic programming and verification of concurrent systems. Several seq...
199
click to vote
ISSADS
2005
Springer
16 years 21 days ago
2005
Springer
Workflow is the key technology for business process automation, while distributed workflow is the solution to deal with the decentralized nature of workflow applications and the pe...
187
click to vote
PVM
2004
Springer
16 years 16 days ago
2004
Springer
As the number of nodes in cluster systems continues to grow, leveraging scalable algorithms in all aspects of such systems becomes key to maintaining performance. While scalable al...
167
click to vote
SWAT
2004
Springer
16 years 16 days ago
2004
Springer
We consider online scheduling of splittable tasks on parallel machines. In our model, each task can be split into a limited number of parts, that can then be scheduled independentl...
220
Voted
IPPS
2003
IEEE
16 years 14 days ago
2003
IEEE
Progressive sequence model refinement by means of iterative searches is an effective technique for high sensitivity database searches and is currently employed in popular tools s...