Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
verification processing » verification proceedings, verification process, verification processes
parallel verification » parallel identification, partial verification, parallel classification
processing function » processing functions, processing functional, processing fiction
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
verification processing » verification proceedings, verification process, verification processes
parallel verification » parallel identification, partial verification, parallel classification
processing function » processing functions, processing functional, processing fiction
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
1
Taula de continguts:
“...-Processing -- Parallelization of PUF Cells -- Pre-Selection -- PUF Biasing -- Two Stage PUF -- PUF...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
2
Publicat 2010
Taula de continguts:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Obtenir text complet
Electrònic
eBook
3
Taula de continguts:
“... Metric-Driven Processes -- Roles in a Verification Project -- Overview of a Verification Project...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
4
Publicat 2013
Taula de continguts:
“... Verification Using Network Flow Model -- Performance Evaluation of Process Partitioning Using Probabilistic...”Obtenir text complet
Electrònic
eBook
5
Publicat 2008
Taula de continguts:
“...Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust...”Obtenir text complet
Electrònic
eBook
6
Publicat 2005
Taula de continguts:
“... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...”Obtenir text complet
Electrònic
eBook
7
Publicat 2008
Taula de continguts:
“...Invited Talks -- Architecture Based Specification and Verification of Embedded Software Systems...”Obtenir text complet
Electrònic
eBook
8
Publicat 2014
Taula de continguts:
“... Specification and Verification of Parallel Systems -- Property-Specific Benchmark Generation -- Steering Active...”Obtenir text complet
Electrònic
eBook
9
Publicat 2012
Taula de continguts:
“... Network Traffic Classification Benchmark System with Traffic Sampling Functionality -- Harmony Search...”Obtenir text complet
Electrònic
eBook
10
Publicat 2007
Taula de continguts:
“... -- Multiple Error Detection in Substitution Blocks for Block Ciphers -- Parallelization Method of Encryption...”Obtenir text complet
Electrònic
eBook
11
Publicat 2010
Taula de continguts:
“... Functions and the Classification of Transformerless Series-Parallel Networks -- Ports and Terminals...”Obtenir text complet
Electrònic
eBook
12
Publicat 2006
Taula de continguts:
“... Translational Equivalence from a Japanese-Chinese Parallel Corpus -- Deep Processing of Korean Floating...”Obtenir text complet
Electrònic
eBook
13
Publicat 2015
Taula de continguts:
“... for Alphanumerical Character Verification in video Frames -- 11. Modified-AODV Routing Protocol for Multi-Hop...”Obtenir text complet
Electrònic
eBook
14
Publicat 2014
Taula de continguts:
“... and Measurement Based on Morphological Functions in Graphical Vision Assistant Tool -- Efficient Algorithm...”Obtenir text complet
Electrònic
eBook
15
Publicat 2007
Taula de continguts:
“... ? Functor to IMTL Algebras: The Linearly Ordered Case -- Verification by Parallelization of Parametric Code...”Obtenir text complet
Electrònic
eBook
16
Publicat 2007
Taula de continguts:
“... of Experts for View-Independent Face Recognition -- Fusion of Support Vector Classifiers for Parallel Gabor...”Obtenir text complet
Electrònic
eBook
17
Publicat 2015
Taula de continguts:
“... cost asset in complementing Public Health Workers work processes -- Energy Efficiency Study...”Obtenir text complet
Electrònic
eBook
18
Publicat 2013
Taula de continguts:
“... Loci and Envelopes -- ML4PG in Computer Algebra Verification -- Pervasive Parallelism in Highly...”Obtenir text complet
Electrònic
eBook
19
Publicat 2005
Taula de continguts:
“... -- Automatic Completion and Refinement of Verification Sets for Microprocessor Cores -- A Genetic Algorithm...”Obtenir text complet
Electrònic
eBook
20
Publicat 2012
Taula de continguts:
“... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...”Obtenir text complet
Electrònic
eBook