Sciweavers

1392 search results - page 2 / 279
» Staging generic programming
Sort
View
ISAAC
2010
Springer
253views Algorithms» more  ISAAC 2010»
14 years 8 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ü...
60
Voted
POPL
1996
ACM
15 years 2 months ago
A Modal Analysis of Staged Computation
Rowan Davies, Frank Pfenning
76
Voted
SAIG
2000
Springer
15 years 2 months ago
Reasoning about Staged Computation
Frank Pfenning
ICFP
2001
ACM
15 years 10 months ago
Automatic Generation of Staged Geometric Predicates
Aleksandar Nanevski, Guy E. Blelloch, Robert Harpe...
98
Voted
ECOOP
2007
Springer
15 years 4 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á...