Sökresultat - integer java processing computational program https

Menade du:
processing computational » processing communications , using computational , processing international
computational program » computational problem , compositional program , computational problems
java processing » data processing , data processings , data processsing
program https » programs https , program has , program help
integer java » integer data , integer base , integer dea

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
Hämta fulltext

Elektronisk E-bok

Computer Security - ESORICS 2010 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings /

Publicerad 2010

Innehållsförteckning: “... -- IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time -- A Theory...”
Hämta fulltext

Elektronisk E-bok

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... Constraint Propagation -- Approximability of Integer Programming with Generalised Constraints -- When...”
Hämta fulltext

Elektronisk E-bok

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen