Search Sciweavers | Sciweavers

2976 search results - page 72 / 596

» On the bounded integer programming

click to vote

FMCAD
2006
Springer

95views Formal Methods» more FMCAD 2006»

Finite Instantiations for Integer Difference Logic

14 years 2 months ago

Download vlsi.colorado.edu

The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on ional abstraction. A lazy satisfiability checker ...

Hyondeuk Kim, Fabio Somenzi

claim paper

Read More »

click to vote

PLDI
2000
ACM

156views Programming Languages» more PLDI 2000»

ABCD: eliminating array bounds checks on demand

14 years 3 months ago

Download www.eecs.umich.edu

Rastislav Bodík, Rajiv Gupta, Vivek Sarkar

claim paper

Read More »

click to vote

PLDI
2000
ACM

89views Programming Languages» more PLDI 2000»

Symbolic bounds analysis of pointers, array indices, and accessed memory regions

14 years 3 months ago

Download people.csail.mit.edu

Radu Rugina, Martin C. Rinard

claim paper

Read More »

click to vote

ICALP
1997
Springer

67views Programming Languages» more ICALP 1997»

Some Bounds on the Computational Power of Piecewise Constant Derivative Systems (Extended Abstract)

14 years 3 months ago

Download www.lix.polytechnique.fr

Olivier Bournez

claim paper

Read More »

click to vote

AAAI
1998

126views Intelligent Agents» more AAAI 1998»

An Integer Local Search Method with Application to Capacitated Production Planning

14 years 16 days ago

Download www.aaai.org

Production planning is an important task in manufacturing systems. We consider a real-world capacitated lot-sizing problem (CLSP) from the process industry. Because the problem re...

Joachim P. Walser, Ramesh Iyer, Narayan Venkatasub...

claim paper

Read More »

« Prev « First page 72 / 596 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers