Sciweavers

8125 search results - page 414 / 1625
» Parallelism and evolutionary algorithms
Sort
View
137
Voted
TSMC
2011
250views more  TSMC 2011»
14 years 12 months ago
Markov Models for Biogeography-Based Optimization
—Biogeography-based optimization (BBO) is a4 population-based evolutionary algorithm that is based on the5 mathematics of biogeography. Biogeography is the science and6 study of ...
Dan Simon, Mehmet Ergezer, Dawei Du, Richard Allen...
COR
2011
14 years 11 months ago
Online scheduling of weighted equal-length jobs with hard deadlines on parallel machines
We consider the problem of scheduling a maximum profit selection of equal length jobs on m identical machines. Jobs arrive online over time and the goal is to determine a non-pre...
Sven Oliver Krumke, Alfred Taudes, Stephan Westpha...
KBSE
2003
IEEE
15 years 10 months ago
Parallel Breadth-First Search LTL Model-Checking
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...
Jiri Barnat, Lubos Brim, Jakub Chaloupka
IPPS
1997
IEEE
15 years 9 months ago
A Comparison of Parallel Approaches for Algebraic Factorization in Logic Synthesis
Algebraic factorization is an extremely important part of any logic synthesis system but is computationally expensive. Hence it is important to look at parallel processing to spee...
Sumit Roy, Prithviraj Banerjee
MICRO
1992
IEEE
124views Hardware» more  MICRO 1992»
15 years 9 months ago
A shape matching approach for scheduling fine-grained parallelism
- We present a compilation technique for scheduling parallelism on fine grained asynchronous MIMD systems. The shape scheduling algorithm is introduced that utilizes the flexibilit...
Brian A. Malloy, Rajiv Gupta, Mary Lou Soffa