Sciweavers

575 search results - page 93 / 115
» A Note on Karr's Algorithm
Sort
View
CORR
2008
Springer
141views Education» more  CORR 2008»
14 years 11 months ago
Truthful Unsplittable Flow for Large Capacity Networks
The unsplittable flow problem is one of the most extensively studied optimization problems in the field of networking. An instance of it consists of an edge capacitated graph and ...
Yossi Azar, Iftah Gamzu, Shai Gutner
MTA
2007
113views more  MTA 2007»
14 years 10 months ago
Throughput optimization for video streaming proxy servers based on video staging
A video streaming proxy server needs to handle hundreds of simultaneous connections between media servers and clients. Inside, every video arrived at the server and delivered from ...
Wai Kong Cheuk, Daniel Pak-Kong Lun
STOC
2007
ACM
100views Algorithms» more  STOC 2007»
15 years 11 months ago
Reordering buffers for general metric spaces
In the reordering buffer problem, we are given an input sequence of requests for service each of which corresponds to a point in a metric space. The cost of serving the requests h...
Matthias Englert, Harald Räcke, Matthias West...
TACAS
2007
Springer
165views Algorithms» more  TACAS 2007»
15 years 5 months ago
Multi-objective Model Checking of Markov Decision Processes
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Va...
RTCSA
2006
IEEE
15 years 5 months ago
Data Freshness and Overload Handling in Embedded Systems
In this paper we consider data freshness and overload handling in embedded systems. The requirements on data management and overload handling are derived from an engine control so...
Thomas Gustafsson, Jörgen Hansson