Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
functionality function » functionals function, functionaries function, functional functions
program functionality » protein functionality, programs functional, supra functionality
parallel local » parallel load, parallel block, parallel logic
function https » functions https, fiction https
local program » logical program, social program, global program
functionality function » functionals function, functionaries function, functional functions
program functionality » protein functionality, programs functional, supra functionality
parallel local » parallel load, parallel block, parallel logic
function https » functions https, fiction https
local program » logical program, social program, global program
1
Publié 2006
Table des matières:
“... Fusion for Data Locality and Parallelism -- A Document-Centered Environment for Haskell -- A Binding...”Accéder au texte intégral
Électronique
eBook
2
Publié 2010
Table des matières:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Accéder au texte intégral
Électronique
eBook
3
Publié 2005
Table des matières:
“... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...”Accéder au texte intégral
Électronique
eBook
4
Publié 2006
Table des matières:
“...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”Accéder au texte intégral
Électronique
eBook
5
Publié 2008
Table des matières:
“... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...”Accéder au texte intégral
Électronique
eBook
6
Publié 2006
Table des matières:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Accéder au texte intégral
Électronique
eBook
7
Publié 2010
Table des matières:
“... with the TSP -- The Role of Syntactic and Semantic Locality of Crossover in Genetic Programming -- The Layered...”Accéder au texte intégral
Électronique
eBook
8
Publié 2010
Table des matières:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Accéder au texte intégral
Électronique
eBook
9
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publié 2015
Table des matières:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Accéder au texte intégral
Électronique
eBook
10
Publié 2014
Table des matières:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Accéder au texte intégral
Électronique
eBook
11
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publié 2014
Table des matières:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Accéder au texte intégral
Électronique
eBook
12
Publié 2008
Table des matières:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Accéder au texte intégral
Électronique
eBook
13
Publié 2014
Table des matières:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”Accéder au texte intégral
Électronique
eBook
14
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Publié 2006
Table des matières:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Accéder au texte intégral
Électronique
eBook
15
Publié 2005
Table des matières:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Accéder au texte intégral
Électronique
eBook
16
Publié 2013
Table des matières:
“... Feasibility: CP Usage in Constrained-Random Functional Hardware -Verification.-Stochastic Local Search Based...”Accéder au texte intégral
Électronique
eBook
17
Publié 2010
Table des matières:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”Accéder au texte intégral
Électronique
eBook
18
Publié 2010
Table des matières:
“...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”Accéder au texte intégral
Électronique
eBook
19
Publié 2006
Table des matières:
“... -- The Paderkicker Team: Autonomy in Realtime Environments -- Modular Compilation of Synchronous Programs -- Trends...”Accéder au texte intégral
Électronique
eBook
20
Publié 2010
Table des matières:
“... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...”Accéder au texte intégral
Électronique
eBook