Sciweavers

546 search results - page 34 / 110
» Parametric Program Slicing
Sort
View
IWMM
2009
Springer
122views Hardware» more  IWMM 2009»
15 years 11 months ago
Parametric heap usage analysis for functional programs
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...
Leena Unnikrishnan, Scott D. Stoller
113
Voted
MOR
2008
94views more  MOR 2008»
15 years 4 months ago
Parametric Integer Programming in Fixed Dimension
We consider the following problem: Given a rational matrix A Qm
Friedrich Eisenbrand, Gennady Shmonin
AUTOMATICA
2007
58views more  AUTOMATICA 2007»
15 years 5 months ago
A parametric programming approach to moving-horizon state estimation
Mark L. Darby, Michael Nikolaou
60
Voted
COR
2007
71views more  COR 2007»
15 years 5 months ago
Using lexicographic parametric programming for identifying efficient units in DEA
Pekka J. Korhonen, Pyry-Antti Siitari
174
Voted
PLDI
2005
ACM
15 years 10 months ago
Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices
Speculative parallelization can provide significant sources of additional thread-level parallelism, especially for irregular applications that are hard to parallelize by conventio...
Carlos García Quiñones, Carlos Madri...