בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
functional function » functionals function, functional functions, function function
testing functional » using functional, testing national, emerging functional
parallel solution » parallel evolution, parallel simulation, parallel execution
solution testing » pollution testing, solution casting, solution meeting
function https » functions https, fiction https
functional function » functionals function, functional functions, function function
testing functional » using functional, testing national, emerging functional
parallel solution » parallel evolution, parallel simulation, parallel execution
solution testing » pollution testing, solution casting, solution meeting
function https » functions https, fiction https
1
תוכן הענינים:
“...Introduction -- Use Cases -- The Basic Applications -- Testing and Specification of PUFs -- Error...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2010
תוכן הענינים:
“... for the Parallel Solution of Symmetric Tridiagonal Eigenvalue Problems -- A Parallel Solution of Large-Scale Heat...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
תוכן הענינים:
“... Tasks -- Parallel Loops -- Parallel LINQ -- Testing and Debugging -- Common Parallel Algorithms....”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2013
תוכן הענינים:
“... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2006
תוכן הענינים:
“... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
תוכן הענינים:
“... -- The Polynomial-Time Hierarchy -- More on the Polynomial-Time Hierarchy -- Parallel Complexity -- Relation of NC...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2011
תוכן הענינים:
“... parallel simulation with look up tables applied to the brushless DC motor optimization -- Fast algorithms...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2006
תוכן הענינים:
“... for Construction of Quasi-periodic Solutions for Restricted Circular Planar Three Body Problem -- Efficient...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
תוכן הענינים:
“... Functions -- Parallel Select -- Workload Management and Scheduling -- Parallel Join -- Parallel Aggregation...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2008
תוכן הענינים:
“... of Parallel Manipulators -- Exact Envelope Computation for Moving Surfaces with Quadratic Support Functions...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2005
תוכן הענינים:
“... Heat Transfer in Parallel Computer Architectures -- SkvG: Cache-Optimal Parallel Solution of PDEs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2010
תוכן הענינים:
“... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2008
תוכן הענינים:
“... of Sparse LU Factorization and Triangular Solution on Multicore Platforms -- A Parallel Matrix Scaling...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2010
תוכן הענינים:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2008
תוכן הענינים:
“... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2014
תוכן הענינים:
“... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2005
תוכן הענינים:
“... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2007
תוכן הענינים:
“... Algorithm for Dynamic Multi-Objective TSP -- The Construction of Dynamic Multi-objective Optimization Test...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2011
תוכן הענינים:
“....: Looking Beyond The Physical -- Domain-Centred Functionalities Discovering for Testing Systems...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2005
תוכן הענינים:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני