Search Sciweavers | Sciweavers

1452 search results - page 9 / 291

» Algorithmic Analysis of Array-Accessing Programs

click to vote

ERSHOV
2009
Springer

189views Theoretical Computer Science» more ERSHOV 2009»

Anti-unification Algorithms and Their Applications in Program Analysis

13 years 11 months ago

Download lvk.cs.msu.su

A term t is called a template of terms t1 and t2 iff t1 = t1 and t2 = t2, for some substitutions 1 and 2. A template t of t1 and t2 is called the most specific iff for any template...

Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Z...

claim paper

Read More »

click to vote

POS
1998
Springer

97views Programming Languages» more POS 1998»

Swizzle Barrier Optimizations for Orthogonal Persistence in Java

13 years 11 months ago

Download www.cs.cornell.edu

Swizzling refers to the translation of object references from an external, persistent format to an internal, transient format used during application execution. Eager swizzling sc...

Kumar Brahnmath, Nathaniel Nystrom, Antony L. Hosk...

claim paper

Read More »

click to vote

IWPEC
2009
Springer

103views Applied Computing» more IWPEC 2009»

Fixed-Parameter Algorithms in Analysis of Heuristics for Extracting Networks in Linear Programs

14 years 2 months ago

Download faculty.cs.tamu.edu

Gregory Gutin, Daniel Karapetyan, Igor Razgon

claim paper

Read More »