by
Krishnamurthi, Shriram. editor.
Format:
Electronic Resources
Excerpt:
-- Register Allocation and Optimal Spill Code Scheduling in Software Pipelined Loops Using 0-1 Integer Linear
by
Garrigue, Jacques. editor.
Format:
Electronic Resources
Excerpt:
-- Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base -- Pure, Declarative, and
View Other Search Results
by
Blesa, Maria J. editor.
Format:
Electronic Resources
Excerpt:
be integrated with integer linear programming and other operational research techniques for tackling
by
Amadio, Roberto. editor.
Format:
Electronic Resources
Excerpt:
Information-Hiding -- Products of Message Sequence Charts -- What Else Is Decidable about Integer Arrays? -- Model
by
Mäkinen, Veli. editor.
Format:
Electronic Resources
Excerpt:
integer feasibility in UTVPI constraints -- Limits of Greedy Approximation Algorithms for the Maximum
by
Nielson, Hanne Riis. editor.
Format:
Electronic Resources
Excerpt:
Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations of
by
Benhamou, Frédéric. editor.
Format:
Electronic Resources
Excerpt:
Constraint Propagation -- Approximability of Integer Programming with Generalised Constraints -- When
by
Bodik, Rastislav. editor.
Format:
Electronic Resources
Excerpt:
Languages with Modest Programming Effort -- Compilation of Generic Regular Path Expressions Using C++ Class
by
Bacchus, Fahiem. editor.
Format:
Electronic Resources
Excerpt:
Lower Bounds for Random 3-SAT Phase Transition Density Using Linear Programming -- Simulating Cutting
Limit Search Results
Narrowed by: