1
Udgivet 2010
Indholdsfortegnelse: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Få fuldtekst
Electronisk eBog
2
Udgivet 2006
Indholdsfortegnelse: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Få fuldtekst
Electronisk eBog
3
Indholdsfortegnelse: ....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...
Få fuldtekst
Electronisk eBog
4
Indholdsfortegnelse: ... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...
Få fuldtekst
Electronisk eBog
5
Indholdsfortegnelse: ... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....
Få fuldtekst
Electronisk eBog
6
Udgivet 2013
Indholdsfortegnelse: ... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...
Få fuldtekst
Electronisk eBog
7
Udgivet 2005
Indholdsfortegnelse: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Få fuldtekst
Electronisk eBog
8
Fag: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
Få fuldtekst
Electronisk eBog
9
Indholdsfortegnelse: ...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...
Få fuldtekst
Electronisk eBog
10
Udgivet 2008
Indholdsfortegnelse: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
Få fuldtekst
Electronisk eBog
11
Udgivet 2015
Indholdsfortegnelse: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Få fuldtekst
Electronisk eBog
12
Indholdsfortegnelse: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
Få fuldtekst
Electronisk eBog
13
Udgivet 2006
Indholdsfortegnelse: ... Central Configurations in Newton 9-Body Problem -- Algorithmic Invariants for Alexander Modules -- Sudokus...
Få fuldtekst
Electronisk eBog
14
Udgivet 2015
Indholdsfortegnelse: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Få fuldtekst
Electronisk eBog
15
Udgivet 2008
Indholdsfortegnelse: ... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...
Få fuldtekst
Electronisk eBog
16
Udgivet 2005
Indholdsfortegnelse: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Få fuldtekst
Electronisk eBog
17
Udgivet 2010
Indholdsfortegnelse: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Få fuldtekst
Electronisk eBog
18
Udgivet 2007
Indholdsfortegnelse: ... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...
Få fuldtekst
Electronisk eBog
19
Udgivet 2014
Indholdsfortegnelse: ...: A Mathematical Functions Code Generator -- From Calculus to Algorithms without Errors -- Dense...
Få fuldtekst
Electronisk eBog
20
Udgivet 2014
Indholdsfortegnelse: ... Supervised Learning -- Design and Evaluation of N-module Reconfigurable Systems -- Genre Based Classification...
Få fuldtekst
Electronisk eBog