Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality function » functionals function, functionaries function, functional functions
parallel programs » parallel programming
15 functionality » 85 functionality, 5 functionality, _ functionality
function https » functions https, fiction https
programs 15 » programs 11, programs 10, programs 14
functionality function » functionals function, functionaries function, functional functions
parallel programs » parallel programming
15 functionality » 85 functionality, 5 functionality, _ functionality
function https » functions https, fiction https
programs 15 » programs 11, programs 10, programs 14
1
Published 2015
Table of Contents:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”View full text
Electronic
eBook
14
Published 2012
Table of Contents:
“... Measure for Rule-Based Functional Description of Genes -- Automatic Generation and Learning of Finite...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating...”View full text
Electronic
eBook