Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
parallel computers » parallel computing
computers programs » computer programs, computer program, computer programes
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 computers » parallel computing
computers programs » computer programs, computer program, computer programes
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é 2007
Table des matières:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Accéder au texte intégral
Électronique
eBook
2
Publié 2006
Table des matières:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Accéder au texte intégral
Électronique
eBook
3
Publié 2011
Sujets:
“...Programming languages (Electronic computers)....”Accéder au texte intégral
Électronique
eBook
4
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
5
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
6
Publié 2007
Table des matières:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”Accéder au texte intégral
Électronique
eBook
7
Publié 2008
Table des matières:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Accéder au texte intégral
Électronique
eBook
8
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
9
Publié 2012
Table des matières:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Accéder au texte intégral
Électronique
eBook
10
Publié 2010
Table des matières:
“...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”Accéder au texte intégral
Électronique
eBook
11
Publié 2013
Table des matières:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”Accéder au texte intégral
Électronique
eBook
12
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
13
Publié 2008
Table des matières:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Accéder au texte intégral
Électronique
eBook
14
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
15
Publié 2010
Table des matières:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”Accéder au texte intégral
Électronique
eBook
16
Publié 2010
Table des matières:
“... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”Accéder au texte intégral
Électronique
eBook
17
Publié 2006
Table des matières:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”Accéder au texte intégral
Électronique
eBook
18
Publié 2014
Table des matières:
“... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”Accéder au texte intégral
Électronique
eBook
19
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
20
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