الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
functionality function » functionals function, functionaries function, functional functions
testing functionality » testing functional, missing functionality, testbench functionality
parallel procedures » parallel processes, parallel processors, parallel process
procedures testing » procedures using, procedures nursing
function https » functions https, fiction https
functionality function » functionals function, functionaries function, functional functions
testing functionality » testing functional, missing functionality, testbench functionality
parallel procedures » parallel processes, parallel processors, parallel process
procedures testing » procedures using, procedures nursing
function https » functions https, fiction https
1
منشور في 2008
جدول المحتويات:
“...Graph Parser Combinators -- Testing Erlang Refactorings with QuickCheck -- Optimal Lambda Lifting...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
“... on some Weierstrass-like parallel iterative methods such that the procedures are less dependent...”
مقال
3
“... on some Weierstrass-like parallel iterative methods such that the procedures are less dependent...”
مقال
4
منشور في 2011
جدول المحتويات:
“... parallel simulation with look up tables applied to the brushless DC motor optimization -- Fast algorithms...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2015
جدول المحتويات:
“... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2015
جدول المحتويات:
“... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2008
جدول المحتويات:
“... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2008
جدول المحتويات:
“... Procedures -- Testing Effects in ANOVA Experiments: Direct Combination of All Pair-Wise Comparisons Using...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2006
جدول المحتويات:
“... of Assessment Tests -- Semantics -- Compositional Semantics for the Procedural Interpretation of Logic...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2014
جدول المحتويات:
“...) -- A Technique for Risk-Based Test Procedure Identification, Prioritization and Selection -- A Risk...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2014
جدول المحتويات:
“... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2005
جدول المحتويات:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2007
جدول المحتويات:
“...-objective and SQP Based Procedure for Constrained Optimization -- Study on Application of Multi-Objective...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2005
جدول المحتويات:
“... Minimization -- On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2008
جدول المحتويات:
“...Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2005
جدول المحتويات:
“...-optimizer: A Procedure for Single and Multi-objective Optimization -- An EMO Algorithm Using the Hypervolume...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
جدول المحتويات:
“... function and plastic potential for isotropic materials -- General explicit definition of the isotropic...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني