Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionalities function » functionaries function, functionals function, functionalities citation
based functionalities » basic functionalities, unused functionalities, new functionalities
parallel testing » parallel nesting, parallel meshing, parallel routing
function https » functions https, fiction https
testing based » testing case, test based
functionalities function » functionaries function, functionals function, functionalities citation
based functionalities » basic functionalities, unused functionalities, new functionalities
parallel testing » parallel nesting, parallel meshing, parallel routing
function https » functions https, fiction https
testing based » testing case, test based
1
Published 2003
Table of Contents:
“... -- Isolation of Polysomal RNA for Microarray Analysis -- Parallel Analysis of Gene Copy Number and Expression...”View full text
Electronic
eBook
2
Published 2012
Table of Contents:
“... -- Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell -- Challenges for a Trace-Based Just...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“...Graph Parser Combinators -- Testing Erlang Refactorings with QuickCheck -- Optimal Lambda Lifting...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“...-Oriented Heuristic Scheduling Algorithm for Grid Computing -- 3-Points Relationship Based Parallel...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Thread -- Parallel Programming on a Soft-Core Based Multi-core System -- Dynamic Resource Tuning...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Agents Streamlining Logistic Network Design -- Testing the Permutation Space Based Geometric Differential...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Expression Recognition Using Optical Flow and HMM -- An Approach for Anomaly Intrusion Detection Based...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Product Design Systems -- Automated Testing for Knowledge Based Systems -- Building Maintainable Knowledge...”View full text
Electronic
eBook
16
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... to Execute Software Test on Real-Time Safety-Critical Systems -- A Grey-Box Approach to the Functional...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... -- Definition and Correct Refinement of Operation Specifications -- Formal Test Generation from UML Models...”View full text
Electronic
eBook
20
Published 2012
Table of Contents:
“... -- Dimensional Synthesis of a Planar Parallel Manipulator for Pick-and-Place Operations Based on Rigid-Body...”View full text
Electronic
eBook