1
Publicado 2010
Tabla de Contenidos: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Enlace del recurso
Electrónico eBook
2
Publicado 2006
Tabla de Contenidos: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Enlace del recurso
Electrónico eBook
3
Tabla de Contenidos: ...Overview.-Introduction to Problem Solving.-Introduction to Programming Languages.-Introduction...
Enlace del recurso
Electrónico eBook
4
Tabla de Contenidos: ...Overview -- Introduction to Problem Solving -- Introduction to Programming Languages...
Enlace del recurso
Electrónico eBook
5
Tabla de Contenidos: ... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....
Enlace del recurso
Electrónico eBook
6
Publicado 2005
Tabla de Contenidos: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Enlace del recurso
Electrónico eBook
7
Publicado 2013
Tabla de Contenidos: ... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...
Enlace del recurso
Electrónico eBook
8
Publicado 2015
Tabla de Contenidos: ... Differential Evolution Approach for Solving Integer Programming Problems -- Liver Disease Diagnosis Using...
Enlace del recurso
Electrónico eBook
9
Publicado 2015
Tabla de Contenidos: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Enlace del recurso
Electrónico eBook
10
Publicado 2006
Tabla de Contenidos: ... Central Configurations in Newton 9-Body Problem -- Algorithmic Invariants for Alexander Modules -- Sudokus...
Enlace del recurso
Electrónico eBook
11
Publicado 2008
Tabla de Contenidos: ... Streams -- The Effects of Local Randomness in the Adversarial Queueing Model -- Parallel Imaging Problem...
Enlace del recurso
Electrónico eBook
12
Publicado 2008
Tabla de Contenidos: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
Enlace del recurso
Electrónico eBook
13
Publicado 2014
Tabla de Contenidos: ... and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems...
Enlace del recurso
Electrónico eBook
14
Publicado 2014
Tabla de Contenidos: ... in pGCL with Isabelle -- A Coq Formalization of Finitely Presented Modules -- Formalized, Effective Domain...
Enlace del recurso
Electrónico eBook
15
Publicado 2005
Tabla de Contenidos: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
Enlace del recurso
Electrónico eBook
16
Publicado 2006
Tabla de Contenidos: ... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...
Enlace del recurso
Electrónico eBook
17
Publicado 2005
Tabla de Contenidos: ... Algorithm for the NMR Backbone Assignment Problem -- Avoiding Local Optima in Single Particle Reconstruction...
Enlace del recurso
Electrónico eBook
18
Publicado 2013
Tabla de Contenidos: ... on Different Penalty Functions with DIRECT Algorithm.- Multilocal Programming: A Derivative-Free Filter...
Enlace del recurso
Electrónico eBook
19
Publicado 2007
Tabla de Contenidos: ... and Implementation of an Environment for Component-Based Parallel Programming -- Anahy: A Programming Environment...
Enlace del recurso
Electrónico eBook
20
Publicado 2014
Tabla de Contenidos: ... Supervised Learning -- Design and Evaluation of N-module Reconfigurable Systems -- Genre Based Classification...
Enlace del recurso
Electrónico eBook