Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programmes functionality » properties functionality, programs functional, programming functional
program functionality » protein functionality, programs functional, supra functionality
parallel pattern » parallel parser, parallel protein, parallel between
function https » functions https, fiction https
programmes functionality » properties functionality, programs functional, programming functional
program functionality » protein functionality, programs functional, supra functionality
parallel pattern » parallel parser, parallel protein, parallel between
function https » functions https, fiction https
1
Publicado 2007
Table of Contents:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”Ligazón do recurso
Electrónico
eBook
2
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
3
Publicado 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2010
Table of Contents:
“... -- Parallel Algorithms -- Scalable Co-clustering Algorithms -- Parallel Pattern Matching with Swaps on a...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2005
Table of Contents:
“... -- An Improved Scheme of Wavelength Assignment for Parallel FFT Communication Pattern on a Class of Regular...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2010
Table of Contents:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2010
Table of Contents:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2010
Table of Contents:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2008
Table of Contents:
“... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2015
Table of Contents:
“... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2013
Table of Contents:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Ligazón do recurso
Electrónico
eBook
13
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publicado 2015
Table of Contents:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Ligazón do recurso
Electrónico
eBook
14
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicado 2014
Table of Contents:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2007
Table of Contents:
“... of Ideal and Empirical ROC-Based Reject Rules -- Outlier Detection with Kernel Density Functions -- Generic...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2013
Table of Contents:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”Ligazón do recurso
Electrónico
eBook
17
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
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
18
Publicado 2010
Table of Contents:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2010
Table of Contents:
“... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2014
Table of Contents:
“... Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating...”Ligazón do recurso
Electrónico
eBook