Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
function function » function functional, functions functional, function dysfunction
based function » based functional, basis function, basic function
function https » functions https, fiction https
parallel test » parallel text, parallel texts, parallel task
test based » trust based, cost based, test bed
function function » function functional, functions functional, function dysfunction
based function » based functional, basis function, basic function
function https » functions https, fiction https
parallel test » parallel text, parallel texts, parallel task
test based » trust based, cost based, test bed
1
Foilsithe 2003
Clár Ábhair:
“... -- Isolation of Polysomal RNA for Microarray Analysis -- Parallel Analysis of Gene Copy Number and Expression...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
2
Foilsithe 2012
Clár Ábhair:
“... -- Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell -- Challenges for a Trace-Based Just...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
3
Foilsithe 2007
Clár Ábhair:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
4
Foilsithe 2008
Clár Ábhair:
“...Graph Parser Combinators -- Testing Erlang Refactorings with QuickCheck -- Optimal Lambda Lifting...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
5
Foilsithe 2007
Clár Ábhair:
“...-Oriented Heuristic Scheduling Algorithm for Grid Computing -- 3-Points Relationship Based Parallel...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
6
Foilsithe 2010
Clár Ábhair:
“... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
7
Foilsithe 2010
Clár Ábhair:
“... Thread -- Parallel Programming on a Soft-Core Based Multi-core System -- Dynamic Resource Tuning...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
8
Foilsithe 2006
Clár Ábhair:
“... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
9
Foilsithe 2013
Clár Ábhair:
“... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
10
Foilsithe 2010
Clár Ábhair:
“... Agents Streamlining Logistic Network Design -- Testing the Permutation Space Based Geometric Differential...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
11
Foilsithe 2008
Clár Ábhair:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
12
Foilsithe 2008
Clár Ábhair:
“... Expression Recognition Using Optical Flow and HMM -- An Approach for Anomaly Intrusion Detection Based...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
13
Foilsithe 2013
Clár Ábhair:
“... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
14
Foilsithe 2008
Clár Ábhair:
“... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
15
Foilsithe 2007
Clár Ábhair:
“... Product Design Systems -- Automated Testing for Knowledge Based Systems -- Building Maintainable Knowledge...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
16
Ábhair:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
17
Foilsithe 2006
Clár Ábhair:
“... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
18
Foilsithe 2005
Clár Ábhair:
“... to Execute Software Test on Real-Time Safety-Critical Systems -- A Grey-Box Approach to the Functional...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
19
Foilsithe 2006
Clár Ábhair:
“... -- Definition and Correct Refinement of Operation Specifications -- Formal Test Generation from UML Models...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar
20
Foilsithe 2012
Clár Ábhair:
“... -- Dimensional Synthesis of a Planar Parallel Manipulator for Pick-and-Place Operations Based on Rigid-Body...”Faigh an téacs iomlán
Leictreonach
ríomhLeabhar