Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
computational programming » computation programming, computational program, computational processing
computing programming » computer programming, computers programming
service arrays » service areas, service area, service pays
arrays a » arrays _
computational programming » computation programming, computational program, computational processing
computing programming » computer programming, computers programming
service arrays » service areas, service area, service pays
arrays a » arrays _
1
Tabla de Contenidos:
“...Foreword -- Introduction -- Bayesian data analysis of Pulsar Timing Arrays -- Gravitational-wave...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
2
Publicado 2005
Tabla de Contenidos:
“...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”Enlace del recurso
Electrónico
eBook
3
Publicado 2007
Tabla de Contenidos:
“... with Multidimensional Arrays -- A New Memory Slowdown Model for the Characterization of Computing Systems -- SCRF – A...”Enlace del recurso
Electrónico
eBook
4
Publicado 2005
Tabla de Contenidos:
“...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...”Enlace del recurso
Electrónico
eBook
5
Publicado 2008
Tabla de Contenidos:
“... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...”Enlace del recurso
Electrónico
eBook
6
Publicado 2005
Tabla de Contenidos:
“... -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Human Disease? -- A...”Enlace del recurso
Electrónico
eBook
7
Publicado 2010
Tabla de Contenidos:
“... -- Session 9. Concurrent Program Verification I -- Universal Causality Graphs: A Precise Happens-Before Model...”Enlace del recurso
Electrónico
eBook
8
Publicado 2005
Tabla de Contenidos:
“... Infrastructure and a Service Level Agreement Negotiation Protocol for Robust Scheduling in Grid Computing...”Enlace del recurso
Electrónico
eBook
9
Publicado 2005
Tabla de Contenidos:
“... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...”Enlace del recurso
Electrónico
eBook
10
Publicado 2010
Tabla de Contenidos:
“... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”Enlace del recurso
Electrónico
eBook
11
Publicado 2010
Tabla de Contenidos:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Enlace del recurso
Electrónico
eBook
12
Tabla de Contenidos:
“... Python -- Fortran Programming with Numerical Python Arrays -- C and C++ Programming with Numerical Python...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
13
Publicado 2015
Tabla de Contenidos:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”Enlace del recurso
Electrónico
eBook
14
Publicado 2005
Tabla de Contenidos:
“... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”Enlace del recurso
Electrónico
eBook
15
Publicado 2007
Tabla de Contenidos:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Enlace del recurso
Electrónico
eBook
16
Publicado 2014
Tabla de Contenidos:
“... Queue with two Service Modes -- A Novel Approach for Gene Selection of Leukemia Dataset Using Different...”Enlace del recurso
Electrónico
eBook
17
Publicado 2007
Tabla de Contenidos:
“... for Scientific Computations -- OpenMP 3.0 – A Preview of the Upcoming Standard -- Manycores in the Future...”Enlace del recurso
Electrónico
eBook
18
Publicado 2005
Tabla de Contenidos:
“... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...”Enlace del recurso
Electrónico
eBook
19
Publicado 2013
Tabla de Contenidos:
“...Parallel Programming and Algorithms -- A Virtual Network Embedding Algorithm Based on Graph Theory...”Enlace del recurso
Electrónico
eBook
20
Publicado 2007
Tabla de Contenidos:
“... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...”Enlace del recurso
Electrónico
eBook