Search Sciweavers | Sciweavers

4716 search results - page 12 / 944

» Iterative-free program analysis

click to vote

ICDAR
2007
IEEE

111views Document Analysis» more ICDAR 2007»

Decompose Document Image Using Integer Linear Programming

14 years 4 months ago

Download www2.parc.com

D. Gao, Y. Wang, H. Hindi, M. Do

claim paper

Read More »

click to vote

SIGADA
1998
Springer

67views Programming Languages» more SIGADA 1998»

Dependency Analysis of Ada Programs

14 years 1 months ago

Download www.sigada.org

Janusz W. Laski, William Stanley, Jim Hurst

claim paper

Read More »

click to vote

CAV
2008
Springer

108views Hardware» more CAV 2008»

Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis

13 years 11 months ago

Download pages.cs.wisc.edu

This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...

Akash Lal, Thomas W. Reps

claim paper

Read More »

click to vote

POPL
2005
ACM

108views Programming Languages» more POPL 2005»

A framework for numeric analysis of array operations

14 years 10 months ago

Download www.cs.tau.ac.il

Denis Gopan, Thomas W. Reps, Shmuel Sagiv

claim paper

Read More »

click to vote

POPL
2004
ACM

84views Programming Languages» more POPL 2004»

Precise interprocedural analysis through linear algebra

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers