Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
parallel problems » parallel problem, parallel programs, parallel process
problems programs » problems progress, problems problems, programs program
programs function » programs functional, programme function, programs fiction
function testing » function tests, function test, mutation testing
testing https » teaching https, being https, writing https
parallel problems » parallel problem, parallel programs, parallel process
problems programs » problems progress, problems problems, programs program
programs function » programs functional, programme function, programs fiction
function testing » function tests, function test, mutation testing
testing https » teaching https, being https, writing https
1
Publié 2010
Table des matières:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Accéder au texte intégral
Électronique
eBook
2
Table des matières:
“...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
3
Publié 2007
Table des matières:
“... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...”Accéder au texte intégral
Électronique
eBook
4
Publié 2010
Table des matières:
“... Search Algorithms with Local Search for the Traveling Salesman Problem -- Many-Objective Test Problems...”Accéder au texte intégral
Électronique
eBook
5
Publié 2010
Table des matières:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”Accéder au texte intégral
Électronique
eBook
6
Publié 2008
Table des matières:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Accéder au texte intégral
Électronique
eBook
7
Publié 2015
Table des matières:
“... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...”Accéder au texte intégral
Électronique
eBook
8
Publié 2013
Table des matières:
“...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...”Accéder au texte intégral
Électronique
eBook
9
Publié 2014
Table des matières:
“... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”Accéder au texte intégral
Électronique
eBook
10
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publié 2015
Table des matières:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Accéder au texte intégral
Électronique
eBook
11
Publié 2006
Table des matières:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Accéder au texte intégral
Électronique
eBook
12
Publié 2008
Table des matières:
“... Order Constraint Problem -- A Constraint Logic Programming Approach to Automated Testing -- Turing...”Accéder au texte intégral
Électronique
eBook
13
Publié 2005
Table des matières:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Accéder au texte intégral
Électronique
eBook
14
par Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Publié 2007
Table des matières:
“... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...”Publié 2007
Accéder au texte intégral
Électronique
eBook
15
Publié 2008
Table des matières:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Accéder au texte intégral
Électronique
eBook
16
Publié 2006
Table des matières:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”Accéder au texte intégral
Électronique
eBook
17
Publié 2014
Table des matières:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”Accéder au texte intégral
Électronique
eBook
18
Publié 2010
Table des matières:
“..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”Accéder au texte intégral
Électronique
eBook
19
Publié 2005
Table des matières:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Accéder au texte intégral
Électronique
eBook
20
Publié 2006
Table des matières:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”Accéder au texte intégral
Électronique
eBook