Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
programs function » programs functional, programme function, programs fiction
function section » function detection, function relation, function solution
array programs » array problems, day programs, pay programs
section https » sedation https, fiction https, infection https
programs function » programs functional, programme function, programs fiction
function section » function detection, function relation, function solution
array programs » array problems, day programs, pay programs
section https » sedation https, fiction https, infection https
1
Publicat 2013
Taula de continguts:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Obtenir text complet
Electrònic
eBook
2
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicat 2014
Taula de continguts:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Obtenir text complet
Electrònic
eBook
3
Publicat 2013
Taula de continguts:
“...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”Obtenir text complet
Electrònic
eBook
4
Publicat 2015
Taula de continguts:
“... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”Obtenir text complet
Electrònic
eBook
5
Publicat 2010
Taula de continguts:
“... -- Compact Rich-Functional Binary Relation Representations -- Radix Cross-Sections for Length Morphisms...”Obtenir text complet
Electrònic
eBook
6
Publicat 2012
Taula de continguts:
“... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”Obtenir text complet
Electrònic
eBook
7
Publicat 2008
Taula de continguts:
“... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...”Obtenir text complet
Electrònic
eBook
8
Publicat 2008
Taula de continguts:
“... -- to Programming Multicores -- Design Issues in Parallel Array Languages for Shared Memory -- An Architecture...”Obtenir text complet
Electrònic
eBook
9
Publicat 2013
Taula de continguts:
“... urban space: A case study of cozy space design pattern -- Quantum-Membership-Function-Based Adaptive...”Obtenir text complet
Electrònic
eBook