Sciweavers

285 search results - page 28 / 57
» On Regression-Based Stopping Times
Sort
View
AMAST
2004
Springer
14 years 1 months ago
Separate Compositional Analysis of Class-Based Object-Oriented Languages
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...
Francesco Logozzo
ESA
2004
Springer
120views Algorithms» more  ESA 2004»
14 years 1 months ago
Solving Geometric Covering Problems by Data Reduction
We consider a scenario where stops are to be placed along an already existing public transportation network in order to improve its attractiveness for the customers. The core probl...
Steffen Mecke, Dorothea Wagner
ISAAC
2003
Springer
125views Algorithms» more  ISAAC 2003»
14 years 26 days ago
A Heuristic for the Stacker Crane Problem on Trees Which Is Almost Surely Exact
Abstract Given an edge-weighted transportation network G and a list of transportation requests L, the Stacker Crane Problem is to find a minimum-cost tour for a server along the e...
Amin Coja-Oghlan, Sven Oliver Krumke, Till Nierhof...
MOMM
2009
ACM
172views Communications» more  MOMM 2009»
14 years 10 days ago
Analysis of video streaming with SP and SI frames in UMTS mobile networks
In this paper we discuss possible benefits of transmitting SI frames as an error resilience tool in UMTS video streaming. SP and SI frames can be used to stop temporal error prop...
Luca Superiori, Markus Rupp, Wolfgang Karner
COMPSAC
1999
IEEE
14 years 7 hour ago
Optimal Software Release Policy Based on Cost and Reliability with Testing Efficiency
In this paper, we study the optimal software release problem considering cost, reliability and testing eficiency. We first propose a generalized logistic testing-effort function t...
Chin-Yu Huang, Sy-Yen Kuo, Michael R. Lyu