Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
programs functional » programming functional, proteins functional, processes functional
functional function » functionals function, functional functions, function function
parallel module » parallel modular, parallel model, parallel models
module programs » modular programs, module programme, model programs
function https » functions https, fiction https
programs functional » programming functional, proteins functional, processes functional
functional function » functionals function, functional functions, function function
parallel module » parallel modular, parallel model, parallel models
module programs » modular programs, module programme, model programs
function https » functions https, fiction https
1
Julkaistu 2010
Sisällysluettelo:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2006
Sisällysluettelo:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Hae kokoteksti
Elektroninen
E-kirja
3
Sisällysluettelo:
“....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
4
Sisällysluettelo:
“... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
5
Sisällysluettelo:
“... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2005
Sisällysluettelo:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Hae kokoteksti
Elektroninen
E-kirja
7
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Julkaistu 2013
Sisällysluettelo:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”Hae kokoteksti
Elektroninen
E-kirja
8
Aiheet:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
9
Sisällysluettelo:
“...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
10
Tekijä Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Julkaistu 2010
Sisällysluettelo:
“... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”Julkaistu 2010
Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2015
Sisällysluettelo:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2008
Sisällysluettelo:
“... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2015
Sisällysluettelo:
“... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2006
Sisällysluettelo:
“... Central Configurations in Newton 9-Body Problem -- Algorithmic Invariants for Alexander Modules -- Sudokus...”Hae kokoteksti
Elektroninen
E-kirja
15
Julkaistu 2005
Sisällysluettelo:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2008
Sisällysluettelo:
“... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”Hae kokoteksti
Elektroninen
E-kirja
17
Julkaistu 2010
Sisällysluettelo:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2014
Sisällysluettelo:
“... in pGCL with Isabelle -- A Coq Formalization of Finitely Presented Modules -- Formalized, Effective Domain...”Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2012
Sisällysluettelo:
“... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2007
Sisällysluettelo:
“... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...”Hae kokoteksti
Elektroninen
E-kirja
- 1
- 2
- Seuraava »
- [2]