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