1176 search results - page 181 / 236 » Implicit Abstraction Heuristics |
173
click to vote
ICCS
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. As grids typically consist of autonomously managed subsystems with strongly varying resources, fault-tolerance forms an important aspect of the scheduling process of appl...
144
click to vote
LION
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. The practical utility of optimization technologies is often impacted by factors that reflect how these tools are used in practice, including whether various real-world c...
164
click to vote
SAS
2007
Springer
16 years 13 days ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
162
click to vote
TELETRAFFIC
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Large-scale Video-on-Demand (VoD) systems with high storage and high bandwidth requirements need a substantial amount of resources to store, distribute and transport all ...
172
click to vote
BROADNETS
2006
IEEE
16 years 11 days ago
2006
IEEE
Abstract— In this paper, we address the problem of video multicasting in ad hoc wireless networks. The salient characteristics of video traffic make conventional multicasting pr...