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