Sciweavers

6894 search results - page 365 / 1379
» Generation Problems
Sort
View
PPAM
2005
Springer
16 years 8 days ago
Two Level Job-Scheduling Strategies for a Computational Grid
Abstract. We address parallel jobs scheduling problem for computational GRID systems. We concentrate on two-level hierarchy scheduling: at the first level broker allocates computa...
Andrei Tchernykh, Juan Manuel Ramírez, Arut...
ICCS
2004
Springer
16 years 5 days ago
Advanced Multicasting for DVBMT Solution
Our research subject in the present paper is concerned with the minimization of multicast delay variation under the multicast endto-end delay constraint. The delay- and delay varia...
Moonseong Kim, Young-Cheol Bang, Hyunseung Choo
ISOLA
2004
Springer
16 years 5 days ago
On model checking multiple hybrid views
We study consistency, satisfiability, and validity problems for collectively model checking a set of views endowed with labelled transitions, hybrid constraints on states, and ato...
Michael Huth, Altaf Hussain
ECP
1999
Springer
157views Robotics» more  ECP 1999»
15 years 11 months ago
SAT-Based Procedures for Temporal Reasoning
In this paper we study the consistency problem for a set of disjunctive temporal constraints [Stergiou and Koubarakis, 1998]. We propose two SAT-based procedures, and show that—o...
Alessandro Armando, Claudio Castellini, Enrico Giu...
EURODAC
1994
IEEE
140views VHDL» more  EURODAC 1994»
15 years 11 months ago
GSA: scheduling and allocation using genetic algorithm
This paper describes a unique approach to scheduling and allocation problem in high-level synthesis using genetic algorithm (GA). This approach is dierent from a previous attempt ...
Ali Shahid, Muhammad S. T. Benten, Sadiq M. Sait