1
Veröffentlicht 2010
Inhaltsangabe: ... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2012
Inhaltsangabe: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2010
Inhaltsangabe: ... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2006
Inhaltsangabe: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Volltext
Elektronisch E-Book
5
von Freeman, Adam., Freeman, Adam.
Veröffentlicht 2010
Inhaltsangabe: ... Tasks -- Parallel Loops -- Parallel LINQ -- Testing and Debugging -- Common Parallel Algorithms....
Volltext
Elektronisch E-Book
6
Veröffentlicht 2008
Inhaltsangabe: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Volltext
Elektronisch E-Book
7
... properties, bending test, shear modulus, and compression parallel to grain were studied. The results revealed...
Volltext
Artikel
8
Veröffentlicht 2006
Inhaltsangabe: ... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2005
Inhaltsangabe: ... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...
Volltext
Elektronisch E-Book
10
Inhaltsangabe: ...Sets, Relations, Logic, Functions -- Algebraic Structures For Logic Design -- Functional...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2008
Inhaltsangabe: ... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2015
Inhaltsangabe: ...Mutation Testing Process Combined with Test-Driven Development in NET Environment -- Boltzmann...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2008
Inhaltsangabe: ... of Parallel Manipulators -- Exact Envelope Computation for Moving Surfaces with Quadratic Support Functions...
Volltext
Elektronisch E-Book
14
Inhaltsangabe: ... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...
Volltext
Elektronisch E-Book
15
von Kozen, Dexter C., Kozen, Dexter C.
Veröffentlicht 2006
Inhaltsangabe: ... -- The Polynomial-Time Hierarchy -- More on the Polynomial-Time Hierarchy -- Parallel Complexity -- Relation of NC...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2010
Inhaltsangabe: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2011
Inhaltsangabe: ... -- Optimal Test Time and Power for System-on-Chip Designs Using Game Theory -- An electrochemical approach...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2011
Inhaltsangabe: ....: Looking Beyond The Physical -- Domain-Centred Functionalities Discovering for Testing Systems...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2005
Inhaltsangabe: ... -- On Discriminative Joint Density Modeling -- Model-Based Online Learning of POMDPs -- Simple Test Strategies for Cost...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2007
Inhaltsangabe: ... of Ideal and Empirical ROC-Based Reject Rules -- Outlier Detection with Kernel Density Functions -- Generic...
Volltext
Elektronisch E-Book