Buscar alternativas:
implementation function » implementation functional, implementation section, implementation execution
program implementation » project implementation
parallel study » parallel state
function https » functions https, fiction https
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 2007
Tabla de Contenidos: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Enlace del recurso
Electrónico eBook
3
Publicado 2010
Tabla de Contenidos: ... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...
Enlace del recurso
Electrónico eBook
4
Publicado 2008
Tabla de Contenidos: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
Enlace del recurso
Electrónico eBook
5
Publicado 2013
Tabla de Contenidos: ... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...
Enlace del recurso
Electrónico eBook
6
Publicado 2005
Tabla de Contenidos: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
Enlace del recurso
Electrónico eBook
7
Publicado 2010
Tabla de Contenidos: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
Enlace del recurso
Electrónico eBook
8
Publicado 2010
Tabla de Contenidos: ... on Heterogeneous Processors Based on Their Functional Performance Models -- Accelerating S3D: A GPGPU Case Study...
Enlace del recurso
Electrónico eBook
9
Publicado 2008
Tabla de Contenidos: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Enlace del recurso
Electrónico eBook
10
Publicado 2013
Tabla de Contenidos: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Enlace del recurso
Electrónico eBook
11
Publicado 2006
Tabla de Contenidos: ... -- Continuous Engineering of Embedded systems -- Prototyping an Ambient Light System - A Case Study...
Enlace del recurso
Electrónico eBook
12
por Comninos, Peter., Comninos, Peter.
Publicado 2006
Materias: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Enlace del recurso
Electrónico eBook
13
Publicado 2010
Tabla de Contenidos: ... Algorithm into Microcontroller -- Comparative Study of Distance Functions for Nearest Neighbors...
Enlace del recurso
Electrónico eBook
14
Publicado 2008
Tabla de Contenidos: ... Parallelism on Heterogeneous Multi-core Processors: A Case Study of the Cell BE -- IIa Reconfigurable - ASIP...
Enlace del recurso
Electrónico eBook
15
Publicado 2007
Tabla de Contenidos: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Enlace del recurso
Electrónico eBook
16
Publicado 2010
Tabla de Contenidos: ... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...
Enlace del recurso
Electrónico eBook
17
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
18
Publicado 2008
Tabla de Contenidos: ... Study of SAT-Based Branching Heuristics for the CSP -- Autonomy in Virtual Agents: Integrating...
Enlace del recurso
Electrónico eBook
19
Publicado 2008
Tabla de Contenidos: ...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...
Enlace del recurso
Electrónico eBook
20
Publicado 2010
Tabla de Contenidos: ... Implementation of the Orbital Function for Quantum Chemistry Calculations -- Reconfigurable Polyphase Filter Bank...
Enlace del recurso
Electrónico eBook