Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function function » function functional, functions functional, function dysfunction
program function » programme function, programs functional, program foundation
parallel local » parallel load, parallel block, parallel logic
function https » functions https, fiction https
local program » logical program, social program, global program
function function » function functional, functions functional, function dysfunction
program function » programme function, programs functional, program foundation
parallel local » parallel load, parallel block, parallel logic
function https » functions https, fiction https
local program » logical program, social program, global program
1
Published 2006
Table of Contents:
“... Fusion for Data Locality and Parallelism -- A Document-Centered Environment for Haskell -- A Binding...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... with the TSP -- The Role of Syntactic and Semantic Locality of Crossover in Genetic Programming -- The Layered...”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
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
11
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”View full text
Electronic
eBook
14
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... Feasibility: CP Usage in Constrained-Random Functional Hardware -Verification.-Stochastic Local Search Based...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...”View full text
Electronic
eBook