Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
programming recursive » programming recursion, programming reversible, programming secure
parallel programming » parallel processing
recursive function » recursive functions, recursive definitions
function computing » education computing, generation computing
https » http
programming recursive » programming recursion, programming reversible, programming secure
parallel programming » parallel processing
recursive function » recursive functions, recursive definitions
function computing » education computing, generation computing
https » http
1
Publicado em 2006
Sumário:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2010
Sumário:
“... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2006
Sumário:
“...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2005
Sumário:
“... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2010
Sumário:
“... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2015
Sumário:
“... Selection and Question-Answer Ranking in IBM Watson -- Automatic Evolution of Parallel Recursive Programs...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2008
Sumário:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2014
Sumário:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2005
Sumário:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2008
Sumário:
“... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2012
Sumário:
“... Wetlands.-Parallel Computation of Sensitivity Analysis Data for the Danish Eulerian Model.-Implementation...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2010
Sumário:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publicado em 2015
Sumário:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Publicado em 2006
Sumário:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2005
Sumário:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2015
Sumário:
“...Recursion theory and mathematical logic -- Computational complexity and Boolean functions -- Graph...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2006
Sumário:
“... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2005
Sumário:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2013
Sumário:
“... Programming -- Formalizing a Broader Recursion Coverage in SQL -- A Declarative-Friendly API for Web Document...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2008
Sumário:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Obter o texto integral
Recurso Electrónico
livro electrónico
- 1
- 2
- Seguinte »
- [2]