Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
verification programme » verification program, verification programming, eradication programme
parallel verification » parallel identification, partial verification, parallel classification
programme function » programming function, programme action, programs functional
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
verification programme » verification program, verification programming, eradication programme
parallel verification » parallel identification, partial verification, parallel classification
programme function » programming function, programme action, programs functional
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
1
Published 2013
Table of Contents:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... for Parallel Embedded Systems -- Remarks on Parallel Bit-Byte CPU Structures of the Programmable Logic...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
5
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
6
Published 2006
Table of Contents:
“...The Need for Standards -- Programmable Platform Characterization for System Level Performance...”View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”View full text
Electronic
eBook
9
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
10
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
11
Published 2015
Table of Contents:
“... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Creation and Verification Systems -- Neural Network as a Programmable Block Cipher -- On Intermediate...”View full text
Electronic
eBook