579 search results - page 19 / 116 » New Hybrid Optimization Algorithms for Machine Scheduling Pr... |
103
click to vote
FMICS
2007
Springer
15 years 8 months ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
159
Voted
ISPDC
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents a new approach for analyzing the performance of grid scheduling algorithms for tasks with dependencies. Finding the optimal procedures for DAG scheduling in Gr...
106
click to vote
CPAIOR
2006
Springer
15 years 5 months ago
2006
Springer
Temporal planning (TP) is notoriously difficult because it requires to solve a propositional STRIPS planning problem with temporal constraints. In this paper, we propose an efficie...
131
click to vote
LSSC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Grid computing is a form of distributed computing that involves coordinating and sharing computing, application, data storage or network resources across dynamic and geog...
113
click to vote
ICML
2002
IEEE
16 years 2 months ago
2002
IEEE
Two notions of optimality have been explored in previous work on hierarchical reinforcement learning (HRL): hierarchical optimality, or the optimal policy in the space defined by ...