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