Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
execution testing » execution creating, execution using, execution test
function function » function functional, functions functional, function dysfunction
testing function » testing functions, testing functional, testis function
function https » functions https, fiction https
execution testing » execution creating, execution using, execution test
function function » function functional, functions functional, function dysfunction
testing function » testing functions, testing functional, testis function
function https » functions https, fiction https
1
Published 2007
Table of Contents:
“... and Recovery -- Testing Properties of Generic Functions -- Worst-Case Execution Times for a Purely Functional...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... System for Parallel Execution of Fragmented Subroutines -- Application of Simulation Approaches...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... Analysis for Extended Testing of Parallel Executions -- Continuous Integration for Web-Based Software...”View full text
Electronic
eBook
5
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
6
Table of Contents:
“...Analyzing And Driving Verification: An Executive's Guide -- The Verification Crisis -- Automated...”
View full text
View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“....- Models for Estimating the Execution Time of Software Loops in Parallel and Distributed Systems...”View full text
Electronic
eBook
8
Published 2015
Table of Contents:
“... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Light-Weight Parallelism in ArTCoP -- Towards a High-Level Implementation of Execution Primitives...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... -- An Improved Branch-and-Bound Algorithm for the Test Cover Problem -- Degree-Based Treewidth Lower Bounds...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”View full text
Electronic
eBook
17
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
18
Published 2005
Table of Contents:
“... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Parallel Execution in Grid Environment -- Toward Dynamic Adoption for a User’s Situation Information in a...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”View full text
Electronic
eBook