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