Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
function functions » functions functions, function function, junction functions
programs function » programs functional, programme function, programs fiction
parallel pattern » parallel parser, parallel protein, parallel between
pattern programs » pattern progress, better programs, pattern diagrams
functions https » foundations https
function functions » functions functions, function function, junction functions
programs function » programs functional, programme function, programs fiction
parallel pattern » parallel parser, parallel protein, parallel between
pattern programs » pattern progress, better programs, pattern diagrams
functions https » foundations https
1
Udgivet 2007
Indholdsfortegnelse:
“... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2010
Indholdsfortegnelse:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2007
Indholdsfortegnelse:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2010
Indholdsfortegnelse:
“... -- Parallel Algorithms -- Scalable Co-clustering Algorithms -- Parallel Pattern Matching with Swaps on a...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2005
Indholdsfortegnelse:
“... -- An Improved Scheme of Wavelength Assignment for Parallel FFT Communication Pattern on a Class of Regular...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2010
Indholdsfortegnelse:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2010
Indholdsfortegnelse:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2010
Indholdsfortegnelse:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2008
Indholdsfortegnelse:
“... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2015
Indholdsfortegnelse:
“... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2005
Indholdsfortegnelse:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2013
Indholdsfortegnelse:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Få fuldtekst
Electronisk
eBog
13
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Udgivet 2015
Indholdsfortegnelse:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Få fuldtekst
Electronisk
eBog
14
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Udgivet 2014
Indholdsfortegnelse:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2007
Indholdsfortegnelse:
“... of Ideal and Empirical ROC-Based Reject Rules -- Outlier Detection with Kernel Density Functions -- Generic...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2013
Indholdsfortegnelse:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”Få fuldtekst
Electronisk
eBog
17
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Udgivet 2013
Indholdsfortegnelse:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2010
Indholdsfortegnelse:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2014
Indholdsfortegnelse:
“... Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2014
Fag:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Få fuldtekst
Electronisk
eBog