Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
parallel programming » parallel processing
functionals function » function function, functions functional, function dysfunction
programming first » programming fast, programming from, programming farm
first functionals » first functional, first functionally, risk functionals
function https » functions https, fiction https
parallel programming » parallel processing
functionals function » function function, functions functional, function dysfunction
programming first » programming fast, programming from, programming farm
first functionals » first functional, first functionally, risk functionals
function https » functions https, fiction https
1
Publicado em 2013
Sumário:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
2
Sumário:
“...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
3
Publicado em 2010
Sumário:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
4
Publicado em 2010
Sumário:
“... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
5
Publicado em 2010
Sumário:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
6
Publicado em 2008
Sumário:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
7
Publicado em 2006
Sumário:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
8
Publicado em 2010
Sumário:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
9
Sumário:
“....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
10
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009...
Publicado em 2010
Sumário:
“... of Stream Programs -- Characterising Effective Resource Analyses for Parallel and Distributed Coordination...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
11
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 Eletrônico
livro eletrônico
12
Sumário:
“...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
13
Sumário:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
14
Publicado em 2005
Sumário:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
15
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Publicado em 2013
Sumário:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
16
Sumário:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
17
Publicado em 2010
Sumário:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
18
Publicado em 2005
Sumário:
“... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
19
Assuntos:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
20
Publicado em 2008
Sumário:
“... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
- 1
- 2
- 3
- 4
- Seguinte »
- [4]