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