Sciweavers

1702 search results - page 82 / 341
» Doomed program points
Sort
View
ANOR
2010
110views more  ANOR 2010»
15 years 4 months ago
Re-solving stochastic programming models for airline revenue management
We study some mathematical programming formulations for the origin-destination model in airline revenue management. In particular, we focus on the traditional probabilistic model ...
Lijian Chen, Tito Homem-de-Mello
ENTCS
2007
114views more  ENTCS 2007»
15 years 4 months ago
Reporting Failures in Functional Logic Programs
Computing with failures is a typical programming technique in functional logic programs. However, there are also situations where a program should not fail (e.g., in a determinist...
Michael Hanus
SIAMJO
2002
159views more  SIAMJO 2002»
15 years 4 months ago
Locating the Least 2-Norm Solution of Linear Programs via a Path-Following Method
A linear program has a unique least 2-norm solution provided that the linear program has a solution. To locate this solution, most of the existing methods were devised to solve cer...
Yun-Bin Zhao, Duan Li
POPL
2007
ACM
16 years 5 months ago
Interprocedural analysis of asynchronous programs
An asynchronous program is one that contains procedure calls which are not immediately executed from the callsite, but stored and "dispatched" in a non-deterministic ord...
Ranjit Jhala, Rupak Majumdar
VEE
2005
ACM
167views Virtualization» more  VEE 2005»
15 years 10 months ago
An execution layer for aspect-oriented programming languages
Language mechanisms deserve language implementation effort. While this maxim has led to sophisticated support for language features specific to object-oriented, functional and lo...
Michael Haupt, Mira Mezini, Christoph Bockisch, To...