2582 search results - page 108 / 517 » Scheduling in a Planning Environment |
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
Network of workstation (NOW) is a cost-effective alternative to massively parallel supercomputers. As commercially available off-the-shelf processors become cheaper and faster, ...
101
Voted
CONTEXT
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we present an educational tool which has been designed to manage (learning) knowledge acquired from the interactions with the students, and to automatically aids educ...
100
click to vote
GEOINFORMATICA
2000
14 years 11 months ago
2000
: Transportation systems exist to improve individual accessibility. However, emerging applications of GIS in transportation (GIS-T) and intelligent transportation system (ITS) focu...
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
With the widespread use of embedded devices such as PDAs, printers, game machines, cellular telephones, achieving high performance demands an optimized operating system (OS) that ...
AIPS
2004
15 years 1 months ago
2004
In this paper, we show how a planner can use a modelchecking verifier to guide state space search. In our work on hard real-time, closed-loop planning, we use a modelchecker'...