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