Suggested Topics within your search.
Search alternatives:
java processing » data processing, data processings, data processsing
program https » programs https, program has, program help
integer java » integer data, integer base, integer dea
1
Cover Image
Published 2007
Table of Contents: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
View full text
Electronic eBook
Save to List
Saved in:
2
Cover Image
Published 2010
Table of Contents: “... -- IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time -- A Theory...”
View full text
Electronic eBook
Save to List
Saved in:
3
Cover Image
Published 2006
Table of Contents: “... Constraint Propagation -- Approximability of Integer Programming with Generalised Constraints -- When...”
View full text
Electronic eBook
Save to List
Saved in:
4
Cover Image
Published 2007
Table of Contents: “... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”
View full text
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search