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