Sciweavers

7065 search results - page 258 / 1413
» Iterative Scheduling Algorithms
Sort
View
IOR
2010
60views more  IOR 2010»
15 years 3 months ago
Algorithms for Scheduling Runway Operations Under Constrained Position Shifting
Hamsa Balakrishnan, Bala G. Chandran
213
Voted
SC
1993
ACM
15 years 10 months ago
Runtime compilation techniques for data partitioning and communication schedule reuse
In this paper, we describe two new ideas by which HPF compiler can deal with irregular computations e ectively. The rst mechanism invokes a user speci ed mapping procedure via a s...
Ravi Ponnusamy, Joel H. Saltz, Alok N. Choudhary
IPPS
1998
IEEE
15 years 10 months ago
Processor Lower Bound Formulas for Array Computations and Parametric Diophantine Systems
Using a directed acyclic graph (dag) model of algorithms, we solve a problem related to precedenceconstrained multiprocessor schedules for array computations: Given a sequence of ...
Peter R. Cappello, Ömer Egecioglu
CAV
2010
Springer
158views Hardware» more  CAV 2010»
15 years 10 months ago
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces
Abstract. We consider the verification of parameterized Boolean proabstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such prog...
Salvatore La Torre, P. Madhusudan, Gennaro Parlato
CORR
2008
Springer
112views Education» more  CORR 2008»
15 years 6 months ago
Investigating Artificial Immune Systems For Job Shop Rescheduling In Changing Environments
Artificial immune system can be used to generate schedules in changing environments and it has been proven to be more robust than schedules developed using a genetic algorithm. Go...
Uwe Aickelin, Edmund K. Burke, Aniza Mohamed Din