1
Table of Contents: ... Self-Dual Method -- Integer Programming -- Quadratic Programming -- Convex Programming....
View full text
Electronic eBook
2
Table of Contents: ... -- Extensions -- Integer Programming -- Quadratic Programming -- Convex Programming....
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... Integer Linear Programming Formulation -- Extended Linear Scan: An Alternate Foundation for Global...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...
View full text
Electronic eBook
5
by Lopez, Cesar., Lopez, Cesar.
Published 2014
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
View full text
Electronic eBook