Search Results - integer java programming multi java https

Search alternatives:
programming multi » programming model
java programming » c programming
integer java » integer data , integer base , integer dea
multi java » multi jvm
https » http

Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings /

Published 2012

Table of Contents: “... Programming -- Concurrent Test Generation Using Concolic Multi-trace Analysis -- Java Bytecode Instrumentation...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... Constraint Propagation -- Approximability of Integer Programming with Generalised Constraints -- When...”
View full text

Electronic eBook

Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Program Analysis and Programming Languages for Security -- An Improved Tight Closure Algorithm for Integer...”
View full text

Electronic eBook

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March...

Published 2007

Table of Contents: “... Integer Linear Programming Formulation -- Extended Linear Scan: An Alternate Foundation for Global...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... -- IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time -- A Theory...”
View full text

Electronic eBook

Narrow Search