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