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