Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
parallel composition » parallel computation, parallel computations, parallel computational
functionals function » function function, functions functional, function dysfunction
composition testing » compositional testing, composition detecting, composition using
testing functionals » testing functional, testing functions, lasting functional
function https » functions https, fiction https
parallel composition » parallel computation, parallel computations, parallel computational
functionals function » function function, functions functional, function dysfunction
composition testing » compositional testing, composition detecting, composition using
testing functionals » testing functional, testing functions, lasting functional
function https » functions https, fiction https
1
Pubblicazione 2010
Sommario:
“...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”Testo
Elettronico
eBook
2
Pubblicazione 2010
Sommario:
“...-Constrained Optimization -- Parallel Artificial Immune System in Optimization and Identification of Composite...”Testo
Elettronico
eBook
3
Sommario:
“...Introduction -- Composite materials uses -- The use of composite materials in the automobile...”
Testo
Testo
Elettronico
eBook
4
Pubblicazione 2008
Sommario:
“... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...”Testo
Elettronico
eBook
5
Pubblicazione 2013
Sommario:
“... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...”Testo
Elettronico
eBook
6
Pubblicazione 2015
Sommario:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Testo
Elettronico
eBook
7
Pubblicazione 2010
Sommario:
“... Composition Based on Low Cost Mechanism -- Research on Fuzzy Extension Synthesis Evaluation Method...”Testo
Elettronico
eBook
8
Pubblicazione 2008
Sommario:
“... and First-Order Logic -- Derandomizing Graph Tests for Homomorphism -- Definable Filters in the Structure...”Testo
Elettronico
eBook
9
Pubblicazione 2014
Sommario:
“... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”Testo
Elettronico
eBook
10
Pubblicazione 2007
Sommario:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”Testo
Elettronico
eBook
11
Pubblicazione 2006
Sommario:
“... of Assessment Tests -- Semantics -- Compositional Semantics for the Procedural Interpretation of Logic...”Testo
Elettronico
eBook
12
Pubblicazione 2008
Sommario:
“... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”Testo
Elettronico
eBook
13
Pubblicazione 2014
Sommario:
“... Approach to Analyzing Utility Functions -- Towards the Typing of Resource Deployment -- Static Inference...”Testo
Elettronico
eBook
14
Pubblicazione 2007
Sommario:
“...A Composite Finite Element-Finite Difference Model Applied to Turbulence Modelling -- Vortex...”Testo
Elettronico
eBook
15
Pubblicazione 2010
Sommario:
“... Deployment on the Grid -- A Parallel Tree Based Strategy for Test Data Generation and Cost Calculation...”Testo
Elettronico
eBook
16
Pubblicazione 2011
Sommario:
“....: Looking Beyond The Physical -- Domain-Centred Functionalities Discovering for Testing Systems...”Testo
Elettronico
eBook
17
Pubblicazione 2010
Sommario:
“...: Testing of a New Distribution Strategy -- Workshop on Biomathematics, Bioinformatics and Biostatistics...”Testo
Elettronico
eBook
18
Pubblicazione 2013
Sommario:
“... to the Design of Urban Public Spaces: Day Lighting in the Squares -- Some Results in Automatic Functional Test...”Testo
Elettronico
eBook
19
Pubblicazione 2007
Sommario:
“... Technologies -- Automatic Testing of Object-Oriented Software -- Architecture-Based Reasoning About...”Testo
Elettronico
eBook
20
Pubblicazione 2015
Sommario:
“... Segmentation Algorithm Based on Texture -- Optimal Test Selection of Complex Electronic System Based...”Testo
Elettronico
eBook
- 1
- 2
- Successivo »
- [2]