Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
parallel programming » parallel processing
functionals function » function function, functions functional, function dysfunction
programming step » programming set, programming system, programming styles
step functionals » step functions, even functionals, step function
function https » functions https, fiction https
parallel programming » parallel processing
functionals function » function function, functions functional, function dysfunction
programming step » programming set, programming system, programming styles
step functionals » step functions, even functionals, step function
function https » functions https, fiction https
1
Publicado 2006
Tabla de Contenidos:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”Enlace del recurso
Electrónico
eBook
2
Publicado 2010
Tabla de Contenidos:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”Enlace del recurso
Electrónico
eBook
3
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
4
Publicado 2014
Tabla de Contenidos:
“...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...”Enlace del recurso
Electrónico
eBook
5
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicado 2014
Tabla de Contenidos:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Enlace del recurso
Electrónico
eBook
6
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Publicado 2006
Tabla de Contenidos:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Enlace del recurso
Electrónico
eBook
7
Publicado 2015
Tabla de Contenidos:
“... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...”Enlace del recurso
Electrónico
eBook
8
Publicado 2010
Tabla de Contenidos:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”Enlace del recurso
Electrónico
eBook
9
Publicado 2008
Tabla de Contenidos:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”Enlace del recurso
Electrónico
eBook
10
Publicado 2008
Tabla de Contenidos:
“... Steiner Tree Computation in Polynomial-Space -- Fitting a Step Function to a Point Set -- Faster Swap Edge...”Enlace del recurso
Electrónico
eBook
11
Publicado 2010
Tabla de Contenidos:
“... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”Enlace del recurso
Electrónico
eBook
12
Publicado 2008
Tabla de Contenidos:
“... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”Enlace del recurso
Electrónico
eBook
13
Publicado 2010
Tabla de Contenidos:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”Enlace del recurso
Electrónico
eBook
14
Publicado 2006
Tabla de Contenidos:
“... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...”Enlace del recurso
Electrónico
eBook
15
Publicado 2005
Tabla de Contenidos:
“... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”Enlace del recurso
Electrónico
eBook
16
Publicado 2007
Tabla de Contenidos:
“... Cores to Evolve Combinational Logic Circuits in Parallel -- An Intrinsic Evolvable Hardware Based...”Enlace del recurso
Electrónico
eBook
17
Publicado 2008
Tabla de Contenidos:
“... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...”Enlace del recurso
Electrónico
eBook
18
Publicado 2013
Tabla de Contenidos:
“...Quantitating Lymphocyte Programmed Cell Death (PCD) In Vitro Using Simple Kill Assays...”Enlace del recurso
Electrónico
eBook
19
Publicado 2005
Tabla de Contenidos:
“... for Displaying in Small Device -- Automatic Text Summarization Using Two-Step Sentence Extraction -- Sentence...”Enlace del recurso
Electrónico
eBook
20
Publicado 2010
Tabla de Contenidos:
“... Approximation of Points by a Step Function -- Approximating Multilinear Monomial Coefficients and Maximum...”Enlace del recurso
Electrónico
eBook
- 1
- 2
- Siguiente »
- [2]