Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
programs functionals » programs functional, programming functionals, program functionality
functionals function » function function, functions functional, function dysfunction
parallel detection » parallel deduction, parallel selection, parallel execution
detection programs » detection program, deletion programs, selection programs
function https » functions https, fiction https
programs functionals » programs functional, programming functionals, program functionality
functionals function » function function, functions functional, function dysfunction
parallel detection » parallel deduction, parallel selection, parallel execution
detection programs » detection program, deletion programs, selection programs
function https » functions https, fiction https
1
Publié 2010
Table des matières:
“... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...”Accéder au texte intégral
Électronique
eBook
2
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
3
Publié 2010
Table des matières:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”Accéder au texte intégral
Électronique
eBook
4
Publié 2010
Table des matières:
“... Encoding on GPGPUs -- Towards Metaprogramming for Parallel Systems on a Chip -- Dynamic Detection...”Accéder au texte intégral
Électronique
eBook
5
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
6
Publié 2005
Table des matières:
“... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...”Accéder au texte intégral
Électronique
eBook
7
Publié 2008
Table des matières:
“... -- Regular Papers -- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming -- A...”Accéder au texte intégral
Électronique
eBook
8
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
9
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
10
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publié 2015
Table des matières:
“... for Type-Unsafe Operations Detection -- Running Probabilistic Programs Backwards -- A Verified Compiler...”Accéder au texte intégral
Électronique
eBook
11
Publié 2013
Table des matières:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Accéder au texte intégral
Électronique
eBook
12
Publié 2005
Table des matières:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Accéder au texte intégral
Électronique
eBook
13
Publié 2010
Table des matières:
“... Quality Assurance -- Similar Code Detection and Elimination for Erlang Programs -- Static Detection...”Accéder au texte intégral
Électronique
eBook
14
Publié 2007
Table des matières:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”Accéder au texte intégral
Électronique
eBook
15
Publié 2006
Table des matières:
“... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”Accéder au texte intégral
Électronique
eBook
16
Publié 2010
Table des matières:
“... of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using...”Accéder au texte intégral
Électronique
eBook
17
Publié 2008
Table des matières:
“... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”Accéder au texte intégral
Électronique
eBook
18
Table des matières:
“... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
19
Publié 2010
Table des matières:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Accéder au texte intégral
Électronique
eBook
20
Publié 2008
Table des matières:
“... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”Accéder au texte intégral
Électronique
eBook