933 search results - page 126 / 187 » Extending Forward Checking |
112
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
107
click to vote
ESA
2007
Springer
15 years 8 months ago
2007
Springer
We study the online ad-auctions problem introduced by Mehta et. al. [15]. We design a (1 − 1/e)competitive (optimal) algorithm for the problem, which is based on a clean primal-...
108
Voted
FASE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
81
Voted
ICMCS
2006
IEEE
15 years 8 months ago
2006
IEEE
— In this paper, we propose a Reverse Frame Selection (RFS) scheme based on dynamic programming to solve for the problem of video streaming over VBR channels. In particular, we ...
120
Voted
ICPP
2006
IEEE
15 years 8 months ago
2006
IEEE
— Due to resource scarcity, a paramount concern in ad hoc networks is to utilize the limited resources efficiently. The self-organized nature of ad hoc networks makes the social...