Sciweavers

1707 search results - page 42 / 342
» Early Integer Programming
Sort
View
ISCA
1995
IEEE
120views Hardware» more  ISCA 1995»
15 years 1 months ago
Streamlining Data Cache Access with Fast Address Calculation
For many programs, especially integer codes, untolerated load instruction latencies account for a significant portion of total execution time. In this paper, we present the desig...
Todd M. Austin, Dionisios N. Pnevmatikatos, Gurind...
ECOOP
2004
Springer
15 years 1 months ago
Early Identification of Incompatibilities in Multi-component Upgrades
Previous work proposed a technique for predicting problems resulting from replacing one version of a software component by another. The technique reports, before performing the rep...
Stephen McCamant, Michael D. Ernst
EOR
2011
106views more  EOR 2011»
14 years 1 months ago
Probability of unique integer solution to a system of linear equations
We consider a system of m linear equations in n variables Ax = d and give necessary and sufficient conditions for the existence of a unique solution to the system that is integer:...
O. L. Mangasarian, Benjamin Recht
IJON
2008
95views more  IJON 2008»
14 years 9 months ago
A support vector machine with integer parameters
We describe here a method for building a support vector machine (SVM) with integer parameters. Our method is based on a branchand-bound procedure, derived from modern mixed intege...
Davide Anguita, Alessandro Ghio, Stefano Pischiutt...
CADE
2011
Springer
13 years 9 months ago
Cutting to the Chase Solving Linear Integer Arithmetic
Abstract. We describe a new algorithm for solving linear integer programming problems. The algorithm performs a DPLL style search for a feasible assignment, while using a novel cut...
Dejan Jovanovic, Leonardo Mendonça de Moura