Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
functionality function » functionals function, functionaries function, functional functions
program functionality » protein functionality, programs functional, supra functionality
parallel module » parallel modular, parallel model, parallel models
module program » modul program, module programme, modular program
function https » functions https, fiction https
functionality function » functionals function, functionaries function, functional functions
program functionality » protein functionality, programs functional, supra functionality
parallel module » parallel modular, parallel model, parallel models
module program » modul program, module programme, modular program
function https » functions https, fiction https
1
Publié 2010
Table des matières:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”Accéder au texte intégral
Électronique
eBook
2
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
3
Table des matières:
“... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
4
Table des matières:
“....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
5
Table des matières:
“... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
6
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Publié 2013
Table des matières:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”Accéder au texte intégral
Électronique
eBook
7
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
8
Sujets:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
9
Table des matières:
“...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
10
par Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Publié 2010
Table des matières:
“... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”Publié 2010
Accéder au texte intégral
Électronique
eBook
11
Publié 2015
Table des matières:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Accéder au texte intégral
Électronique
eBook
12
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
13
Publié 2015
Table des matières:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”Accéder au texte intégral
Électronique
eBook
14
Publié 2006
Table des matières:
“... Central Configurations in Newton 9-Body Problem -- Algorithmic Invariants for Alexander Modules -- Sudokus...”Accéder au texte intégral
Électronique
eBook
15
Publié 2005
Table des matières:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Accéder au texte intégral
Électronique
eBook
16
Publié 2008
Table des matières:
“... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”Accéder au texte intégral
Électronique
eBook
17
Publié 2010
Table des matières:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”Accéder au texte intégral
Électronique
eBook
18
Publié 2007
Table des matières:
“... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”Accéder au texte intégral
Électronique
eBook
19
Publié 2014
Table des matières:
“... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”Accéder au texte intégral
Électronique
eBook
20
Publié 2014
Table des matières:
“... in pGCL with Isabelle -- A Coq Formalization of Finitely Presented Modules -- Formalized, Effective Domain...”Accéder au texte intégral
Électronique
eBook