Ever-increasing demand for computing capability is driving the construction of ever-larger computer clusters, soon to be reaching tens of thousands of processors. Many functionalities of system software have failed to scale accordingly–systems are becoming more complex, less reliable, and less efficient. Our premise is that these deficiencies arise from a lack of global control and coordination...

There are many numerous methods for solving large-scale problems in which some of them are very flexible and efficient in both linear and non-linear cases. League championship algorithm is such algorithm which may be used in the mentioned problems. In the current paper, a new play-off approach will be adapted on league championship algorithm for solving large-scale problems. The proposed algori...

there are many numerous methods for solving large-scale problems in which some of them are very flexible and efficient in both linear and non-linear cases. league championship algorithm is such algorithm which may be used in the mentioned problems. in the current paper, a new play-off approach will be adapted on league championship algorithm for solving large-scale problems. the proposed algori...

this paper investigates an epq model with the increasing demand and demand dependent production rate involving the trade credit financing policy, which is seldom reported in the literatures. the model considers the manufacturer was offered by the supplier a delayed payment time. it is assumed that the demand is a linear increasing function of the time and the production rate is proportional to ...

In this paper fully fuzzy linear programming (FFLP) problem with both equality and inequality constraints is considered where all the parameters and decision variables are represented by non-negative trapezoidal fuzzy numbers. According to the current approach, the FFLP problem with equality constraints first is converted into a multi–objective linear programming (MOLP) problem with crisp const...

Constraint satisfaction deals with developing automated techniques for solving computationally hard problems in a declarative fashion. This note summarizes a dissertation that focuses on search-based methods for the propositional satisfiability problem (SAT). As methods for propositional satisfiability checking have rapidly progressed during the last 15 years, implementations of decision proced...