1663 search results - page 251 / 333 » Scheduling techniques for media-on-demand |
AIPS
2004
15 years 2 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'...
119
click to vote
IFIPPACT
1994
15 years 1 months ago
1994
: We describe an approach to parallel compilation that seeks to harness the vast amount of ne-grain parallelism that is exposed through partial evaluation of numerically-intensive ...
129
Voted
ICFP
2010
ACM
15 years 23 days ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
CORR
2010
Springer
15 years 21 days ago
2010
Springer
Defect prevention is the most vital but habitually neglected facet of software quality assurance in any project. If functional at all stages of software development, it can condens...
121
Voted
CN
2006
15 years 19 days ago
2006
The problem of optimal data gathering in wireless sensor networks (WSNs) is addressed by means of optimization techniques. The goal of this work is to lay the foundations to devel...