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