Minimization of the execution time of an iterative application in a heterogeneous parallel computing environment requires an appropriate mapping scheme for matching and scheduling the subtasks of a given application onto the processors. Often, some of the characteristics of the application subtasks are unknown a priori or change from iteration to iteration during execution-time based on the inp...

Let Y be a proximinal subspace of finite codimension of c0. We show that Y is proximinal in ∞ and the metric projection from ∞ onto Y is Hausdorff metric continuous. In particular, this implies that the metric projection from ∞ onto Y is both lower Hausdorff semi-continuous and upper Hausdorff semi-continuous.

The veri cation of timed systems is extremely important but also extremely di cult Several methods have been proposed to assist in this task including extensions to symbolic model checking One possible use of model checking to analyze timed systems is by modeling passage of time as the number of taken transitions and ap plying quantitative algorithms to determine the timing parameters of the sy...

In this paper, we introduce the concepts of r-semigeneralized fuzzy closed sets, r-semi-generalized fuzzy open sets, rsemi-generalized fuzzy continuous maps in fuzzy topological spaces and investigate some of their properties.