Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
programs evaluations » programs evaluation, program evaluation, programs evaluating
https functionality » its functionality, bags functionality, cross functionality
functionality test » functionality testing, functionality boost, functional test
evaluations https » evaluation https, evaluation http, equations https
test https » net https, east https
programs evaluations » programs evaluation, program evaluation, programs evaluating
https functionality » its functionality, bags functionality, cross functionality
functionality test » functionality testing, functionality boost, functional test
evaluations https » evaluation https, evaluation http, equations https
test https » net https, east https
1
Publicat 2010
Taula de continguts:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Obtenir text complet
Electrònic
eBook
2
Publicat 2010
Taula de continguts:
“... in Program Verification -- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test...”Obtenir text complet
Electrònic
eBook
3
Publicat 2015
Taula de continguts:
“... of telecommunication protocol logs -- Experimental Evaluation of a Novel Equivalence Class Partition Testing Strategy...”Obtenir text complet
Electrònic
eBook
4
Publicat 2008
Taula de continguts:
“... to Combinatorial Testing with Constraints -- Functional Testing in the Focal Environment -- Bounded Relational...”Obtenir text complet
Electrònic
eBook
5
Publicat 2008
Taula de continguts:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Obtenir text complet
Electrònic
eBook
6
Publicat 2007
Taula de continguts:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Obtenir text complet
Electrònic
eBook
7
Publicat 2010
Taula de continguts:
“... Test Battery -- APPLICATIONS IN LARGE-SCALE TESTING PROGRAMS -- Adaptive Tests for Measuring Anxiety...”Obtenir text complet
Electrònic
eBook
8
Publicat 2012
Taula de continguts:
“... Trajectory Evaluation in THM&STE -- HAVEN: An Open Framework for FPGA-Accelerated Functional Verification...”Obtenir text complet
Electrònic
eBook
9
Publicat 2014
Taula de continguts:
“... -- Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints -- Lookahead-Based...”Obtenir text complet
Electrònic
eBook
10
Publicat 2005
Taula de continguts:
“... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...”Obtenir text complet
Electrònic
eBook
11
Publicat 2013
Taula de continguts:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”Obtenir text complet
Electrònic
eBook
12
Taula de continguts:
“... Measuring Multiple Abilities -- Models for Adaptive Test Assembly -- Designing Item Pools for Programs...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
13
Taula de continguts:
“...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
14
Publicat 2011
Taula de continguts:
“... Model for Test Equating (George Karabatsos and Stephen G. Walker) -- Generalized Equating Functions...”Obtenir text complet
Electrònic
eBook
15
Publicat 2010
Taula de continguts:
“... Width Formulas -- Proof Complexity of Propositional Default Logic -- Automated Testing and Debugging...”Obtenir text complet
Electrònic
eBook
16
Publicat 2006
Taula de continguts:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Obtenir text complet
Electrònic
eBook
17
Publicat 2008
Taula de continguts:
“... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...”Obtenir text complet
Electrònic
eBook
18
Publicat 2005
Taula de continguts:
“... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...”Obtenir text complet
Electrònic
eBook
19
Publicat 2005
Taula de continguts:
“...Testing Components Context-Independently -- Testing Polymorphic Behavior of Framework Components...”Obtenir text complet
Electrònic
eBook
20
Publicat 2008
Taula de continguts:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Obtenir text complet
Electrònic
eBook