Sciweavers

1392 search results - page 2 / 279
» Staging generic programming
Sort
View
ISAAC
2010
Springer
253views Algorithms» more  ISAAC 2010»
13 years 2 months ago
Solving Two-Stage Stochastic Steiner Tree Problems by Two-Stage Branch-and-Cut
Abstract. We consider the Steiner tree problem under a 2-stage stochastic model with recourse and finitely many scenarios (SSTP). Thereby, edges are purchased in the first stage wh...
Immanuel M. Bomze, Markus Chimani, Michael Jü...
SAIG
2000
Springer
13 years 8 months ago
Reasoning about Staged Computation
Frank Pfenning
ICFP
2001
ACM
14 years 4 months ago
Automatic Generation of Staged Geometric Predicates
Aleksandar Nanevski, Guy E. Blelloch, Robert Harpe...
ECOOP
2007
Springer
13 years 11 months ago
A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Our work is based on tracematches, an extension to...
Eric Bodden, Laurie J. Hendren, Ondrej Lhotá...