Search Sciweavers | Sciweavers

546 search results - page 34 / 110

» Parametric Program Slicing

click to vote

IWMM
2009
Springer

122views Hardware» more IWMM 2009»

Parametric heap usage analysis for functional programs

14 years 3 months ago

Download www.cs.sunysb.edu

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

claim paper

Read More »

click to vote

MOR
2008

94views more MOR 2008»

Parametric Integer Programming in Fixed Dimension

13 years 8 months ago

Download www2.math.uni-paderborn.de

We consider the following problem: Given a rational matrix A Qm

Friedrich Eisenbrand, Gennady Shmonin

claim paper

Read More »

click to vote

AUTOMATICA
2007

58views more AUTOMATICA 2007»

A parametric programming approach to moving-horizon state estimation

13 years 8 months ago

Download www.chee.uh.edu

Mark L. Darby, Michael Nikolaou

claim paper

Read More »

click to vote

COR
2007

71views more COR 2007»

Using lexicographic parametric programming for identifying efficient units in DEA

13 years 8 months ago

Download hsepubl.lib.hse.fi

Pekka J. Korhonen, Pyry-Antti Siitari

claim paper

Read More »

click to vote

PLDI
2005
ACM

115views Programming Languages» more PLDI 2005»

Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices

14 years 2 months ago

Download cseweb.ucsd.edu

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...

claim paper

Read More »

« Prev « First page 34 / 110 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers