Pynciau a Argymhellir O fewn eich chwiliad
Pynciau a Argymhellir O fewn eich chwiliad
Chwilio eraill:
programs computational » program computational, problems computational, programming computational
computational programs » computational program, computational problems, combinational programs
java programs » java programming
integer java » integer data, integer base, integer dea
https » http
programs computational » program computational, problems computational, programming computational
computational programs » computational program, computational problems, combinational programs
java programs » java programming
integer java » integer data, integer base, integer dea
https » http
1
2
Cyhoeddwyd 2012
Tabl Cynhwysion:
“... Programming -- Concurrent Test Generation Using Concolic Multi-trace Analysis -- Java Bytecode Instrumentation...”Cael y testun llawn
Electronig
eLyfr
3
Tabl Cynhwysion:
“... Self-Dual Method -- Integer Programming -- Quadratic Programming -- Convex Programming....”
Cael y testun llawn
Cael y testun llawn
Electronig
eLyfr
4
Tabl Cynhwysion:
“... -- Extensions -- Integer Programming -- Quadratic Programming -- Convex Programming....”
Cael y testun llawn
Cael y testun llawn
Electronig
eLyfr
5
Cyhoeddwyd 2014
Tabl Cynhwysion:
“...-Programs with Existential Quantification -- Introducing Real Variables and Integer Objective Functions...”Cael y testun llawn
Electronig
eLyfr
6
Tabl Cynhwysion:
“...-To Analysis -- Numeric Domains -- Taming Casting and Wrapping -- A Language Featuring Finite Integer...”
Cael y testun llawn
Cael y testun llawn
Electronig
eLyfr
7
Cyhoeddwyd 2006
Tabl Cynhwysion:
“... Constraint Propagation -- Approximability of Integer Programming with Generalised Constraints -- When...”Cael y testun llawn
Electronig
eLyfr
8
Cyhoeddwyd 2007
Tabl Cynhwysion:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”Cael y testun llawn
Electronig
eLyfr
9
Cyhoeddwyd 2010
Tabl Cynhwysion:
“... -- IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time -- A Theory...”Cael y testun llawn
Electronig
eLyfr
10
Cyhoeddwyd 2007
Tabl Cynhwysion:
“... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”Cael y testun llawn
Electronig
eLyfr
11
12
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... -- Program Analysis and Programming Languages for Security -- An Improved Tight Closure Algorithm for Integer...”Cael y testun llawn
Electronig
eLyfr
13
Cyhoeddwyd 2007
Tabl Cynhwysion:
“... the KeY System -- Using KeY -- Proving by Induction -- Java Integers -- Proof Reuse -- IV: Case Studies...”Cael y testun llawn
Electronig
eLyfr
14
Tabl Cynhwysion:
“...Appetizer: Integer Arithmetics -- Representing Sequences by Arrays and Linked Lists -- Hash Tables...”
Cael y testun llawn
Cael y testun llawn
Electronig
eLyfr
15
Cyhoeddwyd 2007
Tabl Cynhwysion:
“... Integer Linear Programming Formulation -- Extended Linear Scan: An Alternate Foundation for Global...”Cael y testun llawn
Electronig
eLyfr