Sciweavers

1421 search results - page 200 / 285
» Satisfying KBO Constraints
Sort
View
MMNS
2007
124views Multimedia» more  MMNS 2007»
15 years 7 months ago
Empirical Effective Bandwidth Estimation for IPTV Admission Control
We propose an admission control approach for IPTV in which decisions to admit new flows are based on effective bandwidth estimates calculated using empirical traffic measurement. W...
Alan Davy, Dmitri Botvich, Brendan Jennings
AAAI
2004
15 years 7 months ago
SOFIA's Choice: An AI Approach to Scheduling Airborne Astronomy Observations
We describe an innovative solution to the problem of scheduling astronomy observations for the Stratospheric Observatory for Infrared Astronomy, an airborne observatory. The probl...
Jeremy Frank, Michael A. K. Gross, Elif Kürkl...
AIPS
2006
15 years 7 months ago
Tractable Optimal Competitive Scheduling
In this paper we describe the problem of Optimal Competitive Scheduling, which consists of activities that compete for a shared resource. The objective is to choose a subset of ac...
Jeremy Frank, James Crawford, Lina Khatib, Ronen I...
DAGSTUHL
2004
15 years 7 months ago
Design for Time-Predictability
A large part of safety-critical embedded systems has to satisfy hard real-time constraints. These need sound methods and tools to derive reliable run-time guarantees. The guarante...
Lothar Thiele, Reinhard Wilhelm
FLAIRS
2001
15 years 7 months ago
Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking
We present our consistency support tool BIS, an extension to the electronic product data management system (EPDMS) used at DaimlerChrysler AG to configure the Mercedes lines of pa...
Carsten Sinz, Andreas Kaiser, Wolfgang Küchli...