1176 search results - page 181 / 236 » Implicit Abstraction Heuristics |
114
click to vote
ICCS
2007
Springer
15 years 6 months 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...
LION
2007
Springer
15 years 6 months 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...
107
Voted
SAS
2007
Springer
15 years 6 months 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...
103
Voted
TELETRAFFIC
2007
Springer
15 years 6 months 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 ...
114
Voted
BROADNETS
2006
IEEE
15 years 6 months 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...