Sciweavers

3250 search results - page 29 / 650
» An Algorithm to Solve a Linear Program
Sort
View
CAV
2003
Springer
108views Hardware» more  CAV 2003»
14 years 1 months ago
Linear Invariant Generation Using Non-linear Constraint Solving
Abstract. We present a new method for the generation of linear invariants which reduces the problem to a non-linear constraint solving problem. Our method, based on Farkas’ Lemma...
Michael Colón, Sriram Sankaranarayanan, Hen...
PPOPP
2009
ACM
14 years 9 months ago
Solving dense linear systems on platforms with multiple hardware accelerators
In a previous paper we show how the FLAME methods and tools provide a solution to compute dense dense linear algebra operations on a multi-GPU platform with reasonable performance...
Enrique S. Quintana-Ortí, Francisco D. Igua...
INFORMS
2000
91views more  INFORMS 2000»
13 years 8 months ago
Progress in Linear Programming-Based Algorithms for Integer Programming: An Exposition
Ellis L. Johnson, George L. Nemhauser, Martin W. P...
RTA
1997
Springer
14 years 18 days ago
Solving Linear Diophantine Equations Using the Geometric Structure of the Solution Space
In the development of algorithms for finding the minimal solutions of systems of linear Diophantine equations, little use has been made (to our knowledge) of the results by Stanle...
Ana Paula Tomás, Miguel Filgueiras
NN
2000
Springer
128views Neural Networks» more  NN 2000»
13 years 8 months ago
A recurrent neural network for solving linear projection equations
Linear projection equations arise in many optimization problems and have important applications in science and engineering. In this paper, we present a recurrent neural network fo...
Youshen Xia, Jun Wang