Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
programs compiling » programs combining, programs compiler, programs containing
compiling program » combining programs, comparing programs, compiled program
java programs » java programming
program https » programs https, program has, program help
integer java » integer data, integer base, integer dea
programs compiling » programs combining, programs compiler, programs containing
compiling program » combining programs, comparing programs, compiled program
java programs » java programming
program https » programs https, program has, program help
integer java » integer data, integer base, integer dea
1
Vydáno 2007
Obsah:
“... Integer Linear Programming Formulation -- Extended Linear Scan: An Alternate Foundation for Global...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2012
Obsah:
“... Programming -- Concurrent Test Generation Using Concolic Multi-trace Analysis -- Java Bytecode Instrumentation...”Získat plný text
Elektronický zdroj
E-kniha
3
Obsah:
“...-To Analysis -- Numeric Domains -- Taming Casting and Wrapping -- A Language Featuring Finite Integer...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2006
Obsah:
“... Constraint Propagation -- Approximability of Integer Programming with Generalised Constraints -- When...”Získat plný text
Elektronický zdroj
E-kniha
5
Témata:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2008
Obsah:
“... -- Program Analysis and Programming Languages for Security -- An Improved Tight Closure Algorithm for Integer...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2007
Obsah:
“... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2007
Obsah:
“... the KeY System -- Using KeY -- Proving by Induction -- Java Integers -- Proof Reuse -- IV: Case Studies...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2010
Obsah:
“... -- IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time -- A Theory...”Získat plný text
Elektronický zdroj
E-kniha